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

References

tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
   74   if (!DV)
   80   std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
   88   bool TaintedD = isTainted(C.getState(), *DV);
   91               std::make_unique<taint::TaintBugVisitor>(*DV));