From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=/wA4=HB=suse.de=rguenther@sourceware.org>
Received: from smtp-out2.suse.de (smtp-out2.suse.de [195.135.220.29])
	by sourceware.org (Postfix) with ESMTPS id D89973888816
	for <gcc-patches@gcc.gnu.org>; Mon, 20 Nov 2023 13:56:35 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org D89973888816
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=suse.de
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.de
ARC-Filter: OpenARC Filter v1.0.0 sourceware.org D89973888816
Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=195.135.220.29
ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700488597; cv=none;
	b=mgY7sRGxmwXaXBWoR66GlaurJ+tLQv0g+61clkENEVtSoCLCfWvAEnaUfsJ6L8nasgs8YtmnVbBzrDTuT7JSuUXsq2C7MPD99jkFJtk9AnrP1z1X5j+vdwzXcf3GXrvQsM0WUmssZdz1TFzZdm4sCjdiI+/VyIWqs9WIbnC8oy8=
ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key;
	t=1700488597; c=relaxed/simple;
	bh=F31CHN6m5pFnc3fPB6iNbGT/bEve7YpemzWIg8mYSak=;
	h=Date:From:To:Subject:Message-ID:MIME-Version; b=dF0KX8y7x/3q7JDTxN/h5qvOILk2JqI2ddXpkD33aFHMyTxT6obFHYHFouLkXnf+xR3PiBOEr3lzV7JSJCHjg2MSZcttE3v50LaY1w1Xru/oHnrADsueNadAhelTtmE1v1XnIO7mSWpnbc9JBTeDQxmjDLMXUV5EIqdVZpITNCg=
ARC-Authentication-Results: i=1; server2.sourceware.org
Received: from relay2.suse.de (relay2.suse.de [149.44.160.134])
	by smtp-out2.suse.de (Postfix) with ESMTP id D68BB1F85D;
	Mon, 20 Nov 2023 13:56:34 +0000 (UTC)
Received: from wotan.suse.de (wotan.suse.de [10.160.0.1])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by relay2.suse.de (Postfix) with ESMTPS id 708912D3B3;
	Mon, 20 Nov 2023 13:56:34 +0000 (UTC)
Date: Mon, 20 Nov 2023 13:56:34 +0000 (UTC)
From: Richard Biener <rguenther@suse.de>
To: Alexandre Oliva <oliva@adacore.com>
cc: gcc-patches@gcc.gnu.org, Joseph Myers <joseph@codesourcery.com>, 
    Qing Zhao <qing.zhao@oracle.com>, 
    Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>, 
    Jeff Law <jeffreyalaw@gmail.com>
Subject: Re: [PATCH v4] Introduce hardbool attribute for C
In-Reply-To: <oril5wpp98.fsf@lxoliva.fsfla.org>
Message-ID: <nycvar.YFH.7.77.849.2311201355560.8772@jbgna.fhfr.qr>
References: <orlet4lmn8.fsf@lxoliva.fsfla.org> <or8rnxttff.fsf@lxoliva.fsfla.org> <oredmcx940.fsf@lxoliva.fsfla.org> <oro7l5o4h8.fsf@lxoliva.fsfla.org> <ora5sddfmu.fsf_-_@lxoliva.fsfla.org> <oril5wpp98.fsf@lxoliva.fsfla.org>
User-Agent: Alpine 2.22 (LSU 394 2020-01-19)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
X-Spam-Level: 
Authentication-Results: smtp-out2.suse.de;
	none
X-Rspamd-Server: rspamd2
X-Spamd-Result: default: False [-4.00 / 50.00];
	 TAGGED_RCPT(0.00)[];
	 REPLY(-4.00)[]
X-Spam-Score: -4.00
X-Rspamd-Queue-Id: D68BB1F85D
X-Spam-Status: No, score=-4.8 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_SHORT,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc-patches.gcc.gnu.org>

On Mon, 20 Nov 2023, Alexandre Oliva wrote:

> On Oct 20, 2023, Alexandre Oliva <oliva@adacore.com> wrote:
> 
> > Here's a refreshed and retested version of the patch for hardened
> > booleans in C.  It is unchanged aside from some conflict resolution,
> > compared with the previous version posted back in June.
> > https://gcc.gnu.org/pipermail/gcc-patches/2023-June/622668.html
> 
> Ping?
> https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633674.html
> 
> Re-regstrapped on x86_64-linux-gnu.

OK if C frontend maintainers do not object this week.  Can you
produce a corresponding gcc-14/changes.html entry please?

Thanks,
Richard.