Searched refs:getSymbolManager (Results 1 – 14 of 14) sorted by relevance
80 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
152 SymbolManager &getSymbolManager() const;546 SymbolManager &getSymbolManager() { in getSymbolManager() function547 return svalBuilder->getSymbolManager(); in getSymbolManager()549 const SymbolManager &getSymbolManager() const { in getSymbolManager() function550 return svalBuilder->getSymbolManager(); in getSymbolManager()822 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function823 return getStateManager().getSymbolManager(); in getSymbolManager()
115 SymbolManager &getSymbolManager() { in getSymbolManager() function116 return getSValBuilder().getSymbolManager(); in getSymbolManager()
172 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function173 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
391 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function392 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
948 auto &SymMgr = C.getSymbolManager(); in handleIncrement()966 auto &SymMgr = C.getSymbolManager(); in handleDecrement()1141 auto &SymMgr = C.getSymbolManager(); in handleBegin()1165 auto &SymMgr = C.getSymbolManager(); in handleEnd()1182 auto &SymMgr = C.getSymbolManager(); in assignToContainer()1318 auto &SymMgr = C.getSymbolManager(); in handlePushBack()1344 auto &SymMgr = C.getSymbolManager(); in handlePopBack()1422 auto &SymMgr = C.getSymbolManager(); in handlePopFront()1529 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter()1560 auto &SymMgr = C.getSymbolManager(); in advancePosition()[all …]
434 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
1041 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
1619 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()2219 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMemAux()
50 SymbolManager &SymMgr = getSymbolManager(); in assumeSym()
172 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()201 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()205 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
498 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForMinusSymbol()
378 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked()
200 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()