http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55176
--- Comment #1 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-11-02 07:18:00 UTC --- Reduced: class Sandbox { void sandbox_exit (); struct A { int write (); }; void die (); }; int a; void Sandbox::sandbox_exit () { A b; while (b.write () && 1) if (a) die (); for (;;); }