[Bug tree-optimization/117417] [12/13/14/15 Regression] ICE: verify_gimple failed: non-top-level 'bit_field_ref' with -Ofast

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

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

--- Comment #5 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:d976daa931642d940b7b27032ca6139210c07eed

commit r15-5122-gd976daa931642d940b7b27032ca6139210c07eed
Author: Richard Biener <rguent...@suse.de>
Date:   Tue Nov 12 11:15:15 2024 +0100

    tree-optimization/117417 - ICE with complex load optimization

    When we decompose a complex load only used as real and imaginary
    parts we fail to honor IL constraints which are that a BIT_FIELD_REF
    of register type should be outermost in a ref.  The following
    simply avoids the transform when the complex load has such a
    BIT_FIELD_REF.

            PR tree-optimization/117417
            * tree-ssa-forwprop.cc (pass_forwprop::execute): Avoid
            decomposing BIT_FIELD_REF complex load.

            * gcc.dg/torture/pr117417.c: New testcase.