[Bug c/113315] during GIMPLE pass: bitintlower0 ICE: in lower_mergeable_stmt, at gimple-lower-bitint.cc:2310 with _BitInt() used as array index

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:95440171d0e615b0a1aa6863e41ba30df86ac3f4

commit r14-7200-g95440171d0e615b0a1aa6863e41ba30df86ac3f4
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Fri Jan 12 17:11:49 2024 +0100

    c: Avoid _BitInt indexes > sizetype in ARRAY_REFs [PR113315]

    When build_array_ref doesn't use ARRAY_REF, it casts the index to sizetype
    already, performs POINTER_PLUS_EXPR and then dereferences.
    While when emitting ARRAY_REF, we try to keep index expression as is in
    whatever type it had, which is reasonable e.g. for signed or unsigned types
    narrower than sizetype for loop optimizations etc.
    But if the index is wider than sizetype, we are unnecessarily computing
    bits beyond what is needed.  For {,unsigned }__int128 on 64-bit arches
    or {,unsigned }long long on 32-bit arches we've been doing that for
decades,
    so the following patch doesn't propose to change that (might be stage1
    material), but for _BitInt at least the _BitInt lowering code doesn't
expect
    to see large/huge _BitInt in the ARRAY_REF indexes, I was expecting one
    would see just casts of those to sizetype.

    So, the following patch makes sure that large/huge _BitInt indexes don't
    appear in ARRAY_REFs.

    2024-01-12  Jakub Jelinek  <jakub@redhat.com>

            PR c/113315
            * c-typeck.cc (build_array_ref): If index has BITINT_TYPE type with
            precision larger than sizetype precision, convert it to sizetype.

            * gcc.dg/bitint-65.c: New test.
            * gcc.dg/bitint-66.c: New test.