[{"id":3682675,"web_url":"http://patchwork.ozlabs.org/comment/3682675/","msgid":"","list_archive_url":null,"date":"2026-04-27T12:18:27","subject":"Re: [PATCH] c, middle-end: Implement C2Y N3747 paper - Integer Sets,\n v5","submitter":{"id":671,"url":"http://patchwork.ozlabs.org/api/people/671/","name":"Jakub Jelinek","email":"jakub@redhat.com"},"content":"On Mon, Apr 27, 2026 at 01:16:58PM +0200, Jakub Jelinek wrote:\n> Hi!\n> \n> C23 disallowed signed _BitInt(1), it only allowed unsigned _BitInt(1)\n> and signed _BitInt(2) and larger precisions.\n> The https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3747.pdf paper\n> changes this for C2Y and allows signed _BitInt(1) and (backwards\n> incompatibly) changes the type of 0wb from _BitInt(2) to _BitInt(1),\n> all other literals keep their earlier types. The paper contains large\n> redesign of the C types hierarchy, but my understanding is that only\n> those two changes are changing something for users.\n> \n> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?\n\nNote, I've additionally tested it with\nfor i in `find gcc/testsuite -type f -a -name '*.c' | xargs grep -l _BitInt | xargs grep -l -- -std=c23`; do sed -i -e 's/-std=c23/-std=c2y/g' $i; done\nfor i in `find gcc/testsuite -type f -a -name '*.c' | xargs grep -l _BitInt | xargs grep -l -- -std=gnu23`; do sed -i -e 's/-std=c23/-std=gnu2y/g' $i; done\nand\nmake -j32 -k check-gcc GCC_TEST_RUN_EXPENSIVE=1 RUNTESTFLAGS=\"--target_board=unix/-std=gnu2y GCC_TEST_RUN_EXPENSIVE=1 dg.exp='*bitint* pr112673.c builtin-stdc-bit-*.c pr112566-2.c pr112511.c pr116588.c pr116003.c pr113693.c pr113602.c flex-array-counted-by-7.c' dg-torture.exp='*bitint* pr116480-2.c pr114312.c pr114121.c' dfp.exp=*bitint* vect.exp='vect-early-break_99-pr113287.c' tree-ssa.exp=pr113735.c\"\non both x86_64-linux and i686-linux.\nThis results in expected\nFAIL: gcc.dg/bitint-1.c (test for errors, line 8)\nFAIL: gcc.dg/bitint-1.c (test for errors, line 9)\nFAIL: gcc.dg/bitint-2.c (test for excess errors)\nExcess errors:\n/home/jakub/src/gcc/gcc/testsuite/gcc.dg/bitint-2.c:64:3: error: static assertion failed: \"\"\nwhich test exactly what has changed and so rely on the C23 rather than\nC2Y behavior (that _BitInt(1) and signed _BitInt(1) is invalid and\n0wb has _BitInt(2) type). Those two tests have explicit -std=c23\nnormally (and only the above sed invocations changed those for this\ntesting).\n\n\tJakub","headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=DUgg5JAX;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=DUgg5JAX","sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=redhat.com","sourceware.org; spf=pass smtp.mailfrom=redhat.com","server2.sourceware.org;\n arc=none smtp.remote-ip=170.10.129.124"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g42fw5KB7z1yHX\n\tfor ; Mon, 27 Apr 2026 22:19:03 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 41C6A4BAD171\n\tfor ; Mon, 27 Apr 2026 12:19:01 +0000 (GMT)","from us-smtp-delivery-124.mimecast.com\n (us-smtp-delivery-124.mimecast.com [170.10.129.124])\n by sourceware.org (Postfix) with ESMTP id 451A84BAD171\n for ; Mon, 27 Apr 2026 12:18:34 +0000 (GMT)","from mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com\n (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by\n relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3,\n cipher=TLS_AES_256_GCM_SHA384) id us-mta-159-uNTj5JysM16JoNnE7Zbelg-1; Mon,\n 27 Apr 2026 08:18:32 -0400","from mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com\n (mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.17])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest\n SHA256)\n (No client certificate requested)\n by mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS\n id 7AEC4195606B; Mon, 27 Apr 2026 12:18:31 +0000 (UTC)","from tucnak.zalov.cz (unknown [10.44.34.21])\n by mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with\n ESMTPS\n id E5631196B8F6; Mon, 27 Apr 2026 12:18:30 +0000 (UTC)","from tucnak.zalov.cz (localhost [127.0.0.1])\n by tucnak.zalov.cz (8.18.1/8.18.1) with ESMTPS id 63RCISaQ1413695\n (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT);\n Mon, 27 Apr 2026 14:18:28 +0200","(from jakub@localhost)\n by tucnak.zalov.cz (8.18.1/8.18.1/Submit) id 63RCIRPK1413694;\n Mon, 27 Apr 2026 14:18:27 +0200"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 41C6A4BAD171","OpenDKIM Filter v2.11.0 sourceware.org 451A84BAD171"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 451A84BAD171","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 451A84BAD171","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777292314; cv=none;\n b=v4Vpef/YK5ErxyODfV/lQzVL0qZ2FBk3H/DOPUTuV4sHTkAbed4QSQLwzVRWBk39+DOLZCGw8cR/xM6fgXiS/gb6Fg/E1maNWquyFU9X0ppHd3YNXG/J4Ub77ZXl+XyzdOlq9+Ijts4SyLAUKzntS0sIoaoaONezceecPFvMG0o=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777292314; c=relaxed/simple;\n bh=tfCGma9WqFYEwwszBlVV/S2IcDWeHG2kKcA26b2/q90=;\n h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version;\n b=BeLtDVVb9cbfdUdJVVvU7pNKMa68yqPSaIT0rccqH0Ayk24j9yTozP80lDa7+PAmkKvLmkl/q0uoOKXoNYTVnzdY/wf1R3HMu8Zv7hOgcOVZVgUucLoVVQk3HumyO3sqTqqB+kLsYHwNjxMiI8Dv/D8WvmRY6ktORUVG6ifdGh8=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com;\n s=mimecast20190719; t=1777292313;\n h=from:from:reply-to:reply-to:subject:subject:date:date:\n message-id:message-id:to:to:cc:mime-version:mime-version:\n content-type:content-type:in-reply-to:in-reply-to: references:references;\n bh=4O3cXm3ehqB5YrodO0fETdeFLS9Ycux2KTh+GH7mYvU=;\n b=DUgg5JAX2DHeO7Ifiq2ct/64aTayBYwDYwIBWrFZmN/DADDXGCF8qPtyg/dMcw8q8HKaea\n nriwxG0wlPk5tsNWRM5NllhLzEXpCU63A3LqcYIrY0s3PVktQBvyZioOHyFxpPWjyE0TUb\n h8z7YZ/dJ+OOKOeQ/W9d4qW5Xhq8WuQ=","X-MC-Unique":"uNTj5JysM16JoNnE7Zbelg-1","X-Mimecast-MFC-AGG-ID":"uNTj5JysM16JoNnE7Zbelg_1777292311","Date":"Mon, 27 Apr 2026 14:18:27 +0200","From":"Jakub Jelinek ","To":"\"Joseph S. Myers\" ,\n Richard Biener , gcc-patches@gcc.gnu.org","Subject":"Re: [PATCH] c, middle-end: Implement C2Y N3747 paper - Integer Sets,\n v5","Message-ID":"","References":"","MIME-Version":"1.0","In-Reply-To":"","X-Scanned-By":"MIMEDefang 3.0 on 10.30.177.17","X-Mimecast-Spam-Score":"0","X-Mimecast-MFC-PROC-ID":"WuKEhqgWSYy3ohzu3JPFhdlLiFWtwQJq2HZUaJRvpvE_1777292311","X-Mimecast-Originator":"redhat.com","Content-Type":"text/plain; charset=us-ascii","Content-Disposition":"inline","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Reply-To":"Jakub Jelinek ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"}},{"id":3683035,"web_url":"http://patchwork.ozlabs.org/comment/3683035/","msgid":"<7797799b-db34-cc6a-cc92-4210d0177003@redhat.com>","list_archive_url":null,"date":"2026-04-27T22:37:27","subject":"Re: [PATCH] c, middle-end: Implement C2Y N3747 paper - Integer Sets,\n v5","submitter":{"id":87810,"url":"http://patchwork.ozlabs.org/api/people/87810/","name":"Joseph Myers","email":"josmyers@redhat.com"},"content":"On Mon, 27 Apr 2026, Jakub Jelinek wrote:\n\n> Hi!\n> \n> C23 disallowed signed _BitInt(1), it only allowed unsigned _BitInt(1)\n> and signed _BitInt(2) and larger precisions.\n> The https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3747.pdf paper\n> changes this for C2Y and allows signed _BitInt(1) and (backwards\n> incompatibly) changes the type of 0wb from _BitInt(2) to _BitInt(1),\n> all other literals keep their earlier types. The paper contains large\n> redesign of the C types hierarchy, but my understanding is that only\n> those two changes are changing something for users.\n> \n> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?\n\nOK.","headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=WJkHRJse;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=WJkHRJse","sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=redhat.com","sourceware.org; spf=pass smtp.mailfrom=redhat.com","server2.sourceware.org;\n arc=none smtp.remote-ip=170.10.133.124"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g4JP62qqDz1yHv\n\tfor ; Tue, 28 Apr 2026 08:38:00 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id D877C4B9DB6F\n\tfor ; Mon, 27 Apr 2026 22:37:58 +0000 (GMT)","from us-smtp-delivery-124.mimecast.com\n (us-smtp-delivery-124.mimecast.com [170.10.133.124])\n by sourceware.org (Postfix) with ESMTP id 7EE054B9DB66\n for ; Mon, 27 Apr 2026 22:37:32 +0000 (GMT)","from mail-wm1-f71.google.com (mail-wm1-f71.google.com\n [209.85.128.71]) by relay.mimecast.com with ESMTP with STARTTLS\n (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id\n us-mta-76-KE5mKbFVPWyLV_xwdMoWgg-1; Mon, 27 Apr 2026 18:37:30 -0400","by mail-wm1-f71.google.com with SMTP id\n 5b1f17b1804b1-488c2cc0cbaso78271325e9.3\n for ; Mon, 27 Apr 2026 15:37:30 -0700 (PDT)","from digraph.polyomino.org.uk (digraph.polyomino.org.uk.\n [2001:8b0:bf73:93f7::51bb:e332]) by smtp.gmail.com with ESMTPSA id\n 5b1f17b1804b1-48a77afa168sm10643535e9.7.2026.04.27.15.37.28\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Mon, 27 Apr 2026 15:37:28 -0700 (PDT)","from jsm28 (helo=localhost)\n by digraph.polyomino.org.uk with local-esmtp (Exim 4.98.2)\n (envelope-from ) id 1wHUZz-00000007XRP-1xGt;\n Mon, 27 Apr 2026 22:37:27 +0000"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org D877C4B9DB6F","OpenDKIM Filter v2.11.0 sourceware.org 7EE054B9DB66"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 7EE054B9DB66","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 7EE054B9DB66","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777329452; cv=none;\n b=ez+I5MbQm67FfPi2TDXOwl2kkPHens3B1MGUjTk0idvuOHFGgIUi3u1ir8iv1qjw9DvgWxn9hZ90eCEpiY+Lf4dDRJF6xZ1Z+tiysBF33sBqmwxMK+mAF1+Kbdg2WN+4WwNsF3zXWC+6Eg0yA9UhRDQTTAOpy0hw/Vz/mP7uKLE=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777329452; c=relaxed/simple;\n bh=Jp1jY2AZy76ydhtlwLsyXxGU/QdU18CP89ArFYIwRKc=;\n h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version;\n b=HBpti6WKb88q1G7F5c2uW3jTWdtwCs/Xwmfn2bpboOnYv9yvBnGJhjcNq2PfYETSJq5l3/AbS0O8uFeBg/zNJFCHjmFOI8nboOualwlL+Bq9QPX+y3rsVavM5/B4+4q6ep/ODb7kxYiSczAgw14YuPMXY4oXz8LaiVd6617rI7g=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com;\n s=mimecast20190719; t=1777329452;\n h=from:from:reply-to:subject:subject:date:date:message-id:message-id:\n to:to:cc:cc:mime-version:mime-version:content-type:content-type:\n in-reply-to:in-reply-to:references:references;\n bh=/O3svG+EIdr3S4yjCprJXgUYTtb63Qky2B0XMpLf8Ek=;\n b=WJkHRJse693uNiFgd/BMHsXt5rt6NT6EeeWugFlhxlx8/sOCD9LGil832+CsTAQ8h01pjb\n 4SeT/HWfZQgh14DSm51/Ed1BIK5jAeLULRF9mcmqpquY54tT68sFVPqprg96SeUQ+s1+05\n ZXFKvoyZ7mKT63/0Mj1VIbl6oWj8Uxc=","X-MC-Unique":"KE5mKbFVPWyLV_xwdMoWgg-1","X-Mimecast-MFC-AGG-ID":"KE5mKbFVPWyLV_xwdMoWgg_1777329449","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1777329449; x=1777934249;\n h=mime-version:references:message-id:in-reply-to:subject:cc:to:from\n :date:x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id\n :reply-to;\n bh=/O3svG+EIdr3S4yjCprJXgUYTtb63Qky2B0XMpLf8Ek=;\n b=IdncrqDeAPLy5tbPyueYYo8Cn3MZU7hufGYXu+XEqJ35JaCToXBFl55dFHWtpvphRd\n E7B60f8M+xh8fnG2J4+SNfh/PCWkOGQlzkTtVpkg+HfgUAxh7akvWtOsLxgczeu43M59\n pNivC6+xdVLN5g8Rh8LQ1qtEdB8GR015hx7Qd0UI7El/IBjNNpx8dLkDn/+FpLXzhPoT\n 0drhx2obUaH/HtiT3l6HlHVlFEWSBzrwzqIRU5PEVJQrtrRLmy3xn8SSk3/NjPCVeGyR\n OQba6LYql38vIJZ/bEYCS+xu5n7iHU4T3BOc3NUgrM5fRhyx5TFPZ/swQJkeg3DlSn9m\n itSQ==","X-Forwarded-Encrypted":"i=1;\n AFNElJ+AgTBPlXXxxrcwPvXNIQFJi51ZKR8kKSbW15dHlWpNjETgAhvGTeusUa6/bqQM8phdI3NmHyE/jtQDvA==@gcc.gnu.org","X-Gm-Message-State":"AOJu0YyvUQgkMRWDAC6PV9eE8qVpZkGeOPfqH1wCts27c5AKiLTX4MF+\n SufptMAr/vFp/ZZ/z6grk7pN/Hwivvyhiyb3wY9xV8ptWzDGP8lVUyn59lPjDBpmlBcruKghFWd\n ujzVqpcvtaMrJjpJIJpHlFRAQJoK4FZQt2ZpPzrX+5z+BG8huNLCZRUGz8f4=","X-Gm-Gg":"AeBDiescDCemrq/EUN1uFyrA+6Csg1T2zSVtoHh7dkoHr0N13M0ZGzsyJo2HVButAA2\n WAFW/MmYGvnXs2z3fgDrfr3qP/pixrYbNYaXE2d82zzItekX5tMoB/ugeT1XvKE13cB6daPSIJW\n gv+y3qMPal9UcGrwV8zeLum6dUDFXFjz0fT4hZ2qYwLWR2eVhp7ySrD88/yLYwZZs1FUiNfIM9S\n IBbGWNVfALGVh9hju5Ifm1/YtRJyD9dUNLRu42rXPFGGu4F/oQ6V2fKcfkH15f0INrr7HlzPoNq\n E6vXa+2REX+2JtGFazZyEd7tlUqyDZlwi9WTPLFBp4yGUVUnRpiJ87iwdVaLORyWtX9Ryna44m2\n FztGlEXOJfgd389gNyJ+art0Lfg45AVHiNZNAhkh9Kbmrkruc5KaSLUUjJyu5tXA=","X-Received":["by 2002:a05:600c:3208:b0:486:fb0b:ad79 with SMTP id\n 5b1f17b1804b1-48a77e64f4cmr3685235e9.20.1777329449268;\n Mon, 27 Apr 2026 15:37:29 -0700 (PDT)","by 2002:a05:600c:3208:b0:486:fb0b:ad79 with SMTP id\n 5b1f17b1804b1-48a77e64f4cmr3685065e9.20.1777329448853;\n Mon, 27 Apr 2026 15:37:28 -0700 (PDT)"],"Date":"Mon, 27 Apr 2026 22:37:27 +0000 (UTC)","From":"Joseph Myers ","To":"Jakub Jelinek ","cc":"Richard Biener , gcc-patches@gcc.gnu.org","Subject":"Re: [PATCH] c, middle-end: Implement C2Y N3747 paper - Integer Sets,\n v5","In-Reply-To":"","Message-ID":"<7797799b-db34-cc6a-cc92-4210d0177003@redhat.com>","References":"","MIME-Version":"1.0","X-Mimecast-Spam-Score":"0","X-Mimecast-MFC-PROC-ID":"cEJaxuwMIw2AmADQfTmDNSfQo4Qjvrw7IyGnwwpJhUA_1777329449","X-Mimecast-Originator":"redhat.com","Content-Type":"text/plain; charset=US-ASCII","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"}}]