Home
last modified time | relevance | path

Searched refs:makeSymbolVal (Results 1 – 6 of 6) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h275 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()
H A DSValBuilder.h379 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()
230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
H A DSimpleSValBuilder.cpp1228 return cache(Sym, SVB.makeSymbolVal(Sym)); in simplifySValOnce()
1259 return SVB.makeSymbolVal(S); in simplifySValOnce()
H A DRangeConstraintManager.cpp2015 SVal SymSVal = Builder.makeSymbolVal(Sym->getLHS()); in handleRemainderOp()