https://gcc.gnu.org/bugzilla/show_bug.cgi?id=29968
Vincent Lefèvre <vincent-gcc at vinc17 dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vincent-gcc at vinc17 dot net
--- Comment #4 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Andreas Schwab from comment #2)
> Your program is invoking undefined behaviour. You should not perform the
> division if the divisor is zero.
But PR109578 Comment 1 says that side effects should be visible before
undefined behavior occurs. Thus this bug should be reopened.
