From: Anders Carlsson Date: Mon, 17 Jan 2011 19:06:31 +0000 (+0000) Subject: Handle base and member destructors in CheckFallThrough. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=22c412060e82dbe577dd8374677219dc68baec87;p=clang Handle base and member destructors in CheckFallThrough. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123667 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Sema/AnalysisBasedWarnings.cpp b/lib/Sema/AnalysisBasedWarnings.cpp index 3ded735f59..4463d3fea5 100644 --- a/lib/Sema/AnalysisBasedWarnings.cpp +++ b/lib/Sema/AnalysisBasedWarnings.cpp @@ -136,7 +136,16 @@ static ControlFlowKind CheckFallThrough(AnalysisContext &AC) { HasPlainEdge = true; continue; } - + if (CFGMemberDtor MD = CE.getAs()) { + // A member destructor. + HasPlainEdge = true; + continue; + } + if (CFGBaseDtor BD = CE.getAs()) { + // A base destructor. + HasPlainEdge = true; + continue; + } CFGStmt CS = CE.getAs(); if (!CS.isValid()) continue; diff --git a/test/SemaCXX/warn-missing-noreturn.cpp b/test/SemaCXX/warn-missing-noreturn.cpp index 251117fb77..54485fb5b1 100644 --- a/test/SemaCXX/warn-missing-noreturn.cpp +++ b/test/SemaCXX/warn-missing-noreturn.cpp @@ -65,5 +65,20 @@ namespace test2 { A(char) : f(j()) { } A(bool b) : f(b ? h() : j()) { } }; +} + +namespace test3 { + struct A { + ~A(); + }; + struct B { + ~B() { } + + A a; + }; + + struct C : A { + ~C() { } + }; }