Home
last modified time | relevance | path

Searched refs:getSymbolManager (Results 1 – 17 of 17) 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.h186 SymbolManager &getSymbolManager() const;
556 SymbolManager &getSymbolManager() { in getSymbolManager() function
557 return svalBuilder->getSymbolManager(); in getSymbolManager()
559 const SymbolManager &getSymbolManager() const { in getSymbolManager() function
560 return svalBuilder->getSymbolManager(); in getSymbolManager()
819 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function
820 return getStateManager().getSymbolManager(); in getSymbolManager()
H A DCheckerContext.h122 SymbolManager &getSymbolManager() { in getSymbolManager() function
123 return getSValBuilder().getSymbolManager(); in getSymbolManager()
H A DSValBuilder.h165 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
166 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
H A DExprEngine.h431 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp329 auto &SymMgr = C.getSymbolManager(); in handleAssignment()
442 auto &SymMgr = C.getSymbolManager(); in handlePushBack()
471 auto &SymMgr = C.getSymbolManager(); in handlePopBack()
516 auto &SymMgr = C.getSymbolManager(); in handlePushFront()
553 auto &SymMgr = C.getSymbolManager(); in handlePopFront()
678 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter()
861 auto &SymMgr = State->getSymbolManager(); in createContainerBegin()
884 auto &SymMgr = State->getSymbolManager(); in createContainerEnd()
1036 auto &SymMgr = SVB.getSymbolManager(); in rebaseSymbol()
H A DIterator.cpp215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition()
230 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
H A DIteratorModeling.cpp473 auto &SymMgr = C.getSymbolManager(); in handleComparison()
498 auto &SymMgr = C.getSymbolManager(); in handleComparison()
543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()
569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
H A DMacOSKeychainAPIChecker.cpp428 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
H A DBasicObjCFoundationChecks.cpp1044 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
H A DMallocChecker.cpp2350 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()
2901 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.cpp1474 return State->getSymbolManager().acquire<SymSymExpr>( in getRangeForNegatedSymSym()
1484 return State->getSymbolManager().acquire<UnarySymExpr>( in getRangeForNegatedSym()
1498 SymbolRef Commuted = State->getSymbolManager().acquire<SymSymExpr>( in getRangeCommutativeSymSym()
1528 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
H A DSValBuilder.cpp730 VB.getSymbolManager().acquire<SymbolExtent>(FTR)); in VisitMemRegionVal()
H A DSimpleSValBuilder.cpp299 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
H A DMemRegion.cpp810 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
H A DExprEngine.cpp230 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()