StaticAnalyzer/Checkers/NullabilityChecker.cpp

82 enum class ErrorKind : int {
172   void reportBugIfPreconditionHolds(ErrorKind Error, ExplodedNode *N,
177   void reportBug(ErrorKind Error, ExplodedNode *N, const MemRegion *Region,
189       if (Error == ErrorKind::NilAssignedToNonnull ||
190           Error == ErrorKind::NilPassedToNonnull ||
191           Error == ErrorKind::NilReturnedToNonnull)
392     ErrorKind Error, ExplodedNode *N, const MemRegion *Region,
457       reportBug(ErrorKind::NullableDereferenced, Event.SinkNode, Region, BR);
459       reportBug(ErrorKind::NullablePassedToNonnull, Event.SinkNode, Region, BR);
514     reportBugIfPreconditionHolds(ErrorKind::NilReturnedToNonnull, N, nullptr, C,
533       reportBugIfPreconditionHolds(ErrorKind::NullableReturnedToNonnull, N,
588       reportBugIfPreconditionHolds(ErrorKind::NilPassedToNonnull, N, nullptr, C,
608         reportBugIfPreconditionHolds(ErrorKind::NullablePassedToNonnull, N,
615         reportBugIfPreconditionHolds(ErrorKind::NullableDereferenced, N, Region,
984     reportBugIfPreconditionHolds(ErrorKind::NilAssignedToNonnull, N, nullptr, C,
1006       reportBugIfPreconditionHolds(ErrorKind::NullableAssignedToNonnull, N,