Searched refs:getSymbolManager (Results 1 – 16 of 16) sorted by relevance
79 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
149 SymbolManager &getSymbolManager() const;521 SymbolManager &getSymbolManager() { in getSymbolManager() function522 return svalBuilder->getSymbolManager(); in getSymbolManager()524 const SymbolManager &getSymbolManager() const { in getSymbolManager() function525 return svalBuilder->getSymbolManager(); in getSymbolManager()798 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function799 return getStateManager().getSymbolManager(); in getSymbolManager()
116 SymbolManager &getSymbolManager() { in getSymbolManager() function117 return getSValBuilder().getSymbolManager(); in getSymbolManager()
185 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function186 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
428 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function
334 auto &SymMgr = C.getSymbolManager(); in handleAssignment()447 auto &SymMgr = C.getSymbolManager(); in handlePushBack()476 auto &SymMgr = C.getSymbolManager(); in handlePopBack()521 auto &SymMgr = C.getSymbolManager(); in handlePushFront()558 auto &SymMgr = C.getSymbolManager(); in handlePopFront()683 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()
215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition()231 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition()
473 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()
437 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
1040 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
1844 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2458 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMemAux()
56 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()69 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
1081 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForNegatedSub()1120 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol()
245 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
736 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize()
213 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()