From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0a-00069f02.pphosted.com (mx0a-00069f02.pphosted.com [205.220.165.32]) by sourceware.org (Postfix) with ESMTPS id DAF903858D28 for ; Sun, 4 Sep 2022 14:17:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org DAF903858D28 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=oracle.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=oracle.com Received: from pps.filterd (m0246617.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 284DCwbd006407; Sun, 4 Sep 2022 14:17:17 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-id : content-transfer-encoding : mime-version; s=corp-2022-7-12; bh=NIqSvwNH8bE+GJZXmuaLFR1YLCJKM5PGF9kx87nhepo=; b=T1E5BQLQYNR+zcqYtRp4nYcLLs57GiGR/uGXGTUzFehLqruSlQb3NXPy2Kc4IWTi3DJb PMoWewNoAdF6169LsyniqqtTH3iRSqWsUblgXwlOaQSFCCssmeAlDWaqV62s0vgt060D C/8MMZmuQ+1T6ldiMwfFURF/GNAKpLmGCuEvL/aH/wsFjE6XxicKZKhVczA/17wYF994 B7DFd4T/MHVZGJU17PH4DaxPaSMF6seH+N/RuPWiMt6PwiXpC+HKqRt53mpFBTJz00OG 2GO7C0gwW8v3FE7t5ddnqnXo0HRWOmfa7T0elq3NjkZoin4QzG3Ejf5Hv87irXLMNXd3 3A== Received: from iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta03.appoci.oracle.com [130.35.103.27]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3jbyftht4n-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 04 Sep 2022 14:17:16 +0000 Received: from pps.filterd (iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 284DSAYa027511; Sun, 4 Sep 2022 14:17:15 GMT Received: from nam10-mw2-obe.outbound.protection.outlook.com (mail-mw2nam10lp2105.outbound.protection.outlook.com [104.47.55.105]) by iadpaimrmta03.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 3jbwc795uh-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 04 Sep 2022 14:17:15 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=ak4yQsZrGCxHiSHfd8S5QzQfYpTdyHxHqgHxwyE8V5ApmDRn3EVAccsIs9ODaetnt43FSTDUCNABWpI2PLr6pv6u6EE6trSHcqqfagD8fRcIImPDvK2P5DFw5ESAU7ICfwJ1hJUUid2ipdldltHJKVNbvhXue/91iJkUAu41r5TTOcephormR47+lvyuAr7Jrlj5bBrOkGkEcc4u4ul5kNJ819kHE+GeQ157LrD/Mvczho1alRrr6JoNGSLGdn8Tzk6wDlJvj2LNZg4WZf54ADUaVKk8h0SrQdroxh8SdlzMiJkhQ839IPiInmQRy4hIjs5mTVfYjf1DLbyXZzY5bA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=NIqSvwNH8bE+GJZXmuaLFR1YLCJKM5PGF9kx87nhepo=; b=EkEoQIDQBzitXWrgDAd2XgrbbAc5HnMRb6zbSIDbqeW+O9C5uR4djHquZRvuL8ReSVtLoW5r8JzTEjpS5uyv6m0zGj9O8YzSd4GQGq7eTCTAzgv1SIM/Q+V9D1rob6BQo3TOxwpPxEM4u2RnpD4nBxZZQJiKCkWfrKu1Ps6GZEC3exNDpW5vjJCWxkdsrEBKk4uK9zhKyh2l5tmn2/w8OoTLnmTDT24X9yEwFUuvwckt182YTBQg1O+7d/sHdHlYhFhMD1XPJiGkMka/YL8ZdOc9k86eX7lDIA6I7Z512nYeicyKIOr1epYC9UB2Icyk83VTLQtXdU6TmZ35s050mA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=NIqSvwNH8bE+GJZXmuaLFR1YLCJKM5PGF9kx87nhepo=; b=0SJ96ny+2elXQVpJKXs18CIa8O4ALFt7aD8TLt9OkAT8xD7pJtSTxU0IFq8rmPmdNugy3Zwer6ykTPZg/NWfAKpD8m7SGZnRYDbOVsU7ZqevvLQPveSAV2bjkLF0/Ux1CT2yvwLrRqai2sCKtbJwIlcLTUMbTfkYJd8OxWTjMhY= Received: from CH2PR10MB4344.namprd10.prod.outlook.com (2603:10b6:610:af::19) by IA1PR10MB6193.namprd10.prod.outlook.com (2603:10b6:208:3a7::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5588.17; Sun, 4 Sep 2022 14:17:07 +0000 Received: from CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::84af:9275:f1d7:de1]) by CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::84af:9275:f1d7:de1%6]) with mapi id 15.20.5588.018; Sun, 4 Sep 2022 14:17:07 +0000 From: Qing Zhao To: Richard Biener , Kees Cook , "joseph@codesourcery.com" CC: jakub Jelinek , gcc Patches , Nathan Sidwell , martin Sebor Subject: Re: [[GCC13][Patch][V3] 1/2] Add a new option -fstrict-flex-array[=n] and new attribute strict_flex_array Thread-Topic: [[GCC13][Patch][V3] 1/2] Add a new option -fstrict-flex-array[=n] and new attribute strict_flex_array Thread-Index: AQHYvUIJRmfyRvkryUqNuTSLEYmlxK3JQbmAgAAaPICAAAltgIAABTYAgAABSICAAAQLgIAAAMQAgAAB/wCAAAUjgIAAHkEAgACCyQCABT6ngA== Date: Sun, 4 Sep 2022 14:17:07 +0000 Message-ID: <37F4ABE1-E8F0-4D9B-9488-3F2D566A4CF5@oracle.com> References: <2C0B6A60-A27D-4B96-9559-096712EC32FA@oracle.com> <6A951E15-051F-4DBB-97B0-F51DF1E0F7D6@oracle.com> <792FF180-4337-41BD-81BE-D695CD2623CE@oracle.com> <8C38E8B1-FEFD-43FD-9FCB-BF35E4D40E40@oracle.com> <202208311517.68258F82DF@keescook> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3608.120.23.2.7) x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 534d94cf-714e-4307-4d91-08da8e802674 x-ms-traffictypediagnostic: IA1PR10MB6193:EE_ x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: jiHLUvEjYmQ741Uh+1neEejPnj1mpPF/v2O0hEPWSk69xUwRJdjVaOvMnmhWzoDbcB3/2YgNGO/yXfjpAvyj9HYFQxzgkKUE/nPNn19bvNz0UfLh7/AQs6M+fn+a90FL26iNjgfw8G7ov+hQJDpPc/hs6PI//qwpkzO/y9IezwAmGQwbSTQzzf+2csz8qS0HIvZkEIUsEcP4Dg2NjfqtXZqxckv2ck5aTQSzIKcIExt5mKPxt0ZCE1XBxS+ZWggrCSyUh/rOBm4CyP3TJRJEXsZKtb90RXGQ8hueat8GTREOf4EosMFLrHECYs/DG40iQJLMea0uhkqz8RqX56TF/cI34NJJj6DlGp0iST377e+67hr/elnYRG5JTa++w2FC61FYn/2M6L+4OBYmIT/nVSGt/t7bSTsqbHm5itfmENSNJeuywa++AsPlWldObeN8nCABMPEDD3gfKbm8GX2EHk9ktilttx8+vvyIOe6pWLQDU4E6nRyCs3L7coNCbDS1rkpyonZ6lNsBUXwZcFXwWiH1MvX8//fj8PCUWQ3GxWUFPUHma7pKGx7XOB9GCWnpyCt0MvAJYvs9iJK6Usfg5ozbA0t6nik/hBrsVKh5Uzb+zvqFeSor5DSxffihKlmglU2T9FcLyhCreCQeCDW1ZlMyVHT/FGg7kj5F6bZw1pqmPTm+shzxf1dwT0C5ghuFVefnWpNmAUKHlXeebHkUkIofT23Cz4NBx7hvLjH4CAMaD/4VAuJ4I29sUxj1OSI1AEVjpitpEbbFuKyNbsfOvdZt64tLFx/J5Opnn+WwWTM= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CH2PR10MB4344.namprd10.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230016)(396003)(136003)(39860400002)(376002)(366004)(346002)(8676002)(36756003)(2906002)(41300700001)(44832011)(66556008)(66946007)(64756008)(76116006)(66446008)(91956017)(66476007)(8936002)(4744005)(86362001)(5660300002)(54906003)(38070700005)(110136005)(316002)(33656002)(4326008)(6486002)(38100700002)(186003)(478600001)(122000001)(71200400001)(2616005)(6512007)(6506007)(83380400001)(53546011)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?0pUCDHQuQEjsuO6EIVcLaWkf+NQ14w4onryDye2jaA3MaIw9mlByi1jAgRWA?= =?us-ascii?Q?otR+M3gE9lzAjBoNC+lb1HPCbypTKALLC6kSGQExqotpWkroOMCu24dFkS6e?= =?us-ascii?Q?3j1t7VPm2B06k5xAAjjBSNUmK2zWahI3HHTes4xGcXFgRT7EnMUJoo3awweF?= =?us-ascii?Q?+kByGiuCZfnNHyQgOQLuO4xlchztv4aF1wzLPJVI8JK/A3NOl1b9Ai6LumH7?= =?us-ascii?Q?XclrqSHSbXfVIxHQBykslyJPoZ5UcZKD+FVQfcgFmInis6lJ6eFRVp9DRRTH?= =?us-ascii?Q?EufiGJjEF7akgCCqC/1zQTXh7C+VztyUwCl/j+YrXOb9dLsqvt3M5xPYJ4A6?= =?us-ascii?Q?4ks2TDsjJIq5H6voIUCsZegvd5aMJQoPkELLcyD0RfFgFDSdsI4i+4qpfdfN?= =?us-ascii?Q?2o8lazXpxoq2gfAVtsXuVwzkyquI8VoAPpLlrhyJHo8VhPr5U5NIqGSrVU4I?= =?us-ascii?Q?iXkmBr+dGPWho/EWc3qNSVQSBmw3ebCO/QeEYRVpegEaU/v6Uf+HsM40QcT0?= =?us-ascii?Q?NYxa8rXZcXakVTB13HO+TLR8lp31u0pMEHKXsCxXqN76Cx9Y1/5NxznVtD5F?= =?us-ascii?Q?BGyBIf2mchrXdQyhLurxyNewwaUa5PV0NA82CicyEvXAI6klWf2TC+xoHzX1?= =?us-ascii?Q?/ADdd6XOjvJhFBHR9+eqyZvin4ULORexZ3fg6IzJ/8Hf+yo7wh07pisJKlj4?= =?us-ascii?Q?Uix4NZ96wOGMxYyvvCUwgt3+XOKZtNo6JSiWL9F4f16inWkF2F15A7CkgMJG?= =?us-ascii?Q?i8jb4JWVKkNb2W8V2PqwypG1UGGuZehaFTylTA6imv2gAFQBHk3lZqFYWqe+?= =?us-ascii?Q?yQhTVzI37MUBKODT3WxwiNd6msPMrJXOAViwJ1xm2Xs9k5tKFJ4pX3Z6VZpK?= =?us-ascii?Q?hcWkH8aSYifVLlFFXZ+gFVstToUysCC1lPYVwOVRT0qAPyvUlksb4fU0IAte?= =?us-ascii?Q?+5ZUc4Ti29K8wn20YI1tGPVYstgFC7TLEsNK8GGuIuj8o7LKQ17ty7j0VJGk?= =?us-ascii?Q?cUGUdHS3BJFgQqJemlNosyAnZjKT1sWoOFxOHIPQSA4es+9lACnO8pSUDzYX?= =?us-ascii?Q?94UIJzoKTpqMHrWQIDapX09pMYdENqh6gwwiLd4diqHfhnHQguGJV5lGUxI1?= =?us-ascii?Q?4Ycsk4H7mPSMzFBSQpo4SMSUnnOQk4iBul43I+SjiW2Z51LMRRjCkWs4xQHz?= =?us-ascii?Q?URLCX4aWDWBduCm+8lrC3ztdC4ASqrjDyShFWuxaDGGnGTRolYZuKXEDKrYl?= =?us-ascii?Q?c+G9IiXPPmMRxHOK7JjqFiNN1s+cOoY1viBKGCAQdH76P0uAlXKegxbpzBzK?= =?us-ascii?Q?OM5LmE8IdA6vmeKzdvNsz0ZPLyfiy9BsAarRQdZHUxdYd4uoHj+cGXPFSJLK?= =?us-ascii?Q?g/Uhf2O2+bx0gj5NlcMIAWKURlcnHm63aDfcrqozeYPRuf6PxLJYcc7ldwoF?= =?us-ascii?Q?yrNNwEupduzCcwlMMrCqsItiDEI0Lqw8QXLsw1NuycC8ivu55ShzTTk1/hYY?= =?us-ascii?Q?gYnXpjDw7gVZga++af+O/1gjHf6m1Xk38O5zCLrIU2p8n0sglO+UJUA0YQj/?= =?us-ascii?Q?X04rfxV8kVefjOG4KTO15aJkTCgEAksIpG8lP/TMuVD+wRiYzgyDrG+XP77G?= =?us-ascii?Q?oUarWCGtX/frr38sGNEhr/s=3D?= Content-Type: text/plain; charset="us-ascii" Content-ID: <4460A063DFD35340AA6B80A863129C33@namprd10.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: CH2PR10MB4344.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 534d94cf-714e-4307-4d91-08da8e802674 X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Sep 2022 14:17:07.8304 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: ohS0axk+02ApWcqzgJ3NgXOpxVeemyRWGR52T9ngmwR/PhhxjCi2JUHo9eOQJwOBvlgz0AogUadUAxQAq7IhwA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR10MB6193 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.517,FMLib:17.11.122.1 definitions=2022-09-04_02,2022-08-31_03,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 mlxlogscore=999 phishscore=0 mlxscore=0 spamscore=0 malwarescore=0 suspectscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2207270000 definitions=main-2209040072 X-Proofpoint-ORIG-GUID: M0mjbLMXoth8FTdp8ov_MEBO4MgY84_I X-Proofpoint-GUID: M0mjbLMXoth8FTdp8ov_MEBO4MgY84_I X-Spam-Status: No, score=-5.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE,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: Okay, then I will delete those new warnings I added in the version 3 of the= patch. Thanks. Qing > On Sep 1, 2022, at 2:11 AM, Richard Biener wrote: >=20 > On Wed, 31 Aug 2022, Kees Cook wrote: >=20 >> On Wed, Aug 31, 2022 at 08:35:12PM +0000, Qing Zhao wrote: >>> One of the major purposes of the new option -fstrict-flex-array is to e= ncourage standard conforming programming style.=20 >>>=20 >>> So, it might be reasonable to treat -fstrict-flex-array similar as -ped= antic (but only for flexible array members)?=20 >>> If so, then issuing warnings when the standard doesn?t support is reaso= nable and desirable.=20 >>=20 >> I guess the point is that "-std=3Dc89 -fstrict-flex-arrays=3D3" leaves "= []" >> available for use still? I think this doesn't matter. If someone wants >> it to be really strict, they'd just add -Wpedantic. >=20 > Yes, I think that makes sense. >=20 > Richard.