Searched refs:makeSymbolVal (Results 1 – 4 of 4) sorted by relevance
275 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()279 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()285 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()286 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
386 SVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal() function
225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
1139 return cache(Sym, SVB.makeSymbolVal(Sym)); in simplifySVal()1149 SVB.getKnownValue(State, SVB.makeSymbolVal(S))) in simplifySVal()1152 return SVB.makeSymbolVal(S); in simplifySVal()