diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-11-13 01:15:47 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-11-13 01:15:47 +0000 |
| commit | eb94113be0ee5f4d38408b413d92464a0bc16b55 (patch) | |
| tree | b4e85114961d1effbc84af3bde3e846bd2788bfb /lib/Frontend/AnalysisConsumer.cpp | |
| parent | 21dac5e24a14d3288565515b35ad98c38460c9dd (diff) | |
Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@87053 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend/AnalysisConsumer.cpp')
| -rw-r--r-- | lib/Frontend/AnalysisConsumer.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Frontend/AnalysisConsumer.cpp b/lib/Frontend/AnalysisConsumer.cpp index d51730c20f..e8bd920d41 100644 --- a/lib/Frontend/AnalysisConsumer.cpp +++ b/lib/Frontend/AnalysisConsumer.cpp @@ -332,7 +332,9 @@ static void ActionGRExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, Decl * Eng.RegisterInternalChecks(); // FIXME: Internal checks should just // automatically register. RegisterAppleChecks(Eng, *D); - + + if (C.Opts.EnableExperimentalChecks) + RegisterExperimentalChecks(Eng); // Set the graph auditor. llvm::OwningPtr<ExplodedNode::Auditor> Auditor; |