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()
1253 SVal SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint() local1254 while (SimplifiedVal != Val) { in simplifyUntilFixpoint()1255 Val = SimplifiedVal; in simplifyUntilFixpoint()1256 SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1258 return SimplifiedVal; in simplifyUntilFixpoint()
3068 std::optional<Value *> SimplifiedVal = in updateImpl() local3073 if (SimplifiedVal && !*SimplifiedVal) in updateImpl()3075 if (!SimplifiedVal || isa<UndefValue>(**SimplifiedVal)) { in updateImpl()3080 !isa<ConstantPointerNull>(**SimplifiedVal)) in updateImpl()