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

References

tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h

  177         IsZeroCheck(!Assumption && Constraint.getAs<Loc>()) {}

tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

 1530   ID.AddBoolean(Assumption);
 1543   return (bool)N->getState()->assume(Constraint, !Assumption);
 1577       os << (Assumption ? "non-null" : "null");