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 CE95A382DC57; Wed,  6 Sep 2023 15:58:44 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org CE95A382DC57
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1694015924;
	bh=flUGUhm9s6TFOkkX0FY/IZL4wV/WBDbG0FPeB3z8wPU=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=irR3kY1X1NCRiwxLZ0c2zK8KyXSHH1QxRXyqGtZ3X18W1OBtwlV/g+HpytC1xatM+
	 74fM+PW6urExCvxTUS5GjfG4v+rQscQ4BnVX8e4jF38w5dilrSCz9kgkhvBgv630jt
	 UFmtOpb0N6SJ8eqSY6gCwAwRK+hfOoM/h8c/+yWw=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/102989] Implement C2x's n2763 (_BitInt)
Date: Wed, 06 Sep 2023 15:58:43 +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: 12.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-102989-4-cfrEOqiPqi@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-102989-4@http.gcc.gnu.org/bugzilla/>
References: <bug-102989-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=3D102989

--- Comment #110 from CVS 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:52e2aaaa70e847d240fb68a27c88ee60189515a6

commit r14-3759-g52e2aaaa70e847d240fb68a27c88ee60189515a6
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Wed Sep 6 17:52:24 2023 +0200

    Additional _BitInt test coverage [PR102989]

    On Tue, Sep 05, 2023 at 10:40:26PM +0000, Joseph Myers wrote:
    > Additional tests I think should be added (for things I expect should
    > already work):
    >
    > * Tests for BITINT_MAXWIDTH in <limits.h>.  Test that it's defined for
    > C2x, but not defined for C11/C17 (the latter independent of whether t=
he
    > target has _BitInt support).  Test the value as well: _BitInt
    > (BITINT_MAXWIDTH) should be OK (both signed and unsigned) but _BitInt
    > (BITINT_MAXWIDTH + 1) should not be OK.  Also test that BITINT_MAXWID=
TH
>=3D
    > ULLONG_MAX.
    >
    > * Test _BitInt (N) where N is a constexpr variable or enum constant (I
    > expect these should work - the required call to convert_lvalue_to_rva=
lue
    > for constexpr to work is present - but I don't see such tests in the
    > testsuite).
    >
    > * Test that -funsigned-bitfields does not affect the signedness of
_BitInt
    > (N) bit-fields (the standard wording isn't entirely clear, but that's
    > what's implemented in the patches).
    >
    > * Test the errors for _Sat used with _BitInt (though such a test might
not
    > actually run at present because no target supports both features).

    The following patch does that plus for most of the new changes in the
    C _BitInt support patch requested in patch review it also does testsuite
    coverage.

    2023-09-06  Jakub Jelinek  <jakub@redhat.com>

            PR c/102989
            * gcc.dg/bitint-2.c (foo): Add tests for constexpr var or
enumerator
            arguments of _BitInt.
            * gcc.dg/bitint-31.c: Remove forgotten 0 &&.
            * gcc.dg/bitint-32.c: New test.
            * gcc.dg/bitint-33.c: New test.
            * gcc.dg/bitint-34.c: New test.
            * gcc.dg/bitint-35.c: New test.
            * gcc.dg/bitint-36.c: New test.
            * gcc.dg/fixed-point/bitint-1.c: New test.=