From: Kristof Umann Date: Wed, 30 Jan 2019 23:48:37 +0000 (+0000) Subject: [analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBase X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b8120e9866e32a7748b963f3f5f7759351b47f51;p=clang [analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBase Accidentally left this dependency out after D54438. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@352693 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/StaticAnalyzer/Checkers/Checkers.td b/include/clang/StaticAnalyzer/Checkers/Checkers.td index fa71792b6d..91ad404835 100644 --- a/include/clang/StaticAnalyzer/Checkers/Checkers.td +++ b/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; def NullableDereferencedChecker : Checker<"NullableDereferenced">, diff --git a/test/Analysis/checker-dependencies.c b/test/Analysis/checker-dependencies.c new file mode 100644 index 0000000000..efb636db22 --- /dev/null +++ b/test/Analysis/checker-dependencies.c @@ -0,0 +1,3 @@ +// RUN: %clang_analyze_cc1 %s \ +// RUN: -analyzer-checker=core \ +// RUN: -analyzer-checker=nullability.NullReturnedFromNonnull