Searched refs:stateZero (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp70 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 DVLASizeChecker.cpp116 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