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

References

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

   69   SVal Denom = C.getSVal(B->getRHS());
   78   ConstraintManager &CM = C.getConstraintManager();
   80   std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
   84     reportBug("Division by zero", stateZero, C);
   88   bool TaintedD = isTainted(C.getState(), *DV);
   90     reportBug("Division by a tainted value, possibly zero", stateZero, C,
   97   C.addTransition(stateNotZero);