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

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  914     StateTrue = StateTrue->assume(*ConditionVal, true);
  914     StateTrue = StateTrue->assume(*ConditionVal, true);
  915     C.addTransition(StateTrue);