Searched refs:getSymbolManager (Results 1 – 11 of 11) sorted by relevance
147 SymbolManager &getSymbolManager() const;499 SymbolManager &getSymbolManager() { in getSymbolManager() function500 return svalBuilder->getSymbolManager(); in getSymbolManager()502 const SymbolManager &getSymbolManager() const { in getSymbolManager() function503 return svalBuilder->getSymbolManager(); in getSymbolManager()760 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function761 return getStateManager().getSymbolManager(); in getSymbolManager()
161 SymbolManager &getSymbolManager() { in getSymbolManager() function162 return getSValBuilder().getSymbolManager(); in getSymbolManager()
142 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function143 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
319 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager() function320 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager() function
104 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
158 SymbolManager &SymMgr = getSymbolManager(); in assumeAux()
184 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()213 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()217 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
82 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
235 Builder.getSymbolManager().getType(RetSym)); in definitelyReturnedError()477 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
1070 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
1444 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()1991 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMem()