[Bug tree-optimization/117417] [12/13/14 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 #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:1fce67961689a59fb2ffad6f50fc4dab76740174

commit r14-11002-g1fce67961689a59fb2ffad6f50fc4dab76740174
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.

    (cherry picked from commit d976daa931642d940b7b27032ca6139210c07eed)