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()
1194 SVal SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint() local1195 while (SimplifiedVal != Val) { in simplifyUntilFixpoint()1196 Val = SimplifiedVal; in simplifyUntilFixpoint()1197 SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1199 return SimplifiedVal; in simplifyUntilFixpoint()
3050 std::optional<Value *> SimplifiedVal = in updateImpl() local3055 if (SimplifiedVal && !*SimplifiedVal) in updateImpl()3057 if (!SimplifiedVal || isa<UndefValue>(**SimplifiedVal)) { in updateImpl()3062 !isa<ConstantPointerNull>(**SimplifiedVal)) in updateImpl()