From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailrelay.tugraz.at (mailrelay.tugraz.at [129.27.2.202]) by sourceware.org (Postfix) with ESMTPS id 78EE83858C42 for ; Thu, 16 Nov 2023 21:36:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 78EE83858C42 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=tugraz.at Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tugraz.at ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 78EE83858C42 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=129.27.2.202 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700170602; cv=none; b=ZcT0gEYLBER884WTjLJh417dSfc/Z0qvbGWUGYtfIi1Z2GGM9NBftJzqq17oRo7brhDhcWEkbjxasSoUs2ABmY6W+khgCwBzDTWaIlQTte6JzAjjJ9GpFuBQXGo89/U+oUV77UJ0RJZcZLeXBQzPaNqIcOn9b74RY8TWIKep+dk= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700170602; c=relaxed/simple; bh=0dKONOVLQ57z82Ha17j8EOrrwb00yBBo/mik/xlcyro=; h=DKIM-Signature:Message-ID:Subject:From:To:Date:MIME-Version; b=s6kAgv+QnDwmFNgTLW1q1SW7EradADBALCoOQDaZx/VKP1trmVzpqyBG6xpdyI1Hs1VIRbpRJry+9PNal6Y2WzNrAlbLNqcRD17x+49IDaaovY9iaekGpNcMY07b+XxZ0lkHtMZ/YC0JI94J5eu1rd/xdLx262//bKN9ffeqNfE= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from vra-171-78.tugraz.at (vra-171-78.tugraz.at [129.27.171.78]) by mailrelay.tugraz.at (Postfix) with ESMTPSA id 4SWYJN4TgXz1LM0K; Thu, 16 Nov 2023 22:36:36 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.11.0 mailrelay.tugraz.at 4SWYJN4TgXz1LM0K DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tugraz.at; s=mailrelay; t=1700170597; bh=0dKONOVLQ57z82Ha17j8EOrrwb00yBBo/mik/xlcyro=; h=Subject:From:To:Cc:Date:From; b=oc8mqEnP2Np0qEk5tbq9JJlgk4HwiSkizRUfh957xI6bpgeqO02tXQsACV5EytYS9 uXkryiMGawmOGqBKVZ/4ISaAWv2RQbAn0QIS6GJVZx2aR0oSidfmIXfrcXx9hNtQqi d2YILc916sUjG8CIOcm6eAs9i1+jscYQ1PXw7vIM= Message-ID: <02a9b94e4d653b6f1b9f89a1b62187f46e871738.camel@tugraz.at> Subject: c23 type compatibility rules, v3 From: Martin Uecker To: gcc-patches@gcc.gnu.org Cc: Joseph Myers Date: Thu, 16 Nov 2023 22:36:36 +0100 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.46.4-2 MIME-Version: 1.0 X-TUG-Backscatter-control: G/VXY7/6zeyuAY/PU2/0qw X-Spam-Scanner: SpamAssassin 3.003001 X-Spam-Score-relay: -1.9 X-Scanned-By: MIMEDefang 2.74 on 129.27.10.116 X-Spam-Status: No, score=-3.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Joseph, this is another revised series for the C23 rules for type compatibility. 1/4 c23: tag compatibility rules for struct and unions 2/4 c23: tag compatibility rules for enums 3/4 c23: aliasing of compatible tagged types 4/4 c23: construct composite type for tagged types The first two were revised to address the nesting (and other) issues you pointed out. For 3 and 4 I only changed c2x to c23 and moved some tests around. 3 wasn't reviewed so far and 4 still needs some more work from my side. Bootstrapped and regression tested on x86_64. Martin