Searched refs:getSymbolManager (Results 1 – 17 of 17) sorted by relevance
80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
187 SymbolManager &getSymbolManager() const;563 SymbolManager &getSymbolManager() { in getSymbolManager() function564 return svalBuilder->getSymbolManager(); in getSymbolManager()566 const SymbolManager &getSymbolManager() const { in getSymbolManager() function567 return svalBuilder->getSymbolManager(); in getSymbolManager()826 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function827 return getStateManager().getSymbolManager(); in getSymbolManager()
119 SymbolManager &getSymbolManager() { in getSymbolManager() function120 return getSValBuilder().getSymbolManager(); in getSymbolManager()
164 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function165 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
423 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
325 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()
214 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition()229 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
469 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()
429 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
1045 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
2098 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2716 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMemAux()
63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
1472 return State->getSymbolManager().getSymSymExpr( in getRangeForNegatedSymSym()1482 return State->getSymbolManager().getUnarySymExpr(Sym, UO_Minus, in getRangeForNegatedSym()1511 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
729 VB.getSymbolManager().getExtentSymbol(FTR)); in VisitMemRegionVal()
298 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
786 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
229 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()