http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49218
--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-05-29 17:48:21 UTC ---
C testcase:
float f;
int main()
{
long long i = f;
if (i <= 10)
do
{
++i;
asm("");
}
while (i != 11);
return 0;
}