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