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

References

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

  169   ProgramStateRef State = C.getState();
  176   State = assumeValuesEqual(ThisSuccess, OtherSuccess, State, C);
  177   C.addTransition(State);