diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-03-29 00:09:22 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-03-29 00:09:22 +0000 |
| commit | 233c1b0c77cce6509aa8bd9e87ff672b8a5c5217 (patch) | |
| tree | 789ed8cddb826b9e6476af7174a36ca063838c74 /clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | |
| parent | 311246c6d51a99439172ddf2cea28be4f53df4dd (diff) | |
| download | bcm5719-llvm-233c1b0c77cce6509aa8bd9e87ff672b8a5c5217.tar.gz bcm5719-llvm-233c1b0c77cce6509aa8bd9e87ff672b8a5c5217.zip | |
Add configuration plumbing to enable static initializer branching in the CFG for the analyzer.
This setting still isn't enabled yet in the analyzer. This is
just prep work.
llvm-svn: 178317
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp index dca68f71ab5..1326d0d01b0 100644 --- a/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp +++ b/clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp @@ -236,3 +236,8 @@ bool AnalyzerOptions::shouldSynthesizeBodies() { bool AnalyzerOptions::shouldPrunePaths() { return getBooleanOption("prune-paths", true); } + +bool AnalyzerOptions::shouldConditionalizeStaticInitializers() { + return getBooleanOption("conditional-static-initializers", false); +} + |
