diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-08-03 00:09:51 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-08-03 00:09:51 +0000 |
commit | 9b823e8e1ccb8a2cb49923bad22a80ca96f41f92 (patch) | |
tree | 568619e091819d2b736a6b64ea94b0b11ea60a90 /include/clang/Frontend/AnalyzerOptions.h | |
parent | ad5a894df1841698c824381b414630799adc26ca (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.h | 2 |
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; } }; |