diff options
| author | Gabor Horvath <xazax.hun@gmail.com> | 2015-09-14 20:34:06 +0000 |
|---|---|---|
| committer | Gabor Horvath <xazax.hun@gmail.com> | 2015-09-14 20:34:06 +0000 |
| commit | e30859959f263c051e305454cc62c4c789a10f3a (patch) | |
| tree | c81927042392800e8b11ab285c31ca5d4dfa6593 /clang/lib/Driver/Tools.cpp | |
| parent | 9078f73fa0f7b479f3b2f18c889ebd4390893a7a (diff) | |
| download | llvm-e30859959f263c051e305454cc62c4c789a10f3a.zip llvm-e30859959f263c051e305454cc62c4c789a10f3a.tar.gz llvm-e30859959f263c051e305454cc62c4c789a10f3a.tar.bz2 | |
[Static Analyzer] Turn on some nullability checks by default.
Differential Revision: http://reviews.llvm.org/D12858
llvm-svn: 247614
Diffstat (limited to 'clang/lib/Driver/Tools.cpp')
| -rw-r--r-- | clang/lib/Driver/Tools.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
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 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA, 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 |