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

 1531   ID.Add(Constraint);
 1542     return N->getState()->isNull(Constraint).isUnderconstrained();
 1543   return (bool)N->getState()->assume(Constraint, !Assumption);
 1575     if (Constraint.getAs<Loc>()) {