StaticAnalyzer/Checkers/NullabilityChecker.cpp

72 enum class ErrorKind : int {
166   void reportBugIfInvariantHolds(StringRef Msg, ErrorKind Error, CheckKind CK,
172   void reportBug(StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N,
183       if (Error == ErrorKind::NilAssignedToNonnull ||
184           Error == ErrorKind::NilPassedToNonnull ||
185           Error == ErrorKind::NilReturnedToNonnull)
482     StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N,
555                 ErrorKind::NullableDereferenced, CK_NullableDereferenced,
560                 ErrorKind::NullablePassedToNonnull, CK_NullableDereferenced,
719     reportBugIfInvariantHolds(OS.str(), ErrorKind::NilReturnedToNonnull,
753       reportBugIfInvariantHolds(OS.str(), ErrorKind::NullableReturnedToNonnull,
819       reportBugIfInvariantHolds(OS.str(), ErrorKind::NilPassedToNonnull,
845         reportBugIfInvariantHolds(OS.str(), ErrorKind::NullablePassedToNonnull,
854                                   ErrorKind::NullableDereferenced,
1307     reportBugIfInvariantHolds(OS.str(), ErrorKind::NilAssignedToNonnull,
1340                                 ErrorKind::NullableAssignedToNonnull,