Home
last modified time | relevance | path

Searched refs:SymMgr (Results 1 – 25 of 211) sorted by relevance

123456789

/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp447 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
476 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
521 auto &SymMgr = C.getSymbolManager(); in handlePushFront() local
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
558 auto &SymMgr = C.getSymbolManager(); in handlePopFront() local
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
683 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp525 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
544 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
722 auto &SymMgr = C.getSymbolManager(); in assignToContainer() local
858 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
859 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
885 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
886 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
929 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
964 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
1070 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
[all …]
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp525 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
544 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
722 auto &SymMgr = C.getSymbolManager(); in assignToContainer() local
858 auto &SymMgr = C.getSymbolManager(); in handlePushBack() local
859 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
885 auto &SymMgr = C.getSymbolManager(); in handlePopBack() local
886 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
929 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
964 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
1070 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp56 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
57 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
69 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
H A DSValBuilder.cpp74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
127 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
212 SymMgr.getMetadataSymbol(region, expr, type, LCtx, count, symbolTag); in getMetadataSymbolVal()
231 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp56 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
57 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
69 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp56 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
57 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
69 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorChecker.cpp876 auto &SymMgr = C.getSymbolManager(); in handleComparison() local
957 auto &SymMgr = C.getSymbolManager(); in handleIncrement() local
958 auto &BVF = SymMgr.getBasicVals(); in handleIncrement()
976 auto &BVF = SymMgr.getBasicVals(); in handleDecrement()
1189 auto &SymMgr = C.getSymbolManager(); in assignToContainer() local
1326 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
1352 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
1430 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
1536 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter() local
1537 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
59 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
59 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
59 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
59 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
59 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp58 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
59 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym()
61 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
71 SymbolManager &SymMgr = getSymbolManager(); in assumeSym() local
75 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp74 return nonloc::SymbolVal(SymMgr.getSymIntExpr(lhs, op, rhs, type)); in makeNonLoc()
82 return nonloc::SymbolVal(SymMgr.getIntSymExpr(lhs, op, rhs, type)); in makeNonLoc()
89 return nonloc::SymbolVal(SymMgr.getSymSymExpr(lhs, op, rhs, type)); in makeNonLoc()
96 return nonloc::SymbolVal(SymMgr.getCastSymbol(operand, fromTy, toTy)); in makeNonLoc()
127 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
212 SymMgr.getMetadataSymbol(region, expr, type, LCtx, count, symbolTag); in getMetadataSymbolVal()
231 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()

123456789