http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47749
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-09-28 16:05:21 UTC --- To answer your specific question, flowing isn't defined, neither is "the flow of control", but my reading is it means at runtime, for the reasons in my previous comment. If the compiler can prove at compile-time it will happen, then maybe the as-if rule applies, but it gets tricky in some cases and that's probably why GCC only makes it a warning.
