[Bug c/126284] [17 regression] C23 ICE on pointer to a VLA of a tagged type

"cvs-commit at gcc dot gnu.org via Gcc-bugs" <[email protected]> Fri, 14 Aug 2026 17:31:32 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Uecker <[email protected]>:

https://gcc.gnu.org/g:736361789c1309e3aff154210c07653f06a769d9

commit r17-3300-g736361789c1309e3aff154210c07653f06a769d9
Author: Martin Uecker <[email protected]>
Date:   Sat Jul 18 23:07:31 2026 +0200

    c: fix checking ICE on pointer to a VLA of a tagged type [PR126284]

    Remove the check for complete types in top_array_vla_p because
    it is not correct and we may end up encountering an array with
    incomplete element type in c_verify_type.  This can happen by
    replacing structures or unions with their incomplete version when
    constructing the canonical type.

            PR c/126284

    gcc/c/ChangeLog:
            * c-typeck.cc (top_array_vla_p): Remove check.

    gcc/testsuite/ChangeLog:
            * gcc.dg/pr126284.c: New test.