From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=zdhh=BB=deneb.enyo.de=fw@sourceware.org>
Received: from albireo.enyo.de (albireo.enyo.de [37.24.231.21])
	by sourceware.org (Postfix) with ESMTPS id 9EEB63858C2D
	for <gcc@gcc.gnu.org>; Fri, 12 May 2023 18:14:18 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 9EEB63858C2D
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=deneb.enyo.de
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=deneb.enyo.de
Received: from [172.17.203.2] (port=34899 helo=deneb.enyo.de)
	by albireo.enyo.de ([172.17.140.2]) with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256)
	id 1pxXHK-001qYg-Sl; Fri, 12 May 2023 18:14:06 +0000
Received: from fw by deneb.enyo.de with local (Exim 4.96)
	(envelope-from <fw@deneb.enyo.de>)
	id 1pxXHH-000G9U-1g;
	Fri, 12 May 2023 20:14:03 +0200
From: Florian Weimer <fw@deneb.enyo.de>
To: Alexander Monakov <amonakov@ispras.ru>
Cc: Gabriel Ravier <gabravier@gmail.com>,  Joseph Myers
 <joseph@codesourcery.com>,  Eli Zaretskii <eliz@gnu.org>,  Jakub Jelinek
 <jakub@redhat.com>,  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
References: <87y1lx1avj.fsf@oldenburg.str.redhat.com> <83ednoapb6.fsf@gnu.org>
	<CAH6eHdS0KEyfLdE9fvTJ3aLtudKXcL9PyqPASJJVEgTMD6FaUQ@mail.gmail.com>
	<831qjoa0g0.fsf@gnu.org> <ZFuH9VCEzzN9JoWz@tucnak>
	<83o7ms8is7.fsf@gnu.org>
	<2ffbf210-1b58-737b-888c-4f84c5cc5e0f@gmail.com>
	<837ctg8e98.fsf@gnu.org> <ZFuoopSgnEjHomYt@tucnak>
	<83wn1g6w67.fsf@gnu.org> <ZFvALcZrJwDmCmqK@tucnak>
	<83mt2c6tch.fsf@gnu.org>
	<c1215de9-1ef9-fa52-f5d9-32f1f2df20@codesourcery.com>
	<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>
Date: Fri, 12 May 2023 20:14:03 +0200
In-Reply-To: <4989d9fb-366a-4103-aedc-ce725ef131a8@ispras.ru> (Alexander
	Monakov's message of "Fri, 12 May 2023 21:08:03 +0300 (MSK)")
Message-ID: <878rdtfmdw.fsf@mid.deneb.enyo.de>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Status: No, score=-5.5 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,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: <gcc.gcc.gnu.org>

* 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
  <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109836>