[Bug tree-optimization/128142] [16 Regression] Vector (x + y) >> 1 folded to .AVG_FLOOR although the signed sum can wrap with -fwrapv since r16-1112

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |17.0
      Known to fail|17.0                        |
            Summary|[16/17 Regression] Vector   |[16 Regression] Vector (x +
                   |(x + y) >> 1 folded to      |y) >> 1 folded to
                   |.AVG_FLOOR although the     |.AVG_FLOOR although the
                   |signed sum can wrap with    |signed sum can wrap with
                   |-fwrapv since  r16-1112     |-fwrapv since  r16-1112

--- Comment #7 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Fixed so far on the trunk.