http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47749
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |UNCONFIRMED Ever Confirmed|1 |0 --- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-28 15:57:08 UTC --- Good. Are we sure that means "statically" so to speak? Or that flowing should be instead read as something happening at run-time? I cannot fully convince myself. Are there other uses of "flowing" in the standard which clarify the reading? Anyway, in case nobody said it already, on x86_64-linux we *do* return true when flag is true, in all the active release branches, and all in all I agree that it seems a "safer" behavior but I cannot quickly see if I can reproduce the issue for arm-unknown-linux-uclibc...