From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from esa2.mentor.iphmx.com (esa2.mentor.iphmx.com [68.232.141.98]) by sourceware.org (Postfix) with ESMTPS id C4A23385481C for ; Mon, 23 Nov 2020 23:51:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org C4A23385481C Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=joseph_myers@mentor.com IronPort-SDR: D6RfVqT0CG2zBLuwt8xwYsBO3F2msg4Dm+i4tLpdiUE61c3G2/4/DVzq2CyNzASgw+QVTpSYip FXG2ds823by4qg75H4KyZWLD15YjZnULegVcHpBUfpxPqn51N/MnRS12kQ7Op9rsKMtiIoriYo h7ueSBXeKpaZp+iolaFG7l7XlfDgztheyGBiOjEvZgXPb68y4UpUn/EoQnIUsy5i8pbp1VJZxm PiMzwIeewEGG6JPBZCL0VDEwmgS12NUTuf/B/WA4KLYpe8TyIaCXnwup7b2h9pRyiIM64t+N3Y L+U= X-IronPort-AV: E=Sophos;i="5.78,364,1599552000"; d="scan'208";a="55420981" Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165]) by esa2.mentor.iphmx.com with ESMTP; 23 Nov 2020 15:51:41 -0800 IronPort-SDR: DbFFw54phSoQgHdmFePi1wMW6SSteA4aayTh//u1OLiNcFLPOlfz/PiuGlCiIRlwDvM4Nv4q+o 0yVUPYgZfgtkaWOhbVcol50hYmQpVmUJChPzxJ78OH5V6eoxuWv6tP+x+4mUqNqUvPVXiXO6vY 0X1gF0Rc/VmRZbYHHzXuZRvS7OPd0OmwnM1PUEXkhzzhJ5Df99VHryb0hcElO87rJyfFOPH9RK bjCWTAnyxDLakdS8GYPs4YQf6mcPcBTMw6BXS6dgaHmWaOKrIzecbZkTFdkSec/Ydoa6isDB3y HQI= Date: Mon, 23 Nov 2020 23:51:35 +0000 From: Joseph Myers X-X-Sender: jsm28@digraph.polyomino.org.uk To: Martin Sebor CC: Jakub Jelinek , Marek Polacek , gcc-patches Subject: Re: [PATCH] unshare expressions in attribute arguments In-Reply-To: <8601e30d-78a2-5f9d-4bdc-23e57b3b0079@gmail.com> Message-ID: References: <56b14df5-16a6-58ae-519a-7d2a9c84e948@gmail.com> <20201120192951.GE3996@redhat.com> <052566cb-6ad9-7c01-7542-59900ce1b0bf@gmail.com> <20201120203715.GN3788@tucnak> <20201120214105.GP3788@tucnak> <20201120215751.GQ3788@tucnak> <8601e30d-78a2-5f9d-4bdc-23e57b3b0079@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-01.mgc.mentorg.com (139.181.222.1) To svr-ies-mbx-01.mgc.mentorg.com (139.181.222.1) X-Spam-Status: No, score=-3125.1 required=5.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS, KAM_DMARC_STATUS, RCVD_IN_DNSWL_NONE, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=no autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 23 Nov 2020 23:51:44 -0000 On Fri, 20 Nov 2020, Martin Sebor via Gcc-patches wrote: > The VLA bounds are evaluated in function definitions so there > must be a point where that's done. I don't know where that > happens but unless at that point the most significant bound > is still associated with the param (AFAIK, it never really > is at the tree level) it wouldn't help me. grokdeclarator combines VLA bounds with the *expr passed in using a COMPOUND_EXPR. These later get stored in arg_info->pending_sizes, and the evaluation happens via the add_stmt call in store_parm_decls. -- Joseph S. Myers joseph@codesourcery.com