[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 #3 from Igor Shevlyakov <ishevlyakov at gcc dot gnu.org> ---
What do you think about this way of handling it:
https://gcc.gnu.org/pipermail/gcc-patches/2026-October/736095.html