r352693 - [analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBase

Kristof Umann via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 30 15:48:37 PST 2019


Author: szelethus
Date: Wed Jan 30 15:48:37 2019
New Revision: 352693

URL: http://llvm.org/viewvc/llvm-project?rev=352693&view=rev
Log:
[analyzer] Make NullReturnedFromNonnullChecker depend on NullabilityBase

Accidentally left this dependency out after D54438.

Added:
    cfe/trunk/test/Analysis/checker-dependencies.c
Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Checkers/Checkers.td

Modified: cfe/trunk/include/clang/StaticAnalyzer/Checkers/Checkers.td
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Checkers/Checkers.td?rev=352693&r1=352692&r2=352693&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Checkers/Checkers.td (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Checkers/Checkers.td Wed Jan 30 15:48:37 2019
@@ -230,6 +230,7 @@ def NullPassedToNonnullChecker : Checker
 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">,

Added: cfe/trunk/test/Analysis/checker-dependencies.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/checker-dependencies.c?rev=352693&view=auto
==============================================================================
--- cfe/trunk/test/Analysis/checker-dependencies.c (added)
+++ cfe/trunk/test/Analysis/checker-dependencies.c Wed Jan 30 15:48:37 2019
@@ -0,0 +1,3 @@
+// RUN: %clang_analyze_cc1 %s \
+// RUN:   -analyzer-checker=core \
+// RUN:   -analyzer-checker=nullability.NullReturnedFromNonnull




More information about the cfe-commits mailing list