| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 325 auto &SymMgr = C.getSymbolManager(); in handleAssignment() local
329 SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleAssignment()
438 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
439 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
445 SymMgr.getType(EndSym)).getAsSymbol(); in handlePushBack()
467 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
468 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
474 SymMgr.getType(EndSym)).getAsSymbol(); in handlePopBack()
512 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
513 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
[all …]
|
| H A D | IteratorModeling.cpp | 469 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
470 Sym = SymMgr.conjureSymbol(CE, C.getLocationContext(), in handleComparison()
494 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
496 RetVal = nonloc::SymbolVal(SymMgr.conjureSymbol( in handleComparison()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 63 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
64 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
66 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
80 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
|
| H A D | MemRegion.cpp | 786 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize() local
791 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
809 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
877 return nonloc::SymbolVal(SymMgr.getExtentSymbol(SR)); in getStaticSize()
|
| H A D | SymbolManager.cpp | 389 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) { in markDependentsLive()
|
| H A D | RangeConstraintManager.cpp | 1511 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol() local
1526 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1534 SymSym = SymMgr.getSymSymExpr(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()
|
| H A D | ExprEngine.cpp | 229 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
1057 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 63 SymbolManager SymMgr; variable
164 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
165 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
179 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
186 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
|
| H A D | SymbolManager.h | 595 SymbolManager& SymMgr; variable
609 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {} in SymbolReaper()
|
| H A D | ExprEngine.h | 154 SymbolManager &SymMgr; variable
423 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
|