/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | ContainerModeling.cpp | 447 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 D | IteratorModeling.cpp | 525 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 D | IteratorModeling.cpp | 525 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 D | RangedConstraintManager.cpp | 56 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 D | SValBuilder.cpp | 74 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 D | RangedConstraintManager.cpp | 56 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 D | RangedConstraintManager.cpp | 56 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 D | IteratorChecker.cpp | 876 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 D | RangedConstraintManager.cpp | 58 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 D | RangedConstraintManager.cpp | 58 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 D | RangedConstraintManager.cpp | 58 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 D | RangedConstraintManager.cpp | 58 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 D | RangedConstraintManager.cpp | 58 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 D | RangedConstraintManager.cpp | 58 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 D | SValBuilder.cpp | 74 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()
|