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);
   82   if (!stateNotZero) {
   89   if ((stateNotZero && stateZero && TaintedD)) {
   97   C.addTransition(stateNotZero);