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