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()
1250 SVal SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint() local1251 while (SimplifiedVal != Val) { in simplifyUntilFixpoint()1252 Val = SimplifiedVal; in simplifyUntilFixpoint()1253 SimplifiedVal = simplifySValOnce(State, Val); in simplifyUntilFixpoint()1255 return SimplifiedVal; in simplifyUntilFixpoint()
3026 std::optional<Value *> SimplifiedVal = in updateImpl() local3031 if (SimplifiedVal && !*SimplifiedVal) in updateImpl()3033 if (!SimplifiedVal || isa<UndefValue>(**SimplifiedVal)) { in updateImpl()3038 !isa<ConstantPointerNull>(**SimplifiedVal)) in updateImpl()