[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

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

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

--- Comment #4 from Igor Shevlyakov <ishevlyakov at gcc dot gnu.org> ---
before I read your comment I already started regtest on this one