Searched refs:SimplifiedVal (Results 1 – 3 of 3) sorted by relevance
241 SVal SimplifiedVal = simplifyToSVal(State, Sym); in simplify() local242 if (SymbolRef SimplifiedSym = SimplifiedVal.getAsSymbol()) in simplify()
1191 SVal SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint() local1192 while (SimplifiedVal != Val) { in simplifyUntilFixpoint()1193 Val = SimplifiedVal; in simplifyUntilFixpoint()1194 SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1196 return SimplifiedVal; in simplifyUntilFixpoint()
2625 Optional<Value *> SimplifiedVal = in updateImpl() local2630 if (SimplifiedVal && !SimplifiedVal.value()) in updateImpl()2632 if (!SimplifiedVal || isa<UndefValue>(*SimplifiedVal.value())) { in updateImpl()2637 !isa<ConstantPointerNull>(*SimplifiedVal.value())) in updateImpl()