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

References

tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp

  941   if (State->get<InvariantViolated>())
  958     NullConstraint Nullness = getNullConstraint(*RegionSVal, State);
  960       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
  960       State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
  961       C.addTransition(State);
  967       State->get<NullabilityMap>(Region);
  972     State = State->set<NullabilityMap>(Region,
  972     State = State->set<NullabilityMap>(Region,
  974     C.addTransition(State);
  980     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
  980     State = State->set<NullabilityMap>(Region, Nullability::Contradicted);
  981     C.addTransition(State);