1/* { dg-do compile } */
2/* { dg-options "-O2 -fcheck-pointer-bounds -mmpx" } */
3
4#pragma interface
5
6struct S
7{
8  ~S ()
9  {
10  }
11};
12
13S s;
14