diff options
author | Ted Kremenek <kremenek@apple.com> | 2012-08-30 19:26:53 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2012-08-30 19:26:53 +0000 |
commit | 3b8a04004afa46057a9af4afbd086be71d619793 (patch) | |
tree | f2ada493cb70875f8bbdfef3ae4560c4e49ebf9b /lib/Frontend | |
parent | 0caa2d47b84337e942b3f6652adfafe4ae506cfe (diff) |
Rename 'VisualizeEGUbi' and 'VisualizeEGDot' to 'visualizeExplodedGraphWithUbigGraph'
and 'visualizeExplodedGraphWithGraphViz' respectively.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@162931 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend')
-rw-r--r-- | lib/Frontend/CompilerInvocation.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/Frontend/CompilerInvocation.cpp b/lib/Frontend/CompilerInvocation.cpp index 24cca3ed7e..b82b9d0783 100644 --- a/lib/Frontend/CompilerInvocation.cpp +++ b/lib/Frontend/CompilerInvocation.cpp @@ -163,9 +163,9 @@ static void AnalyzerOptsToArgs(const AnalyzerOptions &Opts, ToArgsList &Res) { Res.push_back("-analyzer-eagerly-assume"); if (Opts.TrimGraph) Res.push_back("-trim-egraph"); - if (Opts.VisualizeEGDot) + if (Opts.visualizeExplodedGraphWithGraphViz) Res.push_back("-analyzer-viz-egraph-graphviz"); - if (Opts.VisualizeEGUbi) + if (Opts.visualizeExplodedGraphWithUbiGraph) Res.push_back("-analyzer-viz-egraph-ubigraph"); if (Opts.NoRetryExhausted) Res.push_back("-analyzer-disable-retry-exhausted"); @@ -1116,8 +1116,10 @@ static bool ParseAnalyzerArgs(AnalyzerOptions &Opts, ArgList &Args, } Opts.ShowCheckerHelp = Args.hasArg(OPT_analyzer_checker_help); - Opts.VisualizeEGDot = Args.hasArg(OPT_analyzer_viz_egraph_graphviz); - Opts.VisualizeEGUbi = Args.hasArg(OPT_analyzer_viz_egraph_ubigraph); + Opts.visualizeExplodedGraphWithGraphViz = + Args.hasArg(OPT_analyzer_viz_egraph_graphviz); + Opts.visualizeExplodedGraphWithUbiGraph = + Args.hasArg(OPT_analyzer_viz_egraph_ubigraph); Opts.NoRetryExhausted = Args.hasArg(OPT_analyzer_disable_retry_exhausted); Opts.AnalyzeAll = Args.hasArg(OPT_analyzer_opt_analyze_headers); Opts.AnalyzerDisplayProgress = Args.hasArg(OPT_analyzer_display_progress); |