http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49611
Jeroen van Bemmel <jbemmel at zonnet dot nl> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jbemmel at zonnet dot nl --- Comment #4 from Jeroen van Bemmel <jbemmel at zonnet dot nl> 2012-06-28 16:06:18 UTC --- Ideally, there would be some way to express that a given asm goto block depends on the flags, to prevent GCC from reordering flags-changing instructions and breaking the code. As a compromise, GCC could simply assume by default that asm goto blocks depend on the flags. Like Ryan, I believe that most people using asm goto would use it for such a purpose, and any missed optimization opportunities are a small price to pay for correct code.