Searched refs:stateNotZero (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);
73 if (!stateNotZero) {
80 if ((stateNotZero && stateZero && TaintedD)) {
87 C.addTransition(stateNotZero);
H A DVLASizeChecker.cpp116 ProgramStateRef stateNotZero, stateZero; local
117 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
119 if (stateZero && !stateNotZero) {
125 state = stateNotZero;

Completed in 228 milliseconds