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

References

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

  183   ProgramStateRef State = C.getState();
  194     if (ZS.getStackFrameContext() == C.getStackFrame())
  197   C.addTransition(State->set<DivZeroMap>(DivZeroes));