Searched refs:getSymbolManager (Results 1 – 11 of 11) sorted by relevance
104 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()
81 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
146 SymbolManager &getSymbolManager() const;498 SymbolManager &getSymbolManager() { in getSymbolManager() function499 return svalBuilder->getSymbolManager(); in getSymbolManager()501 const SymbolManager &getSymbolManager() const { in getSymbolManager() function502 return svalBuilder->getSymbolManager(); in getSymbolManager()759 inline SymbolManager &ProgramState::getSymbolManager() const { in getSymbolManager() function760 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
312 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager() function313 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager() function
239 Builder.getSymbolManager().getType(RetSym)); in definitelyReturnedError()485 C.getSymbolManager().addSymbolDependency(V, RetStatusSymbol); in checkPostStmt()
1078 C.getSymbolManager().addSymbolDependency(ContainerS, CountS); in checkPostObjCMessage()
1436 C.getSymbolManager().addSymbolDependency(SymBase, RetStatusSymbol); in FreeMemAux()1983 C.getSymbolManager().addSymbolDependency(ToPtr, FromPtr); in ReallocMem()