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

References

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

  227   std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
  233     stateNull =
  234       stateNull->set<StreamMap>(Sym, StreamState::getOpenFailed(CE));
  237     C.addTransition(stateNull);