HomeSort by relevance Sort by last modified time
    Searched refs:SymMgr (Results 1 - 9 of 9) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 40 SymbolManager SymMgr;
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);
ExprEngine.h 71 /// SymMgr - Object that manages the symbol information.
72 SymbolManager& SymMgr;
312 SymbolManager& getSymbolManager() { return SymMgr; }
313 const SymbolManager& getSymbolManager() const { return SymMgr; }
SymbolManager.h 575 SymbolManager& SymMgr;
587 SymbolReaper(const StackFrameContext *Ctx, const Stmt *s, SymbolManager& symmgr,
589 : LCtx(Ctx), Loc(s), SymMgr(symmgr),
  /external/clang/lib/StaticAnalyzer/Core/
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));
104 SymbolRef sym = SymMgr.getRegionValueSymbol(region);
141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
160 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
189 SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag);
208 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region)
    [all...]
SimpleConstraintManager.cpp 158 SymbolManager &SymMgr = getSymbolManager();
165 QualType DiffTy = SymMgr.getContext().getPointerDiffType();
166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub,
ExprEngineObjC.cpp 115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
SymbolManager.cpp 376 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) {
SimpleSValBuilder.cpp 152 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR));
    [all...]
ExprEngine.cpp 81 SymMgr(StateMgr.getSymbolManager()),
370 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
    [all...]

Completed in 1950 milliseconds