gcc/testsuite/g++.dg/opt/dtor4.h - gcc - Git at Google

 #include <cassert>

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

	struct S
	{
	int a, i;
	S () : i(1) {}
	__attribute__((noinline)) ~S () { assert (i == 1); }
	};