[Bug tree-optimization/123731] [16 Regression] wrong code at -O1/O2/O3/Os since r16-6671

[rdapp at gcc dot gnu.org]

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

Robin Dapp <rdapp at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rdapp at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #4 from Robin Dapp <rdapp at gcc dot gnu.org> ---
There's a signedness mismatch in the result that we fail to consider.  I have a
patch but given the complexity of the code I wonder if we shouldn't just punt
for now.  Either way, taking.