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