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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
   94     ProgramStateRef StTrue = assume(State, Cond, true);
  106       return ProgramStatePair((ProgramStateRef)nullptr, State);
  109     ProgramStateRef StFalse = assume(State, Cond, false);
  114       return ProgramStatePair(State, (ProgramStateRef)nullptr);