aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Frontend/AnalyzerOptions.h
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-08-03 00:09:51 +0000
committerTed Kremenek <kremenek@apple.com>2010-08-03 00:09:51 +0000
commit9b823e8e1ccb8a2cb49923bad22a80ca96f41f92 (patch)
tree568619e091819d2b736a6b64ea94b0b11ea60a90 /include/clang/Frontend/AnalyzerOptions.h
parentad5a894df1841698c824381b414630799adc26ca (diff)
Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis) that doesn't prune CFG edges.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110087 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/Frontend/AnalyzerOptions.h')
-rw-r--r--include/clang/Frontend/AnalyzerOptions.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/clang/Frontend/AnalyzerOptions.h b/include/clang/Frontend/AnalyzerOptions.h
index ab4aed96d8..33cef96c64 100644
--- a/include/clang/Frontend/AnalyzerOptions.h
+++ b/include/clang/Frontend/AnalyzerOptions.h
@@ -74,6 +74,7 @@ public:
unsigned EnableExperimentalInternalChecks : 1;
unsigned EnableIdempotentOperationChecker : 1;
unsigned InlineCall : 1;
+ unsigned UnoptimizedCFG : 1;
public:
AnalyzerOptions() {
@@ -90,6 +91,7 @@ public:
VisualizeEGUbi = 0;
EnableExperimentalChecks = 0;
EnableExperimentalInternalChecks = 0;
+ UnoptimizedCFG = 0;
}
};