Home | History | Annotate | Download | only in Checkers

Lines Matching defs:ErrorKind

70 enum class ErrorKind : int {
160 void reportBugIfInvariantHolds(StringRef Msg, ErrorKind Error, CheckKind CK,
166 void reportBug(StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N,
177 if (Error == ErrorKind::NilAssignedToNonnull ||
178 Error == ErrorKind::NilPassedToNonnull ||
179 Error == ErrorKind::NilReturnedToNonnull)
438 StringRef Msg, ErrorKind Error, CheckKind CK, ExplodedNode *N,
502 ErrorKind::NullableDereferenced, CK_NullableDereferenced,
507 ErrorKind::NullablePassedToNonnull, CK_NullableDereferenced,
635 reportBugIfInvariantHolds(OS.str(), ErrorKind::NilReturnedToNonnull,
669 reportBugIfInvariantHolds(OS.str(), ErrorKind::NullableReturnedToNonnull,
735 reportBugIfInvariantHolds(OS.str(), ErrorKind::NilPassedToNonnull,
761 reportBugIfInvariantHolds(OS.str(), ErrorKind::NullablePassedToNonnull,
770 ErrorKind::NullableDereferenced,
1150 reportBugIfInvariantHolds(OS.str(), ErrorKind::NilAssignedToNonnull,
1183 ErrorKind::NullableAssignedToNonnull,