| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 1159 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1160 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1163 if (TrueState && !FalseState) { in performKernelMalloc()
1495 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1500 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1503 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1525 assert(FalseState); in ProcessZeroAllocCheck()
1526 return FalseState; in ProcessZeroAllocCheck()
|
| H A D | CStringChecker.cpp | 1658 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1659 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1663 if (TrueState && !FalseState) { in evalStrcpyCommon()
1668 if (!TrueState && FalseState) { in evalStrcpyCommon()
1672 if (TrueState && FalseState) in evalStrcpyCommon()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1357 assert(FalseState); in ProcessZeroAllocCheck()
1358 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1357 assert(FalseState); in ProcessZeroAllocCheck()
1358 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1357 assert(FalseState); in ProcessZeroAllocCheck()
1358 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1357 assert(FalseState); in ProcessZeroAllocCheck()
1358 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 502 ProgramStateRef TrueState, FalseState; in handleComparisionOp() local
503 std::tie(TrueState, FalseState) = in handleComparisionOp()
508 if (FalseState) in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| H A D | MallocChecker.cpp | 991 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
992 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
995 if (TrueState && !FalseState) { in performKernelMalloc()
1327 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1332 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1335 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1357 assert(FalseState); in ProcessZeroAllocCheck()
1358 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 1032 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1033 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1036 if (TrueState && !FalseState) { in performKernelMalloc()
1261 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1266 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1269 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1291 assert(FalseState); in ProcessZeroAllocCheck()
1292 return FalseState; in ProcessZeroAllocCheck()
|
| H A D | CStringChecker.cpp | 1650 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1651 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1655 if (TrueState && !FalseState) { in evalStrcpyCommon()
1660 if (!TrueState && FalseState) { in evalStrcpyCommon()
1664 if (TrueState && FalseState) in evalStrcpyCommon()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 995 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
996 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
999 if (TrueState && !FalseState) { in performKernelMalloc()
1331 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1336 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1339 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1361 assert(FalseState); in ProcessZeroAllocCheck()
1362 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 995 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
996 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
999 if (TrueState && !FalseState) { in performKernelMalloc()
1331 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1336 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1339 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1361 assert(FalseState); in ProcessZeroAllocCheck()
1362 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 995 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
996 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
999 if (TrueState && !FalseState) { in performKernelMalloc()
1331 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1336 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1339 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1361 assert(FalseState); in ProcessZeroAllocCheck()
1362 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 995 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
996 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
999 if (TrueState && !FalseState) { in performKernelMalloc()
1331 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1336 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1339 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1361 assert(FalseState); in ProcessZeroAllocCheck()
1362 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 1032 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
1033 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
1036 if (TrueState && !FalseState) { in performKernelMalloc()
1261 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1266 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1269 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1291 assert(FalseState); in ProcessZeroAllocCheck()
1292 return FalseState; in ProcessZeroAllocCheck()
|
| H A D | CStringChecker.cpp | 1650 ProgramStateRef TrueState, FalseState; in evalStrcpyCommon() local
1651 std::tie(TrueState, FalseState) = in evalStrcpyCommon()
1655 if (TrueState && !FalseState) { in evalStrcpyCommon()
1660 if (!TrueState && FalseState) { in evalStrcpyCommon()
1664 if (TrueState && FalseState) in evalStrcpyCommon()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 807 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
808 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
811 if (TrueState && !FalseState) { in performKernelMalloc()
1013 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation() local
1018 std::tie(TrueState, FalseState) = in ProcessZeroAllocation()
1021 if (TrueState && !FalseState) { in ProcessZeroAllocation()
1043 assert(FalseState); in ProcessZeroAllocation()
1044 return FalseState; in ProcessZeroAllocation()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 995 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
996 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
999 if (TrueState && !FalseState) { in performKernelMalloc()
1331 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocCheck() local
1336 std::tie(TrueState, FalseState) = in ProcessZeroAllocCheck()
1339 if (TrueState && !FalseState) { in ProcessZeroAllocCheck()
1361 assert(FalseState); in ProcessZeroAllocCheck()
1362 return FalseState; in ProcessZeroAllocCheck()
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 800 ProgramStateRef TrueState, FalseState;
801 std::tie(TrueState, FalseState) = State->assume(MaskedFlags);
804 if (TrueState && !FalseState) {
1003 ProgramStateRef TrueState, FalseState;
1008 std::tie(TrueState, FalseState) =
1011 if (TrueState && !FalseState) {
1033 assert(FalseState);
1034 return FalseState;
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MallocChecker.cpp | 809 ProgramStateRef TrueState, FalseState; in performKernelMalloc() local
810 std::tie(TrueState, FalseState) = State->assume(MaskedFlags); in performKernelMalloc()
813 if (TrueState && !FalseState) { in performKernelMalloc()
1012 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation() local
1017 std::tie(TrueState, FalseState) = in ProcessZeroAllocation()
1020 if (TrueState && !FalseState) { in ProcessZeroAllocation()
1042 assert(FalseState); in ProcessZeroAllocation()
1043 return FalseState; in ProcessZeroAllocation()
|