Searched refs:stateZero (Results 1 - 2 of 2) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DivZeroChecker.cpp | 79 ProgramStateRef stateNotZero, stateZero; local
80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
83 assert(stateZero);
84 reportBug("Division by zero", stateZero, C);
89 if ((stateNotZero && stateZero && TaintedD)) {
90 reportBug("Division by a tainted value, possibly zero", stateZero, C,
|
| H A D | VLASizeChecker.cpp | 120 ProgramStateRef stateNotZero, stateZero; local
121 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
123 if (stateZero && !stateNotZero) {
124 reportBug(VLA_Zero, SE, stateZero, C);
|
Completed in 113 milliseconds