From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from omta40.uswest2.a.cloudfilter.net (omta40.uswest2.a.cloudfilter.net [35.89.44.39]) by sourceware.org (Postfix) with ESMTPS id 9FD323858D33 for ; Sat, 30 Mar 2024 00:15:20 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 9FD323858D33 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=tromey.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tromey.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 9FD323858D33 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=35.89.44.39 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1711757722; cv=none; b=MWYclDqE/CzauTSC9W8rPCDIWBU1CjlQOtNwmFJuzpR8NzGfa3vdUD7f3ph57qAcmnGJ7ZExDiIU6MTZg08f2MtFnYVzSRjSpX+WgEJ8VDMs6ZKvOmQe2VuphxPZIOLiyAxSln5y+eRxU9x9D9PI2icuWIBYJSg7NdCM3q5VkjE= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1711757722; c=relaxed/simple; bh=CC5VyBD7f2Z02qw7bDbWbIr4HzuvyZGDUI2LleMSap4=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=DuE6Z9tBl1SP8JJwl4Ew0c2xUS0rHavgY3zimcCfjdJfwTxZmGAn7bae/ikBZgQtAPlVvrcCjThpm3lMSZT0+UQguuRDi5p16a9a4bJ9qc775PZrpgVEGBIeyFt5RTAShQWm0M6OreyI+G07wly4oiacmsKlP2hyzSCOzneLzEA= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from eig-obgw-5008a.ext.cloudfilter.net ([10.0.29.246]) by cmsmtp with ESMTPS id pglsrcLvIPM1hqMNTrIjyD; Sat, 30 Mar 2024 00:15:19 +0000 Received: from box5379.bluehost.com ([162.241.216.53]) by cmsmtp with ESMTPS id qMNRrkfOEiDneqMNSrCoVf; Sat, 30 Mar 2024 00:15:18 +0000 X-Authority-Analysis: v=2.4 cv=Cd4O5qrl c=1 sm=1 tr=0 ts=66075996 a=ApxJNpeYhEAb1aAlGBBbmA==:117 a=ApxJNpeYhEAb1aAlGBBbmA==:17 a=K6JAEmCyrfEA:10 a=Qbun_eYptAEA:10 a=tmsXw-MGwmuMwx60-goA:9 a=ZXulRonScM0A:10 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tromey.com; s=default; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References :Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=CC5VyBD7f2Z02qw7bDbWbIr4HzuvyZGDUI2LleMSap4=; b=ptz5/j7Cu01Hgz/y7MTLF6PKAm cjfmt3SWNNeBxVuJpUxpjJg7Kl7ONbrcYY5cbrJBXAPSmcfUFd+unbTGON64KvNhRC8NXPRCSumUK 9pN5aIBmo5uEXI/MlvH3AArlf; Received: from 97-122-82-115.hlrn.qwest.net ([97.122.82.115]:49418 helo=prentzel) by box5379.bluehost.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96.2) (envelope-from ) id 1rqMNR-002DIV-0W; Fri, 29 Mar 2024 18:15:17 -0600 From: Tom Tromey To: Kees Cook Cc: Tom Tromey , Qing Zhao , josmyers@redhat.com, richard.guenther@gmail.com, siddhesh@gotplt.org, uecker@tugraz.at, isanbard@gmail.com, gcc-patches@gcc.gnu.org Subject: Re: [PATCH v8 0/5] New attribute "counted_by" to annotate bounds for C99 FAM(PR108896) References: <20240329160703.4012941-1-qing.zhao@oracle.com> <87jzlkc3lg.fsf@tromey.com> <202403291215.BEE1F60@keescook> X-Attribution: Tom Date: Fri, 29 Mar 2024 18:15:15 -0600 In-Reply-To: <202403291215.BEE1F60@keescook> (Kees Cook's message of "Fri, 29 Mar 2024 12:16:47 -0700") Message-ID: <875xx4r2wc.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - box5379.bluehost.com X-AntiAbuse: Original Domain - gcc.gnu.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - tromey.com X-BWhitelist: no X-Source-IP: 97.122.82.115 X-Source-L: No X-Exim-ID: 1rqMNR-002DIV-0W X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 97-122-82-115.hlrn.qwest.net (prentzel) [97.122.82.115]:49418 X-Source-Auth: tom+tromey.com X-Email-Count: 8 X-Org: HG=bhshared;ORG=bluehost; X-Source-Cap: ZWx5bnJvYmk7ZWx5bnJvYmk7Ym94NTM3OS5ibHVlaG9zdC5jb20= X-Local-Domain: yes X-CMAE-Envelope: MS4xfFaqXBeiBGC4RbPZff66qX9GtseBmcNuoXlA+qsIwhUOUIjl/QCBKNCydBDqdnZAB2gN9RQ+e5jodCy20Jb/ngEx6e702Z+17YfVXkMH7v0/Uf1qwOd7 vHGDy8qQF+ZTiOS5CvyMy2yt2WVtowGjWQI9yGfe7HMb43K4r+KyQD/77nV4TIb9SUPHrb8c2Ul5Z9yal1BeZaETqF51dymErqs= X-Spam-Status: No, score=-3015.5 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,JMQ_SPF_NEUTRAL,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Kees> Does DWARF have such an annotation? Regardless, I think this could be a Kees> future patch to not hold up landing the initial feature. Sure, the compiler can emit the array length (and structure size) as a DWARF expression using the length. Tom