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 | aedb7434c8cdbca163d08af90ad09ecb02a19fcc (patch) | |
| tree | cb851561149bf8002c14ef14c8a238d1f72d4e35 /clang/lib/Frontend/AnalysisConsumer.cpp | |
| parent | 1e886ebe8ceb1d642456ce0e6ee4c81a0f689ce8 (diff) | |
| download | llvm-aedb7434c8cdbca163d08af90ad09ecb02a19fcc.zip llvm-aedb7434c8cdbca163d08af90ad09ecb02a19fcc.tar.gz llvm-aedb7434c8cdbca163d08af90ad09ecb02a19fcc.tar.bz2 | |
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.
llvm-svn: 87053
Diffstat (limited to 'clang/lib/Frontend/AnalysisConsumer.cpp')
| -rw-r--r-- | clang/lib/Frontend/AnalysisConsumer.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/clang/lib/Frontend/AnalysisConsumer.cpp b/clang/lib/Frontend/AnalysisConsumer.cpp index d51730c..e8bd920 100644 --- a/clang/lib/Frontend/AnalysisConsumer.cpp +++ b/clang/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; |