| // PR c++/71210 | |
| // { dg-do compile } | |
| // { dg-options "-O2" } | |
| #include <typeinfo> | |
| void f1 (const std::type_info&) __attribute__((noreturn)); | |
| struct S1 { ~S1 (); }; | |
| struct S2 | |
| { | |
| virtual S1 f2 () const { f1 (typeid (*this)); } | |
| S1 f3 () const { return f2 (); } | |
| }; | |
| void f4 () { S2 a; a.f3 (); } |