From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-out2.suse.de (smtp-out2.suse.de [IPv6:2001:67c:2178:6::1d]) by sourceware.org (Postfix) with ESMTPS id C4ECF3858433 for ; Mon, 15 May 2023 12:51:27 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C4ECF3858433 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=suse.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=suse.de Received: from relay2.suse.de (relay2.suse.de [149.44.160.134]) by smtp-out2.suse.de (Postfix) with ESMTP id 01C0B1F8AC; Mon, 15 May 2023 12:51:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_rsa; t=1684155087; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=KyiNe2RS1lDbwsXbOo0ECBsEuVWK/7LuDxT1v2/WHyw=; b=TIAQRznX64IflBqQzCkYBQCCwkQXoGx4RYOJPAD294zpzavwOgW+FTYuR0Mb3j17pKin9Q Dm2kj9CU3CpLrcz5jmnPt+SgewpoKeB76EIwUgeR5u0RGuUbN76KL/7XBrsaPxiK/OctlQ EQ5M3SjgpEdUWcun+l5hsQZZtsmfKk0= DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de; s=susede2_ed25519; t=1684155087; h=from:from:reply-to:date:date:message-id:message-id:to:to:cc:cc: mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=KyiNe2RS1lDbwsXbOo0ECBsEuVWK/7LuDxT1v2/WHyw=; b=Pv+dL6/bovFYOd49jYhwlnBVLCEiHRmRu3NwVUe7fKdjAGpD9n5exyN4WSckYH8d/FKZQR O/9JXPmbHr9Gf4AQ== 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 67A732C141; Mon, 15 May 2023 12:51:26 +0000 (UTC) Received: by wotan.suse.de (Postfix, from userid 10510) id 5405964E1; Mon, 15 May 2023 12:51:26 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by wotan.suse.de (Postfix) with ESMTP id 528FA64DB; Mon, 15 May 2023 12:51:26 +0000 (UTC) Date: Mon, 15 May 2023 12:51:26 +0000 (UTC) From: Michael Matz To: Florian Weimer cc: Alexander Monakov , Gabriel Ravier , Joseph Myers , Eli Zaretskii , Jakub Jelinek , jwakely.gcc@gmail.com, fweimer@redhat.com, gcc@gcc.gnu.org, arsen@aarsen.me Subject: Re: More C type errors by default for GCC 14 In-Reply-To: <878rdtfmdw.fsf@mid.deneb.enyo.de> Message-ID: References: <87y1lx1avj.fsf@oldenburg.str.redhat.com> <83ednoapb6.fsf@gnu.org> <831qjoa0g0.fsf@gnu.org> <83o7ms8is7.fsf@gnu.org> <2ffbf210-1b58-737b-888c-4f84c5cc5e0f@gmail.com> <837ctg8e98.fsf@gnu.org> <83wn1g6w67.fsf@gnu.org> <83mt2c6tch.fsf@gnu.org> <871qjlh9t3.fsf@mid.deneb.enyo.de> <87jzxdfne0.fsf@mid.deneb.enyo.de> <3d157d9c-0504-b8b4-46f6-54ea90374765@gmail.com> <4989d9fb-366a-4103-aedc-ce725ef131a8@ispras.ru> <878rdtfmdw.fsf@mid.deneb.enyo.de> User-Agent: Alpine 2.20 (LSU 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,KAM_SHORT,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: Hello, On Fri, 12 May 2023, Florian Weimer wrote: > * Alexander Monakov: > > > This is not valid (constraint violation): > > > > unsigned x; > > > > int *p = &x; > > > > In GCC this is diagnosed under -Wpointer-sign: > > > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25892 > > Thanks for the reference. I filed: > > -Wpointer-sign must be enabled by default > Can you please not extend the scope of your proposals in this thread but create a new one? (FWIW: no, this should not be an error, a warning is fine, and I actually think the current state of it not being in Wall is the right thing as well) Ciao, Michael.