| // RUN: %clang_cc1 %s -fsyntax-only -verify -Wmissing-noreturn -Wno-unreachable-code | |
| // A destructor may be marked noreturn and should still influence the CFG. | |
| namespace PR6884 { | |
| struct abort_struct { | |
| abort_struct() {} // Make this non-POD so the destructor is invoked. | |
| ~abort_struct() __attribute__((noreturn)); | |
| }; | |
| int f() { | |
| abort_struct(); | |
| } | |
| int f2() { | |
| abort_struct s; | |
| } // expected-warning{{control reaches end of non-void function}} | |
| } |