]> granicus.if.org Git - clang/commitdiff
[analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBase
authorKristof Umann <dkszelethus@gmail.com>
Wed, 30 Jan 2019 23:48:37 +0000 (23:48 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Wed, 30 Jan 2019 23:48:37 +0000 (23:48 +0000)
Accidentally left this dependency out after D54438.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@352693 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/StaticAnalyzer/Checkers/Checkers.td
test/Analysis/checker-dependencies.c [new file with mode: 0644]

index fa71792b6de63cb6c7f0afc9a4d9a7345d87652b..91ad40483542179c05849580d78fb33f8c89c9f5 100644 (file)
@@ -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/test/Analysis/checker-dependencies.c b/test/Analysis/checker-dependencies.c
new file mode 100644 (file)
index 0000000..efb636d
--- /dev/null
@@ -0,0 +1,3 @@
+// RUN: %clang_analyze_cc1 %s \
+// RUN:   -analyzer-checker=core \
+// RUN:   -analyzer-checker=nullability.NullReturnedFromNonnull