http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52132
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-06 08:34:22 UTC --- int l; void bar (void); void foo (int *x, float y) { float b; union { float f; int i; } u = { .f = y }; u.i += 127 << 23; u.f = ((-1.0f / 3) * u.f + 2) * u.f - 2.0f / 3; b = 0.5 * (u.f + l); if (b >= *x) bar (); }