Home
last modified time | relevance | path

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

/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSMTConstraintManager.h276 return canReasonAbout(SVB.makeSymbolVal(SC->getOperand())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
280 return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
283 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) && in REGISTER_TRAIT_WITH_PROGRAMSTATE()
287 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
DSValBuilder.h379 DefinedSVal makeSymbolVal(SymbolRef Sym) { in makeSymbolVal() function
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
DTrustNonnullChecker.cpp225 SVal AntecedentV = SVB.makeSymbolVal(Antecedent); in addImplication()
230 SVal ConsequentS = SVB.makeSymbolVal(*Consequent); in addImplication()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DRangedConstraintManager.cpp237 return SVB.simplifySVal(State, SVB.makeSymbolVal(Sym)); in simplifyToSVal()
DSimpleSValBuilder.cpp1231 return cache(Sym, SVB.makeSymbolVal(Sym)); in simplifySValOnce()
1262 return SVB.makeSymbolVal(S); in simplifySValOnce()
DRangeConstraintManager.cpp2077 SVal SymSVal = Builder.makeSymbolVal(Sym->getLHS()); in handleRemainderOp()