[Bug tree-optimization/128142] [16/17 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

--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> ---
I also wonder if this should be done only late.