diff options
| -rw-r--r-- | clang/include/clang/StaticAnalyzer/Checkers/Checkers.td | 1 | ||||
| -rw-r--r-- | clang/test/Analysis/checker-dependencies.c | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td b/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td index fa71792b6de..91ad4048354 100644 --- a/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td +++ b/clang/include/clang/StaticAnalyzer/Checkers/Checkers.td @@ -230,6 +230,7 @@ def NullPassedToNonnullChecker : Checker<"NullPassedToNonnull">, def NullReturnedFromNonnullChecker : Checker<"NullReturnedFromNonnull">, HelpText<"Warns when a null pointer is returned from a function that has " "_Nonnull return type.">, + Dependencies<[NullabilityBase]>, Documentation<HasDocumentation>; def NullableDereferencedChecker : Checker<"NullableDereferenced">, diff --git a/clang/test/Analysis/checker-dependencies.c b/clang/test/Analysis/checker-dependencies.c new file mode 100644 index 00000000000..efb636db22a --- /dev/null +++ b/clang/test/Analysis/checker-dependencies.c @@ -0,0 +1,3 @@ +// RUN: %clang_analyze_cc1 %s \ +// RUN: -analyzer-checker=core \ +// RUN: -analyzer-checker=nullability.NullReturnedFromNonnull |
