From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa3.mentor.iphmx.com (esa3.mentor.iphmx.com [68.232.137.180])
	by sourceware.org (Postfix) with ESMTPS id 53690383A229
	for <gcc-patches@gcc.gnu.org>; Mon,  5 Sep 2022 19:52:05 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 53690383A229
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
X-IronPort-AV: E=Sophos;i="5.93,292,1654588800"; 
   d="scan'208";a="82366701"
Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167])
  by esa3.mentor.iphmx.com with ESMTP; 05 Sep 2022 11:52:05 -0800
IronPort-SDR: G0wZkvoMCgmBpKc7Jgaw0XIpzkV2Y5b0XXBj5tmLXH80eaG60u+SgvuoY8UZlyOLkvcafrBt9F
 4UQ782U/rqdn8lAXdcDUxbx5cQTsE5BkZWqanp5fiktkBp8OROWL3jOH0ARKNqI23kfzsuXlHO
 90ivQajOEXHOd2v0c4DfbxO7j4Ppt1sstbiVh3oLVc/o5BpVLRNwTer3bB9gmD12aueoPg01CV
 ApTgOLNYu04Dhklhmzap7vt7mmlUpRhkTy5ScdP3oG1b3nv6HbF0F1e2lfvKDWP64AYOB+enRH
 I0A=
Date: Mon, 5 Sep 2022 19:51:59 +0000
From: Joseph Myers <joseph@codesourcery.com>
X-X-Sender: jsm28@digraph.polyomino.org.uk
To: Richard Biener <richard.guenther@gmail.com>
CC: Jeff Law <jeffreyalaw@gmail.com>, GCC Patches <gcc-patches@gcc.gnu.org>
Subject: Re: [committed] c: C2x removal of unprototyped functions
In-Reply-To: <CAFiYyc0XzJDoDms1wVVjAJcCpFkthN2SJqfPYwFJROFhhcPH7Q@mail.gmail.com>
Message-ID: <alpine.DEB.2.22.394.2209051950370.743056@digraph.polyomino.org.uk>
References: <alpine.DEB.2.22.394.2209011911410.550568@digraph.polyomino.org.uk> <08891168-b92d-79cf-fbd6-32f02d391aae@gmail.com> <CAFiYyc0XzJDoDms1wVVjAJcCpFkthN2SJqfPYwFJROFhhcPH7Q@mail.gmail.com>
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: svr-ies-mbx-15.mgc.mentorg.com (139.181.222.15) To
 svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10)
X-Spam-Status: No, score=-3111.3 required=5.0 tests=BAYES_00,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,SPF_HELO_PASS,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-patches.gcc.gnu.org>

On Fri, 2 Sep 2022, Richard Biener via Gcc-patches wrote:

> To catch these cases with a diagnostic earlier is
> -Wstrict-prototypes -Wold-style-declaration enough to diagnose all cases
> that the new standard will reject?

I think so.

> I suppose -W*-c2x-compat are not the correct vehicle to diagnose these?

It could probably be made to diagnose such cases (it doesn't come 
automatically because this change involves changed semantics for syntax 
that's valid in both standard versions).

-- 
Joseph S. Myers
joseph@codesourcery.com