Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h279 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
283 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
289 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
290 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSValBuilder.h400 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp224 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()
229 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
H A DRangeConstraintManager.cpp2083 SVal SymSVal = Builder.makeSymbolVal(Sym->getLHS()); in handleRemainderOp()