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);
  231     stateNotNull =
  232       stateNotNull->set<StreamMap>(Sym,StreamState::getOpened(CE));
  236     C.addTransition(stateNotNull);