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