https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48091

Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|accepts-invalid             |

--- Comment #7 from Joseph S. Myers <jsm28 at gcc dot gnu.org> ---
This is valid code (or at least the version with the call inside if (0) or
otherwise not known to be executed unconditionally for all executions of the
program is).  See what I said in bug 64526 and DR#317 linked therefrom.

Reply via email to