[Bug c++/47749] Wrong function return value

[redi at gcc dot gnu.org]

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.