https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81110
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
65536*d[1] will overflow if d[1] is 65535 (0xffff).
If you did this instead it would be defined:
65536u*d[1]
as that is an unsigned * unsigned short so the unsigned short is implicitly
converted into unsigned; in the original case, the unsigned short is implicitly
converted into signed int.
