Searched refs:SymMgr (Results 1 - 9 of 9) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 40 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 D | ExprEngine.h | 71 /// SymMgr - Object that manages the symbol information. 72 SymbolManager& SymMgr; member in class:clang::ento::ExprEngine 312 SymbolManager& getSymbolManager() { return SymMgr; } 313 const SymbolManager& getSymbolManager() const { return SymMgr; }
|
H A D | SymbolManager.h | 575 SymbolManager& SymMgr; member in class:clang::ento::SymbolReaper 589 : LCtx(Ctx), Loc(s), SymMgr(symmgr),
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SValBuilder.cpp | 51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); 59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); 66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); 73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); 101 SymbolRef sym = SymMgr.getRegionValueSymbol(region); 132 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); 148 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); 164 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); 175 SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag); 191 SymbolRef sym = SymMgr [all...] |
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,
|
H A D | ExprEngineObjC.cpp | 115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
|
H A D | SymbolManager.cpp | 376 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) {
|
H A D | SimpleSValBuilder.cpp | 152 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR));
|
H A D | ExprEngine.cpp | 80 SymMgr(StateMgr.getSymbolManager()), 369 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
|
Completed in 687 milliseconds