Searched refs:stateZero (Results 1 - 2 of 2) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | DivZeroChecker.cpp | 70 ProgramStateRef stateNotZero, stateZero; local 71 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV); 74 assert(stateZero); 75 reportBug("Division by zero", stateZero, C); 80 if ((stateNotZero && stateZero && TaintedD)) { 81 reportBug("Division by a tainted value, possibly zero", stateZero, C);
|
H A D | VLASizeChecker.cpp | 116 ProgramStateRef stateNotZero, stateZero; local 117 std::tie(stateNotZero, stateZero) = state->assume(sizeD); 119 if (stateZero && !stateNotZero) { 120 reportBug(VLA_Zero, SE, stateZero, C);
|
Completed in 608 milliseconds