| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 525 auto &SymMgr = C.getSymbolManager(); local
526 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(),
544 auto &SymMgr = C.getSymbolManager(); local
546 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(
722 auto &SymMgr = C.getSymbolManager(); local
723 auto Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(),
762 auto &SymMgr = C.getSymbolManager(); local
766 SymMgr.conjureSymbol(CE, C.getLocationContext(),
858 auto &SymMgr = C.getSymbolManager(); local
859 auto &BVF = SymMgr
885 auto &SymMgr = C.getSymbolManager(); local
928 auto &SymMgr = C.getSymbolManager(); local
963 auto &SymMgr = C.getSymbolManager(); local
1618 auto &SymMgr = SVB.getSymbolManager(); local
[all...] |
| H A D | Iterator.cpp | 187 auto &SymMgr = State->getStateManager().getSymbolManager();
199 *IntDist, SymMgr.getType(Pos->getOffset()))
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx,
71 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
138 SymMgr, currBldrCtx, Bldr,
142 SymMgr, currBldrCtx, Bldr,
46 populateObjCForDestinationSet( ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, const ObjCForCollectionStmt *S, const Stmt *elem, SVal elementV, SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, StmtNodeBuilder &Bldr, bool hasElements) argument
|
| H A D | SValBuilder.cpp | 74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type));
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type));
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type));
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy));
127 SymbolRef sym = SymMgr.getRegionValueSymbol(region);
164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
212 SymMgr.getMetadataSymbol(region, expr, type, LCtx, count, symbolTag);
231 SymbolRef sym = SymMgr
[all...] |
| H A D | RangedConstraintManager.cpp | 49 SymbolManager &SymMgr = getSymbolManager(); local
56 QualType DiffTy = SymMgr.getContext().getPointerDiffType();
58 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy);
|
| H A D | SimpleSValBuilder.cpp | 158 return nonloc::SymbolVal(SymMgr.getExtentSymbol(FTR));
377 SymbolManager &SymMgr = SVB.getSymbolManager(); local
409 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy);
413 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy);
418 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy);
432 SymMgr.getSymIntExpr(ResultSym, ResultOp, PersistentResultInt, ResultTy));
|
| H A D | RangeConstraintManager.cpp | 526 SymbolManager &SymMgr = State->getSymbolManager(); local
527 SymbolRef negSym = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub,
|
| H A D | SymbolManager.cpp | 392 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) {
|
| H A D | ExprEngine.cpp | 213 SymMgr(StateMgr.getSymbolManager()),
717 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
|
| /freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 62 SymbolManager SymMgr; member in class:clang::ento::SValBuilder
87 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc),
171 SymbolManager &getSymbolManager() { return SymMgr; }
172 const SymbolManager &getSymbolManager() const { return SymMgr; }
184 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
191 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
|
| H A D | SymbolManager.h | 565 SymbolManager& SymMgr; member in class:clang::ento::SymbolReaper
579 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {}
|
| H A D | ExprEngine.h | 131 /// SymMgr - Object that manages the symbol information.
132 SymbolManager &SymMgr; member in class:clang::ento::ExprEngine
397 SymbolManager &getSymbolManager() { return SymMgr; }
|