Home
last modified time | relevance | path

Searched refs:SymMgr (Results 1 – 9 of 9) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDSValBuilder.cpp51 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
59 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
66 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
73 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
101 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
132 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
148 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
164 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
175 SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag); in getMetadataSymbolVal()
191 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()
HDSimpleConstraintManager.cpp158 SymbolManager &SymMgr = getSymbolManager(); in assumeAux() local
165 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeAux()
166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, in assumeAux()
HDExprEngineObjC.cpp115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in VisitObjCForCollectionStmt()
HDSymbolManager.cpp376 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) { in markDependentsLive()
HDSimpleSValBuilder.cpp152 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR)); in evalCastFromLoc()
HDExprEngine.cpp80 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
369 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSValBuilder.h40 SymbolManager SymMgr; variable
65 SymMgr(context, BasicVals, alloc), in SValBuilder()
137 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
138 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
150 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
157 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
HDExprEngine.h72 SymbolManager& SymMgr; variable
312 SymbolManager& getSymbolManager() { return SymMgr; } in getSymbolManager()
313 const SymbolManager& getSymbolManager() const { return SymMgr; } in getSymbolManager()
HDSymbolManager.h575 SymbolManager& SymMgr; variable
589 : LCtx(Ctx), Loc(s), SymMgr(symmgr), in SymbolReaper()