[Bug c/115696] [15 regression] ICE on invalid repeated mixed declarations (tree check: expected class ‘type’, have ‘exceptional’ (error_mark) in comptypes_verify, at c/c-typeck.cc:1178)

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

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Uecker <uec...@gcc.gnu.org>:

https://gcc.gnu.org/g:592a746533a278a5fd3e7b5dff004e1846ef26a4

commit r15-1928-g592a746533a278a5fd3e7b5dff004e1846ef26a4
Author: Martin Uecker <uec...@tugraz.at>
Date:   Sat Jun 29 15:36:18 2024 +0200

    c: Fix ICE for incorrect code in comptypes_verify [PR115696]

    The new verification code produces an ICE for incorrect code.  Add the
    same logic as already used in comptypes to to bail out under certain
    conditions.

            PR c/115696

    gcc/c/
            * c-typeck.cc (comptypes_verify): Bail out for
            identical, empty, and erroneous input types.

    gcc/testsuite/
            * gcc.dg/pr115696.c: New test.