| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 329 auto &SymMgr = C.getSymbolManager(); in handleAssignment() local
333 SymMgr.conjureSymbol(Elem, C.getLocationContext(), in handleAssignment()
442 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
443 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
449 SymMgr.getType(EndSym)).getAsSymbol(); in handlePushBack()
471 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
472 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
478 SymMgr.getType(EndSym)).getAsSymbol(); in handlePopBack()
516 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
517 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
[all …]
|
| H A D | Iterator.cpp | 215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition() local
218 auto *Sym = SymMgr.conjureSymbol(Elem, LCtx, ACtx.LongTy, blockCount); in createIteratorPosition()
230 auto &SymMgr = State->getStateManager().getSymbolManager(); in advancePosition() local
252 IntDist, SymMgr.getType(Pos->getOffset())) in advancePosition()
|
| H A D | IteratorModeling.cpp | 473 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
474 Sym = SymMgr.conjureSymbol(Elem, C.getLocationContext(), in handleComparison()
498 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
500 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()
65 SymbolRef Subtraction = SymMgr.acquire<SymSymExpr>( in assumeSym()
76 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
79 SymbolRef CanonicalEquality = SymMgr.acquire<SymSymExpr>( in assumeSym()
|
| H A D | ExprEngineObjC.cpp | 49 SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, in populateObjCForDestinationSet() argument
70 SymMgr.conjureSymbol(elem, LCtx, T, currBldrCtx->blockCount()); in populateObjCForDestinationSet()
137 elemRef, elementV, SymMgr, currBldrCtx, in VisitObjCForCollectionStmt()
142 elementV, SymMgr, currBldrCtx, Bldr, in VisitObjCForCollectionStmt()
|
| H A D | SValBuilder.cpp | 55 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder()
82 return nonloc::SymbolVal(SymMgr.acquire<SymIntExpr>(lhs, op, rhs, type)); in makeNonLoc()
90 return nonloc::SymbolVal(SymMgr.acquire<IntSymExpr>(lhs, op, rhs, type)); in makeNonLoc()
98 return nonloc::SymbolVal(SymMgr.acquire<SymSymExpr>(lhs, op, rhs, type)); in makeNonLoc()
105 return nonloc::SymbolVal(SymMgr.acquire<UnarySymExpr>(operand, op, type)); in makeNonLoc()
114 return nonloc::SymbolVal(SymMgr.acquire<SymbolCast>(operand, fromTy, toTy)); in makeNonLoc()
146 SymbolRef sym = SymMgr.acquire<SymbolRegionValue>(region); in getRegionValueSymbolVal()
185 SymbolRef sym = SymMgr.conjureSymbol(elem, LCtx, type, count, symbolTag); in conjureSymbolVal()
228 SymbolRef sym = SymMgr.conjureSymbol(elem, LCtx, type, VisitCount); in getConjuredHeapSymbolVal()
247 SymbolRef sym = SymMgr.acquire<SymbolMetadata>(region, expr, type, LCtx, in getMetadataSymbolVal()
[all …]
|
| H A D | SimpleSValBuilder.cpp | 299 SymbolManager &SymMgr = SVB.getSymbolManager(); in doRearrangeUnchecked() local
331 ResultSym = SymMgr.acquire<SymSymExpr>(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
335 ResultSym = SymMgr.acquire<SymSymExpr>(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
340 ResultSym = SymMgr.acquire<SymSymExpr>(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
353 return nonloc::SymbolVal(SymMgr.acquire<SymIntExpr>( in doRearrangeUnchecked()
|
| H A D | MemRegion.cpp | 810 SymbolManager &SymMgr = SVB.getSymbolManager(); in getStaticSize() local
815 return nonloc::SymbolVal(SymMgr.acquire<SymbolExtent>(SR)); in getStaticSize()
833 return nonloc::SymbolVal(SymMgr.acquire<SymbolExtent>(SR)); in getStaticSize()
900 return nonloc::SymbolVal(SymMgr.acquire<SymbolExtent>(SR)); in getStaticSize()
|
| H A D | SymbolManager.cpp | 266 if (const SymbolRefSmallVectorTy *Deps = SymMgr.getDependentSymbols(sym)) { in markDependentsLive()
|
| H A D | RangeConstraintManager.cpp | 1528 SymbolManager &SymMgr = State->getSymbolManager(); in getRangeForComparisonSymbol() local
1544 SymMgr.acquire<SymSymExpr>(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1552 SymSym = SymMgr.acquire<SymSymExpr>(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()
|
| H A D | ExprEngine.cpp | 230 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
1058 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); in removeDead()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 64 SymbolManager SymMgr; variable
165 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
166 const SymbolManager &getSymbolManager() const { return SymMgr; } in getSymbolManager()
179 return SymMgr.conjureSymbol(Elem, LCtx, type, visitCount, symbolTag);
|
| H A D | SymbolManager.h | 583 SymbolManager& SymMgr; variable
597 : LCtx(Ctx), Loc(s), SymMgr(symmgr), reapedStore(nullptr, storeMgr) {} in SymbolReaper()
|
| H A D | ExprEngine.h | 154 SymbolManager &SymMgr; variable
431 SymbolManager &getSymbolManager() { return SymMgr; } in getSymbolManager()
|