Searched refs:getSymbolManager (Results 1 – 11 of 11) sorted by relevance
83 SymbolManager &getSymbolManager() const { return SVB.getSymbolManager(); } in getSymbolManager() function
158 SymbolManager &SymMgr = getSymbolManager(); in assumeAux()
188 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()217 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()221 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); in getExtent()
71 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
145 SymbolManager &getSymbolManager() const;490 SymbolManager &getSymbolManager() { in getSymbolManager() function491 return svalBuilder->getSymbolManager(); in getSymbolManager()493 const SymbolManager &getSymbolManager() const { in getSymbolManager() function494 return svalBuilder->getSymbolManager(); in getSymbolManager()724 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function725 return getStateManager().getSymbolManager(); in getSymbolManager()
161 SymbolManager &getSymbolManager() { in getSymbolManager() function162 return getSValBuilder().getSymbolManager(); in getSymbolManager()
137 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager() function138 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager() function
303 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager() function304 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager() function
241 Builder.getSymbolManager().getType(RetSym)); in definitelyReturnedError()479 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
1184 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()1669 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMem()
1078 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()