1 // { dg-do assemble  }
2 
3 // Based on a testcase by Ruslan Shevchenko <Ruslan@Shevchenko.Kiev.UA>
4 
5 struct B {
6   virtual ~B();
7 };
8 
9 struct D : public B {
10 };
11 
foo()12 void foo() {
13   B x;
14   dynamic_cast<D*>(&x); // { dg-warning "" } will never succeed
15   B* p = &x;
16   dynamic_cast<D*>(p);
17 }
18