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 0DF7A38582BE for ; Tue, 28 Mar 2023 16:02:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 0DF7A38582BE 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 (m0246630.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 32SFxXdD006553; Tue, 28 Mar 2023 16:02:42 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : content-transfer-encoding : content-type : mime-version; s=corp-2022-7-12; bh=kNdJlMhUqzhm9j4998kqUJ/M7UJpZgy+fr1ymb7Kz1U=; b=RYL/VNVUS5S9EDiKbRmctoQpzFcAUREhilxyU9TzQA19yRGlNgVzL4Y6le8b847QtBDF k2qgGTkpTJQDoEKXav/8KYwSrP7/I0a6tPLBHyRzmSHw0kzhDUoGilySzT7+KfyKLOGD CPrpk44dPsxgSw+u8Nk5cAxqb6HCY6En4TPMrba5DbUIi+pQaD+ELeXsZMF2vNSxsOGS z1w+3IDzy3y3B/Nn0nBxTBfC5uSpioEkbBVLhr0N70dkYI/hrqEBzc7Ym2SkXdnK9xoj rKFBQ1SFJIptwFeJc5vdHDgM+Hr+86pgCgqksBqBqTQy2XWpUDLuVv0MqJu7C0dmzBMU tQ== Received: from phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta02.appoci.oracle.com [147.154.114.232]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3pm3byg0c6-19 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 28 Mar 2023 16:02:42 +0000 Received: from pps.filterd (phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com (8.17.1.5/8.17.1.5) with ESMTP id 32SEgQVW027730; Tue, 28 Mar 2023 15:49:50 GMT Received: from nam11-co1-obe.outbound.protection.outlook.com (mail-co1nam11lp2175.outbound.protection.outlook.com [104.47.56.175]) by phxpaimrmta02.imrmtpd1.prodappphxaev1.oraclevcn.com (PPS) with ESMTPS id 3phqd6k68g-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 28 Mar 2023 15:49:50 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fQAzruZoJwhquXv3FjR0Nxrpd7LidR9uGdclLenmsD1/sTwdi/Quw3l9akah1N2D1LErXWrH3SeMDjzF624XGl2sVX/wiSgOt8PhWKEASiQJPQc4Ctxx+QzI3cSmWuwGAFf6QdgUH5JhVw442S6FLXXAZagayB3msaPbXrYnNK0nBIufP5h2BDdWdKzw2xmiPskg2MDXBvVGCegsQaJfVTLOMzCLoKlGiw6kTnh3ijSdrzJlo7ioXFOfZmL0TQLz7uRr54sTc389hfGaioAbLfWhTcvp76/ZmqW4kg7Jy1hTdaDZNlbP2rFQmHxqmC0Gca4DVIBr0h1f+0ZuPCFrVQ== 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=kNdJlMhUqzhm9j4998kqUJ/M7UJpZgy+fr1ymb7Kz1U=; b=GEyNeIdiGX79ZcXDaMV2x7wJGIdT0pfnRyGOafud+v9sm6gkmWHH3Q24BFjCRmNhKIvMkGGOLjLZ/JAY9Y/TSvi9P4yqlE02OvJcquKm7efUpUnTaedY+NhtEUykzuif2zT3ei+BIo+NQb/oCAFnjeSODLvneSLaBUPqE+whtupaoPGEhcAYStasu7//5QoxT+dFCPnMvSWJTKu1TpkqmZ/JdIlTtmKUeb8GM0nsfZ8e6sM4yIQip5m1JnOe3D1hyw53jEU2S3oA91IKyeoOIUAE3ShUWlH8KtfBtRJT9bHx3hnigoFzxkLiLt4FwzL6OZy1DA00nSUKA91qdWsvng== 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=kNdJlMhUqzhm9j4998kqUJ/M7UJpZgy+fr1ymb7Kz1U=; b=ijazhXTTxQmtFR+WnzyBRd9n2kzgonTdLQe9eXLU1uPTliK02SynQ3iwl4fMphZPBWeVFE04Htmt5PkwpHc5vSFGgd6BwwbB1beNGZxfePts1yCGwkCH/bWzJoqGSllSzlFeWtGeWKJWyQi+Rq1Ue/ERYYjDCpzQTJg0wl+usxw= Received: from CH2PR10MB4344.namprd10.prod.outlook.com (2603:10b6:610:af::19) by CY8PR10MB6563.namprd10.prod.outlook.com (2603:10b6:930:59::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6178.38; Tue, 28 Mar 2023 15:49:49 +0000 Received: from CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::a33f:73da:f5e2:6c0a]) by CH2PR10MB4344.namprd10.prod.outlook.com ([fe80::a33f:73da:f5e2:6c0a%5]) with mapi id 15.20.6222.033; Tue, 28 Mar 2023 15:49:49 +0000 From: Qing Zhao To: jakub@redhat.com, joseph@codesourcery.com Cc: richard.guenther@gmail.com, keescook@chromium.org, siddhesh@gotplt.org, gcc-patches@gcc.gnu.org, Qing Zhao Subject: [V6][PATCH 0/2] Handle component_ref to a structure/union field including FAM for builtin_object_size Date: Tue, 28 Mar 2023 15:49:42 +0000 Message-Id: <20230328154944.3946619-1-qing.zhao@oracle.com> X-Mailer: git-send-email 2.31.1 Content-Transfer-Encoding: 8bit Content-Type: text/plain X-ClientProxiedBy: SA0PR11CA0052.namprd11.prod.outlook.com (2603:10b6:806:d0::27) To CH2PR10MB4344.namprd10.prod.outlook.com (2603:10b6:610:af::19) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: CH2PR10MB4344:EE_|CY8PR10MB6563:EE_ X-MS-Office365-Filtering-Correlation-Id: bbf77f8f-8a15-4765-cf88-08db2fa40fb1 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: jb0GgkieKnbJRl/RlGH6lYGqFMkt3GlHb353YWJF3gOiPECS3fAkIAWDE1cj1VqOWRG7h3Oug6RlQYXQyhsTxsCQcaUSKZAqqWEg0K003qcf9TTtSAZHsciuB/bdNMWPk3lXlzR7qlYAW1EoLl8h6+5oSr/JjcWeV5GTEu5Q4h+yl8FOA+3VEs43M4AMBLnCFiLcAQs/2tU7F1rx6uMosQcFMese3+uFucVA/tC+9/tK67/7xPdhnRNF5q53beIvRQ2Jch9nPJmP1rwRtY6Ipx2OTKUTlohSIzz5HlOQrILrqiNfSupp8LZsjfUr/zF4MNe9Uz0aGZTORMny2PB2r3tc2JhQ0HQpSTL/0XtDFc7wttjS8h3yCRo2NPCJkwbGp0UazJmRR7QrEVSeav8zDh2k355vnqD45CSDOoAtr4ehRr6Dv+ullwa2Dx/F7OgJ+PL2HFwlGy8MK4YUBAiMV7HDaNnYgu4RW04ORqSp/jKRIT0k6PZejSxVb5d8/Ct05o/+qIGF0ID0Mnmry9N2Q/FEROftt2gEy+a0zB56h8dOKaQjjivzVZtGwDJqAdjv 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)(376002)(39860400002)(136003)(346002)(396003)(366004)(451199021)(478600001)(26005)(6666004)(38100700002)(86362001)(6512007)(316002)(6486002)(5660300002)(6506007)(8936002)(36756003)(44832011)(186003)(2906002)(41300700001)(66476007)(83380400001)(1076003)(8676002)(107886003)(66556008)(66946007)(4326008)(2616005);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?KY12dY1vLXcSPc3VcEjXDTFOwG1Sc/Nzx/BcB0HyQeXs/0/nNiQ7icH8YJRl?= =?us-ascii?Q?O73YaIxKHtOoMFDxOM+UL5F5BvQnwHIOmDXtAhkzd7mEHmAPP36fmgCdQgFU?= =?us-ascii?Q?E+nEOtlAp4AvAjT9o4vKU+KLgxvcfjovlsUlGvnWpUPepqZC7lio8VshEi9v?= =?us-ascii?Q?J3SOV61YCiWsWbKy2ZCV9TCG0GwvdzxWQK+p1FXebaCGmEifS6oKnzvaBhV0?= =?us-ascii?Q?VUzsiS8zwxHIAeYgK/1TSYVv+4Yiv3sXxck5o+XUHaefpV95kYrGxCzVdlKW?= =?us-ascii?Q?NNs1iHql6CotN45z5qpWUs9Mg42iyDZVKkraaXqi9RrMlSFAOtAe9CjSHVj6?= =?us-ascii?Q?5/mjPZ7YzMKL/k/Gm3I8nTP+qSrXI0kK178i1hzowFEyzDFD1eG/hDL0MRIx?= =?us-ascii?Q?pg3TN5w6tyAiABXjhOTX+TzQl69XceKB2pU/35gYb8dgdkmJy8b/Nl4fvIQA?= =?us-ascii?Q?Yk3fIsddTuQ/L6kgnSxiz+PjMCFHa+WsGuZAkKwFc4naV/oGHORN+teLFmt0?= =?us-ascii?Q?3NaHqHJJ2jJCk/CxJIJO7bUdYMjR3PCzANrveneoZlSEIfA84o+23VdO9Kf4?= =?us-ascii?Q?Wg/Wu8H4MXQJ/GbxOg2E9JPhRvlwAZAH+Bdkqx2Qe7prre+ILZuWoyHvn49d?= =?us-ascii?Q?wgLWV5YsEDnQ6tolM4BzDWG6Xgyv8goXdN3nju491e8tY/30HKVugEP/6ekF?= =?us-ascii?Q?05y0b/16vCAMdKH7Q/kfa9F3SxXfF7ybpFo7W39ht15twRilzUoXtzWlQZgg?= =?us-ascii?Q?06/VA1tzd9Pf+FEsRuzvHwrI4h56pJfjtp2/KnLAX/guR6zGmkkB/mS9OOEO?= =?us-ascii?Q?10Xe69GXcId6A673a8pCtI4m/hoXzV1SfNOjFHHelpjsVPmQjsQ31GIpjxCS?= =?us-ascii?Q?LJhSy/AD6o1eoN5q3RIH3IK1ikmhAMeo34fUns53PASEfF06VkWVGEQSZAJ3?= =?us-ascii?Q?VY7oLOpWgGBTpCe3qw/Pijs1/uVd/OHYVSGaUtQDAV7H+b3wxiEvrxHF7KQ6?= =?us-ascii?Q?ENCLCUr8o8fqX8MgLd3LwPDji9ImkVa0KpYOaOPBAq7MaXIGupXCiK7UIBHH?= =?us-ascii?Q?uNEbDfOQVbv74NGidFJjZiweCycv4gXLaecvoFRKoHy4NeV1EjqM6kQiowSZ?= =?us-ascii?Q?9VFEAkGaimVw3XFr6EOwvMT4/JJBXXuIl3V60X874MtbAtLMmFAL9mEz66Ae?= =?us-ascii?Q?iDfaB770Vx66QsJ4HRXRYUYKbx1BX7YERjSvontUCtyXt//RoK5BkWwTnR0j?= =?us-ascii?Q?N7IEfcoCtVlgFOPJikS+Jd88CyyLxPVuuMIuW6SFTXm1zs19UQnsYlQRz832?= =?us-ascii?Q?4K88LRGdn2llRoYY6EhPyChpmVQK9rTFYT7uMCFaA/TCvp6I8AkQD/gHn2/n?= =?us-ascii?Q?h8T7JZkbCrlQuzhJZ/COBKJjjFTWrJQUEuovrGFO0eDAaK70KN+70msr0w0y?= =?us-ascii?Q?Dm/X8mMskHx1/BtVMuPHkuTL2wJWlCPExGbj8HCmkYKgZZodpjU9WbousyRQ?= =?us-ascii?Q?sFRx41Cgv6KSydcqklp2DUzi9g9NsOFcXbjYROwviOCXCxqVw1ZN1q/Jn7ZL?= =?us-ascii?Q?J81wbATKzpxtV273OYeUaylhexk+zbgM8eEUwVgD?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: e9EidO88OM2R2kgp+a0mVLLRQkM7UFq3HbsaYBX4ovexXUg/UnT7bcHXuxybsGzNdoGwva4iIM8TtffAm3+rFQSxLVIzl4VkFpiF5n/b13KKy848R/T7Vs7bDngKRQ3SKdgbiHalLdgfRUICxXv11kyjJNMUIkNWHruzAqG4UMr14S9tlwdLf43UDLhvls5zoW8XYQvRPww6wjFpQkoB170xIf4b98R60dCsGmH6wVrBzazlqtsn0yhY0TDH8T2YtIwpbnxE2/dG27LFqLzWKEI9mn+ng38N1sa3ZBthO+oa2sJ95lWQ4/vWssWPb3NvhhWd6dcBgVGF3LBAFr8nKzUFYE8l3x7SPg9OPxI0Y7fXYQoCtd79ohneX36qW/iEqZGq47AlPuqZMs6Nx38eqJu2N2NyQgbyJDvSdM7uMR2NjMGJ4f/vJRztVnt73eusKgLjdqUjyHY4ekSCn7goe2FLKGZC5InSJnEobPNmZF0VO1r3fVRfPVtHrElkcfSMl4Wfb0JX5Y0NWgQaIUcQ3e1Kzo4q7ojV6t/NDymawKU8a1LuU28JigSQe9EvSTIX2DRaDIh6WLa5y5f7mVWdeIGhDbtYAPtihUPgBvOL8p2ljzZtIKHGlC2HqTn/oWpiaq/dwWgh9orfXpf6f1lGmI1VQ84PSv1MH8UG/HwWRBvydfsILKbBYsu5yRoztu/tnnci5tsEU+pGjpCrha8as/1kHjdSkynEcyYogKaj2N3AKA/4diBl0YkBXhKsFkjpAXsulZNWvYNGN0K41UnF4P7tgZap7HbyZ05t2jhx95PZF6UQjtNw8M+xshwr1rrr+81oeFGpoH65w+af3RgM/8gvDwo19khCaDudVqYGkVGw1H71kkDVEb0aXYFUJmaUnowP8F/L+VaLgk6QuSN0Gi+zHCAr2Mf1JVWW8MUdUhA= X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-Network-Message-Id: bbf77f8f-8a15-4765-cf88-08db2fa40fb1 X-MS-Exchange-CrossTenant-AuthSource: CH2PR10MB4344.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 28 Mar 2023 15:49:48.9038 (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: 1DeGAqCfwVUcgmtd/BUPJaJuRugQzXDHzE3H/BSp3PDFY/XDSOZdR8V3b+QHzv4AahxU73gW63H8+JzcC7UyOw== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY8PR10MB6563 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22 definitions=2023-03-24_11,2023-03-28_02,2023-02-09_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 bulkscore=0 malwarescore=0 mlxscore=0 mlxlogscore=999 adultscore=0 suspectscore=0 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2303200000 definitions=main-2303280123 X-Proofpoint-GUID: fZpPfhwHmz76czJu9WrPfyPdFzc0Ecul X-Proofpoint-ORIG-GUID: fZpPfhwHmz76czJu9WrPfyPdFzc0Ecul 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: Hi, Joseph and Jakub, this is the 6th version of the patch. compared to the 5th version, the major changes are: 1. Update the documentation Per Joseph's comments; 2. Change the name of the new warning option per Jakub's suggestions. 3. Update testing case per the above change. these changes are all in the 2th patch (2/2 Update documentation to clarify a GCC extension). The first patch (1/2 Handle component_ref to a structre/union field including flexible array member [PR101832]) is not changed For the first patch, As a record, Joseph has approved the C front-end change, I only need a review from Jakub for the Middle-end. bootstrapped and regression tested on aarch64 and x86. Okay for commit? thanks. Qing ========= Qing Zhao (2): Handle component_ref to a structre/union field including flexible array member [PR101832] Update documentation to clarify a GCC extension gcc/c-family/c.opt | 5 + gcc/c/c-decl.cc | 20 +++ gcc/doc/extend.texi | 45 +++++- gcc/lto/lto-common.cc | 5 +- gcc/print-tree.cc | 5 + .../gcc.dg/builtin-object-size-pr101832.c | 134 ++++++++++++++++++ .../gcc.dg/variable-sized-type-flex-array.c | 31 ++++ gcc/tree-core.h | 2 + gcc/tree-object-size.cc | 23 ++- gcc/tree-streamer-in.cc | 5 +- gcc/tree-streamer-out.cc | 5 +- gcc/tree.h | 7 +- 12 files changed, 281 insertions(+), 6 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/builtin-object-size-pr101832.c create mode 100644 gcc/testsuite/gcc.dg/variable-sized-type-flex-array.c -- 2.31.1