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 42772385841B; Tue,  2 Apr 2024 18:35:00 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 42772385841B
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1712082900;
	bh=fMzU4QOSTlg6w/jowCkblYV6za9ZwIZiG9jF9Y/lW00=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Kgnh1Q7oHn9hHnc/uzgyoGR+aYq5AT1WBnwPWWonfs7yvzJAT7R2iALYqzWAVbOLQ
	 AB9qlxi8ykkZ9aSdiCW6iDgwZpQ8sBTZK6cMHgCAXdbnmO9yOeS8E353KVtJc5Ss0o
	 Qct8JBfczRNRY1ibQLmCY0LayZjm63sopZq8XHqM=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/114479] [14 Regression] std::is_array_v<int[0]> changed
 from false to true in GCC 14
Date: Tue, 02 Apr 2024 18:34:59 +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: 14.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114479-4-qpBAFbuKeM@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114479-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114479-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=3D114479

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:2f2924078ce51c2a0da3ad8f958f2d1de533969a

commit r14-9759-g2f2924078ce51c2a0da3ad8f958f2d1de533969a
Author: Marek Polacek <polacek@redhat.com>
Date:   Mon Apr 1 12:55:46 2024 -0400

    c++: make __is_array return false for T[0] [PR114479]

    When we switched to using the __is_array built-in trait to implement
    std::is_array in r14-6623-g7fd9c349e45534, we started saying that
    T[0] is an array.  There are various opinions as to whether that is
    the best answer, but it seems prudent to keep the GCC 13 result.

            PR c++/114479

    gcc/cp/ChangeLog:

            * semantics.cc (trait_expr_value) <case CPTK_IS_ARRAY>: Return
false
            for zero-sized arrays.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/is_array.C: Extend.=