Searched defs:SymMgr (Results 1 - 4 of 4) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 71 /// SymMgr - Object that manages the symbol information. 72 SymbolManager& SymMgr; member in class:clang::ento::ExprEngine 319 SymbolManager& getSymbolManager() { return SymMgr; } 320 const SymbolManager& getSymbolManager() const { return SymMgr; }
|
H A D | SValBuilder.h | 41 SymbolManager SymMgr; member in class:clang::ento::SValBuilder 66 SymMgr(context, BasicVals, alloc), 142 SymbolManager &getSymbolManager() { return SymMgr; } 143 const SymbolManager &getSymbolManager() const { return SymMgr; } 155 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 162 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
|
H A D | SymbolManager.h | 493 SymbolManager& SymMgr; member in class:clang::ento::SymbolReaper 507 : LCtx(Ctx), Loc(s), SymMgr(symmgr),
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 158 SymbolManager &SymMgr = getSymbolManager(); local 165 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); 166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub,
|
Completed in 98 milliseconds