diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-25 00:38:14 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-25 00:38:14 +0000 |
| commit | 9b646dac1c05fbfbfb4db0cb88ea28e74fbe7b9a (patch) | |
| tree | f51b640a3af8f0becb76bb437f2dcaa805d1d4ea /lib/Driver/Tools.cpp | |
| parent | bb969ed4193e2eadabfaa0dfd0b94312b6146349 (diff) | |
Turn on -analyzer-eagerly-assume by default when using 'clang-cc' to perform
static analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67665 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Driver/Tools.cpp')
| -rw-r--r-- | lib/Driver/Tools.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Driver/Tools.cpp b/lib/Driver/Tools.cpp index afb02fa49b..4bc034fc84 100644 --- a/lib/Driver/Tools.cpp +++ b/lib/Driver/Tools.cpp @@ -68,6 +68,7 @@ void Clang::ConstructJob(Compilation &C, const JobAction &JA, // FIXME: Move into clang? CmdArgs.push_back("-warn-dead-stores"); CmdArgs.push_back("-checker-cfref"); + CmdArgs.push_back("-analyzer-eagerly-assume"); CmdArgs.push_back("-warn-objc-methodsigs"); // Do not enable the missing -dealloc check. // '-warn-objc-missing-dealloc', |