Home
last modified time | relevance | path

Searched refs:getSymbolManager (Results 1 – 13 of 13) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
H A DProgramState.h187 SymbolManager &getSymbolManager() const;
563 SymbolManager &getSymbolManager() { in getSymbolManager() function
564 return svalBuilder->getSymbolManager(); in getSymbolManager()
566 const SymbolManager &getSymbolManager() const { in getSymbolManager() function
567 return svalBuilder->getSymbolManager(); in getSymbolManager()
826 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function
827 return getStateManager().getSymbolManager(); in getSymbolManager()
H A DCheckerContext.h119 SymbolManager &getSymbolManager() { in getSymbolManager() function
120 return getSValBuilder().getSymbolManager(); in getSymbolManager()
H A DSValBuilder.h164 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
165 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
H A DExprEngine.h423 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp325 auto &SymMgr = C.getSymbolManager(); in handleAssignment()
438 auto &SymMgr = C.getSymbolManager(); in handlePushBack()
467 auto &SymMgr = C.getSymbolManager(); in handlePopBack()
512 auto &SymMgr = C.getSymbolManager(); in handlePushFront()
549 auto &SymMgr = C.getSymbolManager(); in handlePopFront()
674 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter()
856 auto &SymMgr = State->getSymbolManager(); in createContainerBegin()
879 auto &SymMgr = State->getSymbolManager(); in createContainerEnd()
1031 auto &SymMgr = SVB.getSymbolManager(); in rebaseSymbol()
H A DIteratorModeling.cpp469 auto &SymMgr = C.getSymbolManager(); in handleComparison()
494 auto &SymMgr = C.getSymbolManager(); in handleComparison()
539 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()
565 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
H A DBasicObjCFoundationChecks.cpp1045 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
H A DMallocChecker.cpp2098 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()
2716 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMemAux()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
H A DRangeConstraintManager.cpp1472 return State->getSymbolManager().getSymSymExpr( in getRangeForNegatedSymSym()
1482 return State->getSymbolManager().getUnarySymExpr(Sym, UO_Minus, in getRangeForNegatedSym()
1511 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
H A DMemRegion.cpp786 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
H A DExprEngine.cpp229 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()