/freebsd-12-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-12-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-12-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 | ExprEngine.h | 131 /// SymMgr - Object that manages the symbol information. 132 SymbolManager &SymMgr; member in class:clang::ento::ExprEngine 397 SymbolManager &getSymbolManager() { return SymMgr; }
|
H A D | SymbolManager.h | 565 SymbolManager& SymMgr; member in class:clang::ento::SymbolReaper 579 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {}
|