Searched defs:SymMgr (Results 1 - 4 of 4) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h71 /// SymMgr - Object that manages the symbol information.
72 SymbolManager& SymMgr; member in class:clang::ento::ExprEngine
303 SymbolManager& getSymbolManager() { return SymMgr; }
304 const SymbolManager& getSymbolManager() const { return SymMgr; }
H A DSValBuilder.h40 SymbolManager SymMgr; member in class:clang::ento::SValBuilder
65 SymMgr(context, BasicVals, alloc),
137 SymbolManager &getSymbolManager() { return SymMgr; }
138 const SymbolManager &getSymbolManager() const { return SymMgr; }
150 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
157 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
H A DSymbolManager.h575 SymbolManager& SymMgr; member in class:clang::ento::SymbolReaper
589 : LCtx(Ctx), Loc(s), SymMgr(symmgr),
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp158 SymbolManager &SymMgr = getSymbolManager(); local
165 QualType DiffTy = SymMgr.getContext().getPointerDiffType();
166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub,

Completed in 206 milliseconds