/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
H A D | RangedConstraintManager.cpp | 56 SymbolManager &SymMgr = getSymbolManager(); local 57 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); 59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); 69 SymbolManager &SymMgr = getSymbolManager(); local 73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType);
|
H A D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, 69 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, 135 SymMgr, currBldrCtx, Bldr, 139 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 | SimpleSValBuilder.cpp | 245 SymbolManager &SymMgr = SVB.getSymbolManager(); local 277 ResultSym = SymMgr.getSymSymExpr(RSym, BO_Sub, LSym, SymTy); 281 ResultSym = SymMgr.getSymSymExpr(LSym, BO_Sub, RSym, SymTy); 286 ResultSym = SymMgr.getSymSymExpr(LSym, Op, RSym, SymTy); 300 SymMgr.getSymIntExpr(ResultSym, ResultOp, PersistentResultInt, ResultTy));
|
H A D | MemRegion.cpp | 736 SymbolManager &SymMgr = SVB.getSymbolManager(); local 741 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); 758 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); 788 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR));
|
H A D | RangeConstraintManager.cpp | 1081 SymbolManager &SymMgr = State->getSymbolManager(); 1083 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), T); 1120 SymbolManager &SymMgr = State->getSymbolManager(); 1130 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); 1138 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T);
|
H A D | SymbolManager.cpp | 373 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) {
|
H A D | ExprEngine.cpp | 213 SymMgr(StateMgr.getSymbolManager()), 717 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
|
/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ContainerModeling.cpp | 334 auto &SymMgr = C.getSymbolManager(); local 338 SymMgr.conjureSymbol(CE, C.getLocationContext(), 447 auto &SymMgr = C.getSymbolManager(); local 448 auto &BVF = SymMgr.getBasicVals(); 454 SymMgr.getType(EndSym)).getAsSymbol(); 476 auto &SymMgr = C.getSymbolManager(); local 477 auto &BVF = SymMgr.getBasicVals(); 483 SymMgr.getType(EndSym)).getAsSymbol(); 521 auto &SymMgr = C.getSymbolManager(); local 522 auto &BVF = SymMgr 558 auto &SymMgr = C.getSymbolManager(); local [all...] |
H A D | Iterator.cpp | 215 auto &SymMgr = StateMgr.getSymbolManager(); local 218 auto Sym = SymMgr.conjureSymbol(S, LCtx, ACtx.LongTy, blockCount); 231 auto &SymMgr = State->getStateManager().getSymbolManager(); 253 IntDist, SymMgr.getType(Pos->getOffset()))
|
H A D | IteratorModeling.cpp | 473 auto &SymMgr = C.getSymbolManager(); local 474 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), 498 auto &SymMgr = C.getSymbolManager(); local 500 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol(
|
/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 62 SymbolManager SymMgr; member in class:clang::ento::SValBuilder 101 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), 185 SymbolManager &getSymbolManager() { return SymMgr; } 186 const SymbolManager &getSymbolManager() const { return SymMgr; } 198 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 205 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
|
H A D | SymbolManager.h | 522 SymbolManager& SymMgr; member in class:clang::ento::SymbolReaper 536 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {}
|
H A D | ExprEngine.h | 155 /// SymMgr - Object that manages the symbol information. 156 SymbolManager &SymMgr; member in class:clang::ento::ExprEngine 428 SymbolManager &getSymbolManager() { return SymMgr; }
|