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 C0CEA3858D20 for ; Wed, 8 Feb 2023 22:53:37 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C0CEA3858D20 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.19/8.17.1.19) with ESMTP id 318KwmZJ002945; Wed, 8 Feb 2023 22:53:34 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=ZDQg10Ag/AL8r+QWZ4k/ziNVr5Bi61KXbRBljSxUkag=; b=NzZvgKTNAKnSUQ3OscHnrsOaqfJkRtBlidvAE/NyX7Smckw739pZ9Hw0e8jdqaKgvOYw A/8TKX8O7DblUy7rPFHSxnKHqNkXZHHhQYVOUuTz2bmhpNL+HrxJTTuXty1wg20F1fv3 THju72Yx/ZBgx4wk0hg0JukWXxXmoir2lsPhLLfRBUAt0/R9x7OKEoSMWkkcnQQTvNfo QwtF0X+3aWfIsOkDR0IHN2b1fGUYoRn2mBH4VaJFs96wcnJPcoSgs7Mw+TtTWKUoq0m1 Zyk1tEo0RZviVkBFjMTAIkjEMIJKbO+QD1UH5yJ6eVmlspQ+P5LIGKhIF0e0icIk3h/z DQ== Received: from phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta03.appoci.oracle.com [138.1.37.129]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3nhfwu9f1b-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 08 Feb 2023 22:53:33 +0000 Received: from pps.filterd (phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 318MhWKb005847; Wed, 8 Feb 2023 22:53:32 GMT Received: from nam12-dm6-obe.outbound.protection.outlook.com (mail-dm6nam12lp2171.outbound.protection.outlook.com [104.47.59.171]) by phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com (PPS) with ESMTPS id 3nhdt8cxms-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 08 Feb 2023 22:53:32 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XnUVhqZskuyNLSpI85j8W7aKPkt+rL34GAdkfRaB+TCDDAMGGWk9TQNF/k9+4k6d3icpO+Q9dpxb4d6We7I6aOl85XDfudz7j7aCUsSBylTLInHAGmEMkRQAWVX3dWiFEtxWQlgxHQsk3yL6O8wtbMrcVoWQJbBL11VQCPggygSkwk/LGcNgSFEFO5z2HrjxQIqhlNQWSqY8oEtLPqF5ZJt8AArzy6z4nEoMKjc9NmBzk042QNzJX6CzS6o1i937mvPxpSkBnlPWhjo0ra519QHufmMJyCvd/SJXyi/9ubVR95kVsr/d8rvA6pqqybFYrBpZD5Z/I9locBoPE1bhIA== 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=ZDQg10Ag/AL8r+QWZ4k/ziNVr5Bi61KXbRBljSxUkag=; b=eT+vu8uVVMmQnA+ENpkw0vGRpIsqQOBoEseWxH1972R2PSwqYn0E6Ei/DbwBt1rx6gQBNzazBqBkJNZbiQlhhsxR2hp7B3lQr90Uj1s/zj5QzvS6R9kJyLMWjcTj6oF/DILqWn1nPQDC4eyDWKlZHGmpeiOuVxTmhVS4KmqBYVbtcGFPiUYgvmPqQDG+nZziL9f0ubqH9pUQNBzDX90eSIdDyyDQLDCvP3DExBxSFGfr7zznuIVoac7OsC1jT00dnNqh+77murJjsC0nWV3j+s8PO7MENHICpFnv7suS0Oap/sMvaYIbkzyQldij6sb7VYci0rwZO9u9bk7kPPmrSQ== 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=ZDQg10Ag/AL8r+QWZ4k/ziNVr5Bi61KXbRBljSxUkag=; b=oyCgZ6d87koXz7Wr1BnkZYBmadXCzikwjD1OBIBNybLdgbqebq203HV1do3kVb42h+wfrLRj4yq6t7i5jdsYFPuO4pmDENQ6iq4kVNfkeP5U3HG0Oc7ugCup/r6SGMG34ZkxLLh6hMljFgHzxfp/AN5LFLLfZo2onWL67CB47f8= Received: from CH2PR10MB4344.namprd10.prod.outlook.com (2603:10b6:610:af::19) by SJ0PR10MB6431.namprd10.prod.outlook.com (2603:10b6:a03:486::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6086.17; Wed, 8 Feb 2023 22:53:30 +0000 Received: from CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::7030:ed2e:20d0:cd5b]) by CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::7030:ed2e:20d0:cd5b%5]) with mapi id 15.20.6086.017; Wed, 8 Feb 2023 22:53:30 +0000 From: Qing Zhao To: Siddhesh Poyarekar CC: Joseph Myers , richard Biener , "gcc-patches@gcc.gnu.org" , "keescook@chromium.org" Subject: Re: [PATCH 1/2] Handle component_ref to a structre/union field including flexible array member [PR101832] Thread-Topic: [PATCH 1/2] Handle component_ref to a structre/union field including flexible array member [PR101832] Thread-Index: AQHZNX31Ed6QQ1+7j0WzPTRpR3Dia665+UIAgAAsBICAASqFgIAAYHEAgAAAkICAAAwiAIABIE0AgABbkICABHfFAIAAVduAgACQPICAAQZgAIAASaCAgAALK4CAAD1ggIABA7+AgABDzYCAAAMrAIAAO2sA Date: Wed, 8 Feb 2023 22:53:30 +0000 Message-ID: References: <20230131141140.3610133-1-qing.zhao@oracle.com> <812910BC-870E-4432-870D-538024F1A510@oracle.com> <3B30CFBF-5004-41A4-940D-1F23C010403B@oracle.com> <4E515AA5-2069-497E-A301-EC8ED744E780@oracle.com> <367EBE15-1675-4D29-A9C2-A4A57FA4DB62@oracle.com> <2184ee29-9a36-e85-11c5-81c47aa22055@codesourcery.com> <91678405-D50E-405A-98FB-F3BA6888577E@oracle.com> <2AB95191-B5D9-41AC-916A-C57ED20DF55E@oracle.com> <17bc7992-23b6-63dc-3a3a-1be016d3bbb@codesourcery.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.1) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: CH2PR10MB4344:EE_|SJ0PR10MB6431:EE_ x-ms-office365-filtering-correlation-id: e0945892-ffb0-43a4-054d-08db0a274c30 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: DHqFnEk4lQ7j6b2j2HyGmCzp8TdDUGfupxGDMjAq6gIb1+ShgS1ktu5NNtmxeeOAgoeMdjv+byVwJPgByJry1iagLCW6qFkvxhsBnU6MIcnPSXERQqOjc1XGLRb0GYWlh/2hseELJr5DmjV174xEqLdwaYM2iOC/TLYC99Ony0QUQDWdUUPcRZYm4zf6b92ShHj6YF/3oTESe7lGmHFWRh2K0CDm8vpzAJzs23kh36Ii9mR4AX1DESlDBZ5nIAiQqsGJ3nMLSeY06g6DhYjZp4mWPoJkV8zttf6w7i65xwnDO9EXOJ9fkMi+8EUFbvuDk308krCSVxSCZFuXwLyj4b785S4S7XYZZ2Xa33F217DAhXdgrJufpjIEj42sZLntTsfuCrn8JBZjhHLwqriO9gsL4veQkTcW3vG1IpsUXdR7n8WpYxaI3bPF8TzBYV0EW9QJN0adiT70QhJs49E5BOip9LB6YK1JE4sAH0A/DvTWe8iFaR9MJsbQMmmtDNcnuK93YzafBb9wpCm3NyOw0c+lJnGeTlWxcxqV73/vTaCtQl+KldQ30PDGd4aT+kFqffiznAa/ah6xcyJSOWRYYiHQrWeqhm/CNouNTpHcIRRJny8PqzJM2jx8aXZ76mFhd4ZZXrWjd5QYZCKUCSRv0/WRYmKPkTfmGB8NVd21Rji0m/pcVuE0x5EK9Hr307pLJWBDiRz9fXOraqKk/wtQY7nAHlIVjSgkMXJB8VVgV3I= 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:(13230025)(366004)(136003)(396003)(346002)(376002)(39860400002)(451199018)(316002)(33656002)(54906003)(83380400001)(71200400001)(186003)(6512007)(26005)(36756003)(6506007)(53546011)(6486002)(2616005)(478600001)(8936002)(38100700002)(2906002)(86362001)(4744005)(44832011)(38070700005)(5660300002)(66946007)(91956017)(76116006)(66556008)(66446008)(66476007)(122000001)(41300700001)(8676002)(4326008)(6916009)(64756008)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?lENd1DkZSeZ17GQJsEAxUlKodSysBhdWdi/uoHUcP8v+K+L4EGAYHC7dAArE?= =?us-ascii?Q?cH4Iw8UVsNNMxIg4Zwt/qsEvDiTG/2h0FfmfTTwEqZeQ/+HV0lGqaQZD1pBM?= =?us-ascii?Q?Ve6Fjtt+bpylBsfkjYwW/pHAiYvzQzYIdWVw1zNW36cmuC9l8k6J0Ymrvpc6?= =?us-ascii?Q?VbLJjczNFlKenw6DkyVr44J8MgW4Qaby4oD96B/UU/qnip7SIuWr5es9qeyj?= =?us-ascii?Q?2sSPDjutx0yyDEaGvgvPyF5Y6U0L9KxCrsqdUIi5tRQRDvpuVH9KUR7tvfym?= =?us-ascii?Q?2ejYU1rKMg9Quecx6EdqkjaANVhWnBD1FqfsDTzZzCLSQvwmz96GoWAtZLkR?= =?us-ascii?Q?rPpMeS9JyPPKkUQgAufRUBgqg9GpdFdRzWCSIihGBkQm54bVRSx2wQYmFDEx?= =?us-ascii?Q?6lYnzwl8tpRZHK10tm59bqYKdnD0CdZTVqfVvRVgbDXGHZWK25RJNWU6TCOB?= =?us-ascii?Q?QAapcIiFl4rUpygdk9J4v+nzEg+tQOrSk9XGl7N3ji7kSm7RiBBl2ZehBB3t?= =?us-ascii?Q?Mi5Z5h0hE6ntS2o+L3bF4eKLzpxHkhkjxbTIlzeKMfLtz0sCHSkBMbiKMuXP?= =?us-ascii?Q?dTtfddDxjjRdAn9jvhGT8FSLw2PceS1wnGPEW+ne5mVQGZPvpuT0Trd7Ro8o?= =?us-ascii?Q?4mrfGhXZ/YU9LQuI9+m093x12V49Animq0thGptl79L74Bm1TyUY2B1zgT0R?= =?us-ascii?Q?SkKYz+iIeUj2AprenMetUva/o4iF7Tj6BDkmBzlK7ev1yc8nHyfmqmz0SIVq?= =?us-ascii?Q?sM9+mTgqgXV1MSjKF92apupZRUzsF8ayNY5Sl6tmbxlwW3ND1uIVYVEBt1xr?= =?us-ascii?Q?ZI/keurgKXftKp79CMcE1MUkfnujYn1Jgqoz5W9kZ8sJBmp/vWuqfb9hVn+r?= =?us-ascii?Q?zrO7eenbRzizmbmiOE1nZ94r44lTnPO+1lS6GxkOY4wmLVhIMfZU6pmgqp7H?= =?us-ascii?Q?lFDu+TKHOWkf2lFm9I31L36fSXBctnOCbrhMuVThDzHex9Huc2zYLRc4FALZ?= =?us-ascii?Q?5FAiJfha5LvzQ+yqOqLhcD6jSKxs+V0TAjZs1Zot7nrsEnBfuJI8L0XG6lwv?= =?us-ascii?Q?LIH/OPJKVt7M/aQda5rb3unvKOFLEpAvzoAeVOZjNHcL/1Yz1eUKNLMGXb+v?= =?us-ascii?Q?kXn2jG2cCuC9MjAbZ5yWxlMJIlZL6wLUmeg7XBA2Q/YUNuSvuD/UJ4+pwckr?= =?us-ascii?Q?Dt4/Jq7Y5qBIwYVQlKVh9CzfNSFE6BvBcuIu96QPVmpXngk6a6cLONuPLK/c?= =?us-ascii?Q?uDkySfQe7NV5KqkBFK0nlvUGMo/wB4pk9nEx4k72HWHjgF80bLTlRlo8PmOz?= =?us-ascii?Q?iLJB8bqqh4wQ/CIdGooCWqOEY/U5PQRnRnklJBXNBMssVXJ7vmvcc3Otf0od?= =?us-ascii?Q?MMJ3WQSXWO4E/vU5YGXTARWIv8tN4p2gZoxfIxZB/DBM1YMkE0qqhs/tdhWj?= =?us-ascii?Q?DszJPZ9ySmOJpKeapnuXv7nKarkmGsrX+qRhWSXs8xeXwStBEfxhyp3YzppB?= =?us-ascii?Q?xQd6hQVaQ/zDRgHDXIChxfuK6K1hHtLg8lZo6Aea5t3uLfTb0/i0laa6Rias?= =?us-ascii?Q?XDrdv3rW8dHTJbFdWrp2nVIflbwDHGvkGLcuq28D?= Content-Type: text/plain; charset="us-ascii" Content-ID: <37AD2F29E9D1454580B108CF1E07FF5E@namprd10.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: D2V30IXjo8xbLppuTFbr5C1gs3pvt3tsPMvPoP4ScgPBjBS3bjD+uHu0E2SQp6PGZgw0qgtZthuCXTdYCCi/z6uJBTGzA84v/40UGnecK5LmaUn7nr/vTHl8a5Ut04Zxcrl55r3kay0nrx3oohhuk0MJcvYv/LREAnlZGJtBh4vuGBFo3jR86r+11PzqECbaz5JVaCI8bAYlJR5bfL36kxiJzmshiN3tJ7UUUggYqT1xZAEdZqU1FbdMa4+ASTBTt8h3yzARz+bS9GsWQfMYTtjnwMFD2M4SGbtyH8LM+aaBl2YgPmZLJzdyQaZZLaMy+7rjPYj6J8gmpe9DKk7T3JN/FGCus8xemtVcus8Hdir2pqdxw0i65jXorl5+PBiIc3xKggojDatw50bjxVWV6He0wAClnYCxlpcV+FaZRfViP2aSSoTAXWKVXmlHRm8xusD9SEK0ZcojDFWnXmrrxg9qWiaczFmUs4fhF20bTiM/vyH47YIMZjga5mm/hw0ChcjbnEvrADjbKQC+HCx8KMAULltVJP45lQTTBbtRmwQB/osrUtFVASQfKEwO+TQHWNTyLiso3MxkqYz0Wo+WAhpGjqT3hAmcUMSJpiwJCVKWj/fSfhZ64YQw9+px23OUemp6huH5XxwWxUrZk6I6t0vBAG/lbJ4vYeU6UYNK968lgHKTTPXpWP8lHM3yVHkAX+H4sgpyOTWix7DBgaAciFAbvb/dzZYxyucsisYb/zbkE4O70RGiPeba7qWDKMsFMOZkKfQJOmUpge60fcwhQjObkeAPqbPXDLPh6z46ScODqw1RoVEBwkz9Q3z9vOk45MQu26ErX9KUl/WrPwrJDwMyppHizu79/qsOQGLloqp/AqUaT/0Ms6AkS+dTEC68 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: e0945892-ffb0-43a4-054d-08db0a274c30 X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Feb 2023 22:53:30.1118 (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: 2pjRWAHxWgjZG0JH39DHt/7doQpWYFggJn0FuTfoI01X0XQ8M+FxrFfUxt9shrCllvntE10NHdU2QhuJn+VDKg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR10MB6431 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.930,Hydra:6.0.562,FMLib:17.11.122.1 definitions=2023-02-08_09,2023-02-08_02,2022-06-22_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 suspectscore=0 mlxlogscore=843 adultscore=0 phishscore=0 mlxscore=0 malwarescore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2212070000 definitions=main-2302080194 X-Proofpoint-GUID: 45730MeuaZaTIg6tG1ceJr5CTxJ55Qjz X-Proofpoint-ORIG-GUID: 45730MeuaZaTIg6tG1ceJr5CTxJ55Qjz X-Spam-Status: No, score=-5.4 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 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: > On Feb 8, 2023, at 2:20 PM, Siddhesh Poyarekar wrot= e: >=20 > On 2023-02-08 14:09, Joseph Myers wrote: >> What must be avoided is -pedantic diagnostics for >> struct flex1 { int n; int data[1]; }; >> struct out_flex_end1 { int m; struct flex1 flex_data; }; >> regardless of whether considered flexible or not, since that's clearly >> valid in standard C. >=20 > Are you sure about "regardless of whether considered flexible or not", si= nce ISTM the validity of the above in standard C is limited to when it's co= nsidered a non-flexible array. So with -pedantic it shouldn't warn, but it= also then shouldn't consider it a flexible array. >=20 > In other words, perhaps it makes sense to imply -fstrict-flex-arrays with= -pedantic? I think -pedantic might imply -fstrict-flex-arrays=3D3, but not -fstrict-fl= ex-arrays=3Dn when n < 3. Right? Qing >=20 > Sid