https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102126
--- Comment #1 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
Division by 1 and -1 is affected too (as being equivalent to multiplication).
Note that F.9.2 "Expression transformations" in ISO C17 says:
1 × x and x/1 → x The expressions 1 × x, x/1, and x are equivalent
(on IEC 60559 machines, among others).374)
374) Strict support for signaling NaNs — not required by this
specification — would invalidate these and other transformations
that remove arithmetic operators.
and the current C2x draft (N2596) has something similar. But this is incorrect
as it misses the underflow case with enabled trap (allowed by F.8).
