diff options
| author | David Blaikie <dblaikie@gmail.com> | 2012-01-24 04:29:18 +0000 |
|---|---|---|
| committer | David Blaikie <dblaikie@gmail.com> | 2012-01-24 04:29:18 +0000 |
| commit | 36b7c63664bea8e9aa85a024c515877be2ff92fa (patch) | |
| tree | 3e8f8547ec4c53f0dd927d8b1a073437adb2b40b /lib/Sema/AnalysisBasedWarnings.cpp | |
| parent | 7514f31c8fa3fbb3428d0dca98c32145fb0faaa5 (diff) | |
Simple hack to do unreachable code analysis on template patterns.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148774 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/AnalysisBasedWarnings.cpp')
| -rw-r--r-- | lib/Sema/AnalysisBasedWarnings.cpp | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/lib/Sema/AnalysisBasedWarnings.cpp b/lib/Sema/AnalysisBasedWarnings.cpp index e2d1e8c331..5f1d8cc7b0 100644 --- a/lib/Sema/AnalysisBasedWarnings.cpp +++ b/lib/Sema/AnalysisBasedWarnings.cpp @@ -782,8 +782,7 @@ AnalysisBasedWarnings::IssueWarnings(sema::AnalysisBasedWarnings::Policy P, return; // For code in dependent contexts, we'll do this at instantiation time. - if (cast<DeclContext>(D)->isDependentContext()) - return; + bool Dependent = cast<DeclContext>(D)->isDependentContext(); if (Diags.hasErrorOccurred() || Diags.hasFatalErrorOccurred()) { // Flush out any possibly unreachable diagnostics. @@ -826,7 +825,7 @@ AnalysisBasedWarnings::IssueWarnings(sema::AnalysisBasedWarnings::Policy P, // Construct the analysis context with the specified CFG build options. // Emit delayed diagnostics. - if (!fscope->PossiblyUnreachableDiags.empty()) { + if (!fscope->PossiblyUnreachableDiags.empty() && !Dependent) { bool analyzed = false; // Register the expressions with the CFGBuilder. @@ -874,7 +873,7 @@ AnalysisBasedWarnings::IssueWarnings(sema::AnalysisBasedWarnings::Policy P, // Warning: check missing 'return' - if (P.enableCheckFallThrough) { + if (P.enableCheckFallThrough && !Dependent) { const CheckFallThroughDiagnostics &CD = (isa<BlockDecl>(D) ? CheckFallThroughDiagnostics::MakeForBlock() : CheckFallThroughDiagnostics::MakeForFunction(D)); @@ -895,7 +894,7 @@ AnalysisBasedWarnings::IssueWarnings(sema::AnalysisBasedWarnings::Policy P, } // Check for thread safety violations - if (P.enableThreadSafetyAnalysis) { + if (P.enableThreadSafetyAnalysis && !Dependent) { SourceLocation FL = AC.getDecl()->getLocation(); thread_safety::ThreadSafetyReporter Reporter(S, FL); thread_safety::runThreadSafetyAnalysis(AC, Reporter); |