From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id D68DD38432C7; Sat, 18 Feb 2023 09:39:53 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D68DD38432C7
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1676713193;
	bh=yuFP60K8piYOjKQ35ab1fiRvqnBv9i9tIDU3QX66Y90=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=TrzlGhrwWtuZMroSQVf9IzVs6sao6VGrhxwVOMn/eu3rZaUybJ8DrWF7bv+VJ0pZP
	 0p0K0WOKFFVfCzj8NkVsYDKA+0AcK+0siIpsvMlwpMrTow8lo87QbMtvDYsLC1txoY
	 CHdPOrycljG4d4cwUbnc891x12zuUwlVSg24HsjA=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/108375] [10/11/12/13 Regression] Some variably modified types
 not detected as such
Date: Sat, 18 Feb 2023 09:39:50 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: accepts-invalid
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-108375-4-iFCODiaKsT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108375-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108375-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

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

https://gcc.gnu.org/g:47821ba07a19b672d3cba351a03af2b122e02213

commit r13-6128-g47821ba07a19b672d3cba351a03af2b122e02213
Author: Martin Uecker <uecker@tugraz.at>
Date:   Wed Feb 15 10:54:00 2023 +0100

    C: Detect all variably modified types [PR108375]

    Some variably modified types were not detected correctly.
    Define C_TYPE_VARIABLY_MODIFIED via TYPE_LANG_FLAG 6 in the CFE.
    This flag records whether a type is variably modified and is
    set for all such types including arrays with variably modified
    element type or structures and unions with variably modified
    members. This is then used to detect such types in the C FE
    and middle-end (via the existing language hook).

    gcc/c/ChangeLog:
            PR c/108375
            * c-decl.cc (decl_jump_unsafe): Use c_type_variably_modified_p.
            (diagnose_mismatched_decl): Dito.
            (warn_about_goto): Dito:
            (c_check_switch_jump_warnings): Dito.
            (finish_decl): Dito.
            (finish_struct): Dito.
            (grokdeclarator): Set C_TYPE_VARIABLY_MODIFIED.
            (finish_struct): Set C_TYPE_VARIABLY_MODIFIED.
            * c-objc-common.cc (c_var_mod_p): New function.
            (c_var_unspec_p): Remove.
            * c-objc-common.h: Set lang hook.
            * c-parser.cc (c_parser_declararion_or_fndef): Use
c_type_variably_modified_p.
            (c_parser_typeof_specifier): Dito.
            (c_parser_has_attribute_expression): Dito.
            (c_parser_generic_selection): Dito.
            * c-tree.h: Define C_TYPE_VARIABLY_MODIFIED and define
c_var_mode_p.
            * c-typeck.cc: Remove c_vla_mod_p and use C_TYPE_VARIABLY_MODIF=
IED.

    gcc/testsuite/ChangeLog:
            PR c/108375
            * gcc.dg/pr108375-1.c: New test.
            * gcc.dg/pr108375-2.c: New test.=