From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 25 Mar 2009 00:32:30 +0000 (+0000)
Subject: Turn on '-analyzer-eagerly-assume' by default in ccc for the static analyzer.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=90e4143ac2ce23ccfcf8c6d68e951f813f6fb31f;p=clang

Turn on '-analyzer-eagerly-assume' by default in ccc for the static analyzer.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67663 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/tools/ccc/ccclib/Tools.py b/tools/ccc/ccclib/Tools.py
index 09b6ebd159..1d4231ea9f 100644
--- a/tools/ccc/ccclib/Tools.py
+++ b/tools/ccc/ccclib/Tools.py
@@ -219,7 +219,7 @@ class Clang_CompileTool(Tool):
             #
             # FIXME: Move into clang?
             cmd_args.extend(['-warn-dead-stores',
-                             '-checker-cfref',
+                             '-checker-cfref', '-analyzer-eagerly-assume',
                              '-warn-objc-methodsigs',
                              # Do not enable the missing -dealloc check.
                              # '-warn-objc-missing-dealloc',