https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111494
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:3182e95eda4a1d612b910b3248c997c8acc7add3 commit r16-3328-g3182e95eda4a1d612b910b3248c997c8acc7add3 Author: Richard Biener <rguent...@suse.de> Date: Thu Jan 23 14:29:26 2025 +0100 tree-optimization/111494 - reduction vectorization with signed UB The following makes sure to pun arithmetic that's used in vectorized reduction to unsigned when overflow invokes undefined behavior. PR tree-optimization/111494 * gimple-fold.h (arith_code_with_undefined_signed_overflow): Declare. * gimple-fold.cc (arith_code_with_undefined_signed_overflow): Export. * tree-vect-stmts.cc (vectorizable_operation): Use unsigned arithmetic for operations participating in a reduction.
