Searched refs:SimplifiedVal (Results 1 – 2 of 2) sorted by relevance
231 SVal SimplifiedVal = SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplify() local232 if (SymbolRef SimplifiedSym = SimplifiedVal.getAsSymbol()) in simplify()
2537 Optional<Value *> SimplifiedVal = A.getAssumedSimplified( in updateImpl() local2541 if (SimplifiedVal.hasValue() && !SimplifiedVal.getValue()) in updateImpl()2543 if (!SimplifiedVal.hasValue() || in updateImpl()2544 isa<UndefValue>(*SimplifiedVal.getValue())) { in updateImpl()2549 !isa<ConstantPointerNull>(*SimplifiedVal.getValue())) in updateImpl()