#include <cassert>
struct S
{
int a, i;
S () : i(1) {}
__attribute__((noinline)) ~S () { assert (i == 1); }
};