diff options
| author | Kristof Umann <dkszelethus@gmail.com> | 2019-01-30 23:48:37 +0000 |
|---|---|---|
| committer | Kristof Umann <dkszelethus@gmail.com> | 2019-01-30 23:48:37 +0000 |
| commit | 01c4939658f7776a924b150aeb65dbd72567831e (patch) | |
| tree | a0cd1ef4d471aff5544ff93a69ce9d7678c3f52f | |
| parent | 84bedac7e93ba353798cdce2a8cce91341707d8e (diff) | |
| download | bcm5719-llvm-01c4939658f7776a924b150aeb65dbd72567831e.tar.gz bcm5719-llvm-01c4939658f7776a924b150aeb65dbd72567831e.zip | |
[analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBase
Accidentally left this dependency out after D54438.
llvm-svn: 352693
| -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 |
