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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp79 ProgramStateRef stateNotZero, stateZero; local
80 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
82 if (!stateNotZero) {
89 if ((stateNotZero && stateZero && TaintedD)) {
97 C.addTransition(stateNotZero);

Completed in 100 milliseconds