diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-28 01:26:43 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-28 01:26:43 +0000 |
| commit | 21c9423ef4e87e6d0aab3ba7fd98d3f8d8661d1a (patch) | |
| tree | 2f1cd1ed5f8a9f1b97c5b95cc97aa6882cdf5026 /clang/lib | |
| parent | 183f0fb4cf264f24fdda18b2f1c6fc2fb268f7eb (diff) | |
| download | bcm5719-llvm-21c9423ef4e87e6d0aab3ba7fd98d3f8d8661d1a.tar.gz bcm5719-llvm-21c9423ef4e87e6d0aab3ba7fd98d3f8d8661d1a.zip | |
[analyzer] Remove '-analyzer-experimental-checks' flag.
llvm-svn: 126607
Diffstat (limited to 'clang/lib')
4 files changed, 0 insertions, 32 deletions
diff --git a/clang/lib/Frontend/CompilerInvocation.cpp b/clang/lib/Frontend/CompilerInvocation.cpp index b9d15ad01ab..b54f3371d6d 100644 --- a/clang/lib/Frontend/CompilerInvocation.cpp +++ b/clang/lib/Frontend/CompilerInvocation.cpp @@ -114,8 +114,6 @@ static void AnalyzerOptsToArgs(const AnalyzerOptions &Opts, Res.push_back("-analyzer-viz-egraph-graphviz"); if (Opts.VisualizeEGDot) Res.push_back("-analyzer-viz-egraph-ubigraph"); - if (Opts.EnableExperimentalChecks) - Res.push_back("-analyzer-experimental-checks"); if (Opts.BufferOverflows) Res.push_back("-analyzer-check-buffer-overflows"); @@ -875,7 +873,6 @@ static void ParseAnalyzerArgs(AnalyzerOptions &Opts, ArgList &Args, Opts.UnoptimizedCFG = Args.hasArg(OPT_analysis_UnoptimizedCFG); Opts.CFGAddImplicitDtors = Args.hasArg(OPT_analysis_CFGAddImplicitDtors); Opts.CFGAddInitializers = Args.hasArg(OPT_analysis_CFGAddInitializers); - Opts.EnableExperimentalChecks = Args.hasArg(OPT_analyzer_experimental_checks); Opts.TrimGraph = Args.hasArg(OPT_trim_egraph); Opts.MaxNodes = Args.getLastArgIntValue(OPT_analyzer_max_nodes, 150000,Diags); Opts.MaxLoop = Args.getLastArgIntValue(OPT_analyzer_max_loop, 4, Diags); diff --git a/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp b/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp deleted file mode 100644 index b0a7f3559d3..00000000000 --- a/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//=-- ExperimentalChecks.h ----------------------------------------*- C++ -*-=// -// -// The LLVM Compiler Infrastructure -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// This file defines functions to instantiate and register experimental -// checks in ExprEngine. -// -//===----------------------------------------------------------------------===// - -#include "InternalChecks.h" -#include "ExperimentalChecks.h" -#include "clang/StaticAnalyzer/Checkers/LocalCheckers.h" - -using namespace clang; -using namespace ento; - -void ento::RegisterExperimentalChecks(ExprEngine &Eng) { - // These are checks that never belong as internal checks - // within ExprEngine. -} diff --git a/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.h b/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.h index 1f38ad77ebd..65a230743b4 100644 --- a/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.h +++ b/clang/lib/StaticAnalyzer/Checkers/ExperimentalChecks.h @@ -22,7 +22,6 @@ namespace ento { class ExprEngine; void RegisterAnalyzerStatsChecker(ExprEngine &Eng); -void RegisterMallocChecker(ExprEngine &Eng); } // end GR namespace diff --git a/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp b/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp index e3e7ee957a6..cc9449dfd83 100644 --- a/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp +++ b/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp @@ -342,9 +342,6 @@ static void ActionExprEngine(AnalysisConsumer &C, AnalysisManager& mgr, RegisterNSErrorChecks(Eng.getBugReporter(), Eng, *D); - if (C.Opts.EnableExperimentalChecks) - RegisterExperimentalChecks(Eng); - if (C.Opts.BufferOverflows) RegisterArrayBoundCheckerV2(Eng); |

