From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32]) by sourceware.org (Postfix) with ESMTPS id 79A6F3858D20 for ; Tue, 30 May 2023 21:44:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 79A6F3858D20 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 (m0246631.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 34UKO91P020888; Tue, 30 May 2023 21:44:08 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-2023-03-30; bh=5T0bVgSH75I2JfSIAiOQ1DYBfg3BgDpXyFzQ9RUorfQ=; b=dTViQw+SrsPjDEjlG/7IfJDQ9wpiz2yUZqNxtW+PplTP/1Ip9BLZKE5B0g9nm2I2B73v kvEX7NsTVlMY34j7pm4cQHneTu6k9ZdDkASQJikBZZjdqiRnT/1csS5p6kyVY55Q05j9 PtkQryTOyn346ekZLF+H7AZeX5Yu3MDokNL66QdmWWSr7AXBQjagRqINl/tcr0pr3Ms9 Ov5uv8J+TDCoYL6yQbxTDFqFHndRrs6WT3T87Sa4Wu1sUuwufEMZSSGy86si1JbBvy5a FXmwMnpPuURZ2PAelyTCpbjZNzaQvbA1hXTA1stCbYd0SpU9+WVTVeXSm5YAmzbbvpzP Hw== Received: from iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta02.appoci.oracle.com [147.154.18.20]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3qvhj4v0ub-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 30 May 2023 21:44:07 +0000 Received: from pps.filterd (iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (8.17.1.19/8.17.1.19) with ESMTP id 34ULWjPL000364; Tue, 30 May 2023 21:44:07 GMT Received: from nam11-dm6-obe.outbound.protection.outlook.com (mail-dm6nam11lp2177.outbound.protection.outlook.com [104.47.57.177]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 3qu8q916k4-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 30 May 2023 21:44:07 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jMs/08aUY/o/7jnySGarePcxmz9vLv5DMYh1Y31tfvicvsbAeYNjHReOTOeksu65ds+C/BH8yG0YA/4ZaePbXXxrO6X35pJIUa20IDrphfEjdrJEyYytDafiH7Mo73+l7Ksi9twdMU+Bk1lVo5sVvGO7H6Wsn9WdYBcUscNYXEEb4EQ/uwfRBcHCIcjiRvco8+VoG6YFfHh5y64J6sdYNH8dPIq9P9fGzLdjFUXlYb/GXuGjw+dy3jNGIQbGlVuyfciGmHslYthnsS0oGquuVRixyYi69y3zRbAgqTAguMy8Lna8dCCX5NNnVpegsMt2Ns8YHDVpWr3Jr4d3G7HFPQ== 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=5T0bVgSH75I2JfSIAiOQ1DYBfg3BgDpXyFzQ9RUorfQ=; b=GFMph9C1N9Oo8DaBERWDCU0ZxcRiBt5EeGWbaFUuNIaPtCS0iPWtdqHQxhD6BzmlcoA7ggYecxKD5tag+IFXch1OSeJld5SaIoKA/0A2T7kQZlHMEnhRcANw5qA3RWNqWWxnhUlAPtJgAwGAlxfUBWzL1bdJTV86I1u9dNOliiS1Fo0+A/06TP9hoIdzqLwXkYMFFCgo6p4JCoVtg1e4umaoapnsvs0Ca9W7kEuMlw8PV3gh+WmrXL8ziVMHbFCppTL1+jrYg2OqWpcyvLWU11ZII6kgdIlACCFdsuI6WMkERPMEJyAbuc16DxA7qeb5VEvCvXztUEeDzv0BlcgHDg== 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=5T0bVgSH75I2JfSIAiOQ1DYBfg3BgDpXyFzQ9RUorfQ=; b=u9Ip95NItd8GlSsIYp+8kGEWngtMdF1cK38BYkgmUwavcfTx2eEOBmTrqrqIaPx4+a+icyHBL5iNyooHxaQ4h9k8wRfSd3cPtPxGP3Nq/riVrBLmpgybxwQ13hU6gxp3AyvF94rEwIpmSucJJRXqweEU3S0ETrKmAMhhPkIcQ0c= Received: from CH2PR10MB4344.namprd10.prod.outlook.com (2603:10b6:610:af::19) by MN2PR10MB4399.namprd10.prod.outlook.com (2603:10b6:208:1d9::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6433.23; Tue, 30 May 2023 21:44:05 +0000 Received: from CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::346b:de36:41d7:b1e4]) by CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::346b:de36:41d7:b1e4%4]) with mapi id 15.20.6433.022; Tue, 30 May 2023 21:44:05 +0000 From: Qing Zhao To: Kees Cook CC: "joseph@codesourcery.com" , "richard.guenther@gmail.com" , "jakub@redhat.com" , "gcc-patches@gcc.gnu.org" , "siddhesh@gotplt.org" , "uecker@tugraz.at" , "isanbard@gmail.com" Subject: Re: [V1][PATCH 0/3] New attribute "element_count" to annotate bounds for C99 FAM(PR108896) Thread-Topic: [V1][PATCH 0/3] New attribute "element_count" to annotate bounds for C99 FAM(PR108896) Thread-Index: AQHZjyQM4cZ0Nx0hq0Cg9tjYZZoL4q9su3KAgAal+gA= Date: Tue, 30 May 2023 21:44:04 +0000 Message-ID: <2AA83C79-2EA4-4ACB-A3F6-F55C24A8EDF9@oracle.com> References: <20230525161450.3704901-1-qing.zhao@oracle.com> <202305260906.3E824D516@keescook> In-Reply-To: <202305260906.3E824D516@keescook> 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.3) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: CH2PR10MB4344:EE_|MN2PR10MB4399:EE_ x-ms-office365-filtering-correlation-id: 6166e7a7-7b8d-457d-307c-08db6156fd6f x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: fxv9IIjsgvHzZYqEyO4Qg69vmx+kkKOj56xA3Cd/q2h/kXxFGxLG7seLbbwpQ9IW6Y13id/hQzZsbd8BSvuvFpljecsNRlgXWr50wCOkzXZzw9NLV4dOAKeDntka4q4aC51PaCHdGCXHHN+eduTkP7r/hDTjuC5TVnJBtMbG8OqOEvP8P915shcWVWrEpWULvMoOo8ybMiJnHGro7h5roBcBv4xFdtd5vwp66MaJ0MjjjyID0eDb6pATRLx0SIv5ddDqBukWic2IrMhYvpsvapi9OIJvvPAYKUVAnUtX/rONRyMF3jS1/i0TuyDseFCIQRzx9TbvpaQhr9OlcjKvdgFXh1Dhl9pe3nbfx3Ts7CiVHZIWw1VPiMIHaTqsAdESGeNjjiRlMeDDp1kkGQ0Xp6i1EroYzqQv6KcGy8F7YIEz4eoZgI12jnR0TZpePDb8iq84tOjXV7w8UPx/DLuimLKZkvvKceqQMD+hJHvU3679dr6Oo65owcW1b8smfVSqGDhYtm816NxA5QFJgYhKkJArqHveL3zo7ZZ2zIMfu23KLU1MaGvNw831mh8C73BDSkrVllrS8GMfqJ+oYQH1qryCt/ElhJVL5ZHUjSWvXcEj+qRAbOqxOXJFw37zZg3B 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:(13230028)(396003)(39860400002)(136003)(376002)(346002)(366004)(451199021)(71200400001)(478600001)(54906003)(8676002)(5660300002)(8936002)(44832011)(36756003)(86362001)(4744005)(33656002)(2906002)(38070700005)(4326008)(64756008)(122000001)(6916009)(66556008)(66946007)(76116006)(66446008)(91956017)(66476007)(316002)(38100700002)(41300700001)(2616005)(186003)(966005)(6506007)(53546011)(6486002)(6512007)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?4ffZwg/YBLrfhafYqFxqhixxEDnqd8yae661FIthiUROa+EgCQTO20Lng5OA?= =?us-ascii?Q?9TsZlAHF6+I4TGwUzyfYOknZnsA0wDJFS5saDdGq5StIGhp2C/5iNaF/tKTT?= =?us-ascii?Q?P0qQ9kVkLLh8ivpJVUy/E8YcVwQ3RsZXDGVLiJmtmrTh8qru11k3OslT20Hf?= =?us-ascii?Q?r9w7eJBXamjFBBzCMwBq3ZeXmdhzNIPm46M319fbNA+SUVc5/KGRGjW6Up8o?= =?us-ascii?Q?X1k0cy+urr17dUN5sfRxaiqvCu3axap48Q7vVpIeLi8iH0wT4oxV1/2oLBYI?= =?us-ascii?Q?wlkc2V581Y/BZnMHD3mTM2l5qIVTRfCZGJohmgPlb4+UQWuQDQdrjg3C2SK7?= =?us-ascii?Q?9jokK/wGiBXSBVo+jn7TCoy0iYcC/kmqWjTdnZLsGWxGZ4Dbi1Wh8Pt5wMMC?= =?us-ascii?Q?IDBKkyBbtP/VqkJNpfVN8O9DuncE9UUUpSV4T3z8lmmOua7e80u/SmKhSMmE?= =?us-ascii?Q?TJ4nk21MS+gqg01s15+ZsvDa7KfRgXT/A92m5PRgSbPdYGElzHdk761QJ9Oa?= =?us-ascii?Q?LnJXFxscDmznmidFZI1T6NXr0tqwWWL9C1bzOoFjU3WZCmYGU9o9+yRCJ9vh?= =?us-ascii?Q?h6/nsz+Vq4JwF0NS6UyJ7rCVwVzlvqcONHeGqqNayUwzfw9Hjr4gMti95ttU?= =?us-ascii?Q?dZDL29VGCYzzYV34DsiTNFdRdQjjRSu5C5lpZU37xYJx8C4DmD1g3YErRgRU?= =?us-ascii?Q?4gQaIZI50MraJi0miLypMzQsr6wpU2mwW05cnSGrhZ0yFqk4LFdI2fWeJLN5?= =?us-ascii?Q?EnidHXQNqsWOFtbxwssLdqhQNcO4HDj5rTJXRPy358xLX0D8po0MphMObA/v?= =?us-ascii?Q?CSdEHaWkm7vBhj5YRRe1XclvafbCqGnNWNhULX1KkrYWZPT836ncoZvBuEIn?= =?us-ascii?Q?iaSHunnv8CCrdoR26ZSWgu6SoRpV2PCDqukNaD9+wioSOVPgpz1LbCYvwOoo?= =?us-ascii?Q?6ThncGmGPqH9ICuFDO4J+pc/2jNiQMTDIE67WZZmsaovgiYbOR83s2JuIIfm?= =?us-ascii?Q?InftA8+BNE/432LP4amd033d2NMvdRP58r+Ua2mX4CBoZ7PBYuKnPJjTmKN4?= =?us-ascii?Q?DLeacNA34SpgJaKW1oi//W3Y+V4sYkuVDMqDY4C5bivMrx2fh0KoDP/lniZT?= =?us-ascii?Q?JkC/fIjd0049kZk8e8GSs8ykv+UeXPyTQOfQ8sygmo45JacRVy4V+0aRXLwY?= =?us-ascii?Q?CfY2S3sV8oYaw8pyJS1c+u3YFAGgxrl9glcrqjK74zm5WDlKj05MBdQXwh2j?= =?us-ascii?Q?y/a1ycLxcwDiFOY03QjGbVnY0XH3tsjfbe57Xc8ngf/eeRreIn3X4Hcv1+ez?= =?us-ascii?Q?K3OUsCELX90PeA9NeP3D9ahRSHaxr+oNuC7A2zIXkdCW+Iiv2xIpm9iX+Ndp?= =?us-ascii?Q?wxOI3SP59JCeLrmOa4GoeYeXk0/Xb8ZaaYCuJmdvZyF2ayUrvbaAWDFSiRb8?= =?us-ascii?Q?LGCGpCY1fDP5pi40JIQN7qMdl9qozMT/QuJ4Pe8NTgNEIlYQUzD6tnsS0qQF?= =?us-ascii?Q?i6feJA84TXU+qPtRA9JRUIB3giWjbZXpkwaFuDWzgbNDRGT/Y/V3YpEMQeaG?= =?us-ascii?Q?jxorLGOzQeqN0prT6Z05GAZ3EMjrhRLhVSEYMQbMFvMLnZvyvZ0P3HV461hC?= =?us-ascii?Q?Tsf8fhyjsOMQrcXYv6M2TcM=3D?= Content-Type: text/plain; charset="us-ascii" Content-ID: Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?us-ascii?Q?DkmCxm38fOuB3gzS2Wh+fPEGEHZpl9Llv1N69rYz9sK4/SDOc/h5f41EImxB?= =?us-ascii?Q?AHcjVSlmL2xJEL4RaO7Yd/y39+OKnUPds4Vi5FhAR26S4Jo7rf3pgwGsmNJp?= =?us-ascii?Q?6I3KmpRKvAhmb30eAFOFJr8Itx7oT8T/M23fGKLg4urSL7JDFPOI6zFc6pOo?= =?us-ascii?Q?WCOHnXz0kpuobkf3CVHy8X8i0kgfMzWPk1yD+HT4BbS5UkryKVenQ+Ft7VkU?= =?us-ascii?Q?oPVFBV4YCEkZp0g4wKoUhTFCZnD70eHSE7TuHlpvJlzFelDL+qE5FYDw11B7?= =?us-ascii?Q?y9fM2Kgm0zFdClUbStDFmAXjHNUj9i3rt6TQBEbPcliSiA7QvhyBn8u02m4t?= =?us-ascii?Q?qHgnyf1D6ajYB9iXutIdUQOywKAIkYt4PhD9aPWSfWXodGblW3WNAxDwGhN+?= =?us-ascii?Q?+tnrznoLhm9ExTNydq9bBlh0d80yi3GlTow/3/Ulflq1vT5CJ36xIdIov4pp?= =?us-ascii?Q?GbCzPXtimthdigfdbYoK6jbKFXw1OvBKrt8c/EAqThNdwenoO1Kbuurf0bxP?= =?us-ascii?Q?28+5fIdA8xKXVYSGR0L2L2f9/xDRsL48Of2vLV84TzEKnKp7622Y7o4BAsfF?= =?us-ascii?Q?wssrJEfAKDPoe/tfdtyGqWFRjM4ZxXAItm68lSIrxNqYlbdnlolv15RoHWfc?= =?us-ascii?Q?4ivpRTmTeDoPVE/28Cto3hkEMAQvdFNpg0MyG7YtqShidk6ouQtFG4VzLKtu?= =?us-ascii?Q?6PqCLeKaNd8PDf8uMgpWcerXUuRjnTOTzBhx+3BgsPJtniZUWM3am0j9zj5G?= =?us-ascii?Q?Bppce+T9tmt1YJJp4jZJbxKulBchS/IZMkZnQA/+JJH/bWiVWyHdoaystOzh?= =?us-ascii?Q?A6NjajqD32keK27Dd2PTO2G3yoHgjkPhijCzTEBy1jr5YyWI0F/nT5FGcEvi?= =?us-ascii?Q?IQMXTClMxw9K/5nlrofP9Y+SKdA8f7A7LUJIiy6qZJlr9ALIFRdZKP8c/NWj?= 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: 6166e7a7-7b8d-457d-307c-08db6156fd6f X-MS-Exchange-CrossTenant-originalarrivaltime: 30 May 2023 21:44:04.9557 (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: Ni6pz9PxsMMPwfUGHV1vUB2DwB82OqWdaKTLo2SyPiLDch7kjEkPkrhXbbO/tVTa4zj1+38RTt3uXnBsR5V4EA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN2PR10MB4399 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.254,Aquarius:18.0.957,Hydra:6.0.573,FMLib:17.11.176.26 definitions=2023-05-30_16,2023-05-30_01,2023-05-22_02 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 mlxscore=0 mlxlogscore=842 suspectscore=0 malwarescore=0 adultscore=0 phishscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2304280000 definitions=main-2305300176 X-Proofpoint-GUID: t6x00xQ5cQWEjgpbwFq_lJqA4XFneEj8 X-Proofpoint-ORIG-GUID: t6x00xQ5cQWEjgpbwFq_lJqA4XFneEj8 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_H5,RCVD_IN_MSPIKE_WL,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: > On May 26, 2023, at 12:12 PM, Kees Cook wrote: >=20 > On Thu, May 25, 2023 at 04:14:47PM +0000, Qing Zhao wrote: >> This patch set introduces a new attribute "element_count" to annotate bo= unds=20 >> for C99 flexible array member. >=20 > Thank you for this work! I'm really excited to start using it in the > Linux kernel. I'll give this a spin, but I know you've already been > testing this series against the test cases I created earlier, so I don't > expect any problems. :) >=20 > One bike-shedding note: with the recent "-fbounds-safety" RFC posted for > LLVM, we may want to consider renaming "element_count" to "counted_by": > https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-c-fbounds-saf= ety/ Yeah, we can do that. thanks. Qing >=20 > Thanks again! >=20 > -Kees >=20 > --=20 > Kees Cook