Searched refs:makeSymbolVal (Results 1 – 4 of 4) sorted by relevance
250 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in canReasonAbout()254 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in canReasonAbout()257 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in canReasonAbout()260 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in canReasonAbout()261 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in canReasonAbout()
373 SVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal() function
226 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()231 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
1247 return cache(Sym, SVB.makeSymbolVal(Sym)); in simplifySVal()1257 SVB.getKnownValue(State, SVB.makeSymbolVal(S))) in simplifySVal()1260 return SVB.makeSymbolVal(S); in simplifySVal()