commit e30859959f263c051e305454cc62c4c789a10f3a
author Gabor Horvath <xazax.hun@gmail.com> Mon Sep 14 20:34:06 2015 +0000
committer Gabor Horvath <xazax.hun@gmail.com> Mon Sep 14 20:34:06 2015 +0000
tree c81927042392800e8b11ab285c31ca5d4dfa6593
parent 9078f73fa0f7b479f3b2f18c889ebd4390893a7a

[Static Analyzer] Turn on some nullability checks by default.

Differential Revision: http://reviews.llvm.org/D12858

llvm-svn: 247614

clang/lib/Driver/Tools.cpp

diff --git a/clang/lib/Driver/Tools.cpp b/clang/lib/Driver/Tools.cpp
index 1b79ed7..7a5368a 100644
--- a/clang/lib/Driver/Tools.cpp
+++ b/clang/lib/Driver/Tools.cpp
@@ -3322,6 +3322,11 @@
       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.mktemp");
       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.mkstemp");
       CmdArgs.push_back("-analyzer-checker=security.insecureAPI.vfork");
+
+      // Default nullability checks.
+      CmdArgs.push_back("-analyzer-checker=nullability.NullPassedToNonnull");
+      CmdArgs.push_back(
+          "-analyzer-checker=nullability.NullReturnedFromNonnull");
     }
 
     // Set the output format. The default is plist, for (lame) historical