reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

   80   std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
   83     assert(stateZero);
   84     reportBug("Division by zero", stateZero, C);
   89   if ((stateNotZero && stateZero && TaintedD)) {
   90     reportBug("Division by a tainted value, possibly zero", stateZero, C,