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

References

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

  134   ProgramStateRef State = C.getState();
  140     BooleanArgVal = C.getState()->getSVal(BooleanArgVal.castAs<Loc>());
  148   State = assumeValuesEqual(ThisSuccess, BooleanArgVal, State, C);
  149   C.addTransition(State);