[Bug tree-optimization/123537] [14/15/16 Regression] ICE: verify_gimple failed: conversion of register to a different size in 'view_convert_expr' at -O2

cvs-commit at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Wed Jan 28 11:52:52 GMT 2026


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

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:6868526bb79051895864a006c757ee5aee8e9574

commit r16-7111-g6868526bb79051895864a006c757ee5aee8e9574
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Jan 28 10:04:45 2026 +0100

    tree-optimization/123537 - fix too permissive .REDUC_* folding

    The following restricts the allowed conversions to those maintaining
    the element type size.

            PR tree-optimization/123537
            * match.pd (REDUC (@0 & @1) -> @0[I] & @1[I]): Restrict
            allowed conversions.

            * gcc.dg/pr123537.c: New testcase.


More information about the Gcc-bugs mailing list