1  #include <cassert>
       2  
       3  struct S
       4  {
       5    int a, i;
       6    S () : i(1) {}
       7    __attribute__((noinline)) ~S () { assert (i == 1); }
       8  };