From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from slategray.cherry.relay.mailchannels.net (slategray.cherry.relay.mailchannels.net [23.83.223.169]) by sourceware.org (Postfix) with ESMTPS id 816033858CDA for ; Tue, 24 Oct 2023 23:56:54 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 816033858CDA Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=gotplt.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gotplt.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 816033858CDA Authentication-Results: server2.sourceware.org; arc=pass smtp.remote-ip=23.83.223.169 ARC-Seal: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1698191815; cv=pass; b=CwiWEX6LLjF4WE2n0UmIhYGFN948/FJZvYS/pERel2syLuCWrZvmKR+iZJRN73J+VRbLeHqF109mmaPJ+m4GNA0j298UcdJjdghSal6GVqAQkWPwE6SF1zmYldLTTRAMveYeDkl+x1nYzmBiGSt4Gyue/BA9LLKQZDyyel3dhvA= ARC-Message-Signature: i=2; a=rsa-sha256; d=sourceware.org; s=key; t=1698191815; c=relaxed/simple; bh=AWCyjSbVLAY5TXa0NdH7NDpvvl9+G/fr/9zjzhNRh04=; h=DKIM-Signature:Message-ID:Date:MIME-Version:Subject:To:From; b=WsULiBBSKx/L9KbrrjXxNYNwWTsE7Y1craMKdSrpg7jk+U0uMtvGoCsTIg0O6cMxPABwToLCJjZRn7MbM2+Tq3+iEy9gFXhzJkzjMZXVbZEAIqwBdAa3Z68MOanuP67lWGA1SWTcyw5qz7M1DP5vCTXt0nBqCIF4OWe5Ew6wcxk= ARC-Authentication-Results: i=2; server2.sourceware.org X-Sender-Id: dreamhost|x-authsender|siddhesh@gotplt.org Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 0D7672C17B2; Tue, 24 Oct 2023 23:56:53 +0000 (UTC) Received: from pdx1-sub0-mail-a202.dreamhost.com (unknown [127.0.0.6]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 810392C15E8; Tue, 24 Oct 2023 23:56:52 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1698191812; a=rsa-sha256; cv=none; b=PuXRLcUL/6tczGeO7dZVjIawNtWRwzb4g6mpbdK8P4InXZFJEjsPLJZ2SQV6LZrs1piiQf f/H/2PM5SS2a52jMHfPqPuQnWLKmbt7zKgCCIr44OWLRtAwXK3dTPUZpoJpRQ3TB4GSg9/ Tn7wfU7mXxtJQoA6UceEa/EceEKs80Hca/gUsoxHmq08e7VRvcZ9/hgeqjtBV++Ds7CKBA wYFA8wyXCPH32yzOfVtkNf4y6Dc9VXZaJsgM+uq52Y9uWpKKyKXV2/6qVhtFNo8JfZp7zV eNafV7VEIJLD8BugX6pdU84N4MYkM1FoM/QStPptU8M0tlTjpljmRYwCdD4LZQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1698191812; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=y3fd7yqqMVqISP3nC/DF8ROqRno7OXxpGeLUs1RqwMQ=; b=t6kS2ZD86RIlCv/5L/4MmQj/ybwoHwdWa8gPI1sLPAPpNnXerWCIVoyAdJTBNIviDASf4Q F1MJRjvGKFz5/B3eG6wQf8oLkdjfjtr8nVVfd5MQCidkyfzE5oeswbR/7cscsxCZW3EJFl XGNC5WOiie4f/fugH2D7Sk7O/fWewTsMuFbwqdZzdu+rVkfwoNQU4/DULDY1uaDTsw3K9H NrFWew6Wnmk5XNNDFqJM+LxJftTOW5egIbLX0PR/HrPKs0Qd68emrHEWukiJxRa+Jxa7sI r/uviYNPSQiNqVlQ/8wT5PTxQ61lpEJY+DfI3VsKRkzfR0ouAWCBfWdM5nM9wg== ARC-Authentication-Results: i=1; rspamd-86646d89b6-l2slf; auth=pass smtp.auth=dreamhost smtp.mailfrom=siddhesh@gotplt.org X-Sender-Id: dreamhost|x-authsender|siddhesh@gotplt.org X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|siddhesh@gotplt.org X-MailChannels-Auth-Id: dreamhost X-Macabre-Abiding: 13ccc5c34747d72e_1698191812691_2257816639 X-MC-Loop-Signature: 1698191812691:2314003880 X-MC-Ingress-Time: 1698191812690 Received: from pdx1-sub0-mail-a202.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.123.152.127 (trex/6.9.2); Tue, 24 Oct 2023 23:56:52 +0000 Received: from [192.168.2.12] (bras-vprn-toroon4834w-lp130-02-142-113-138-136.dsl.bell.ca [142.113.138.136]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: siddhesh@gotplt.org) by pdx1-sub0-mail-a202.dreamhost.com (Postfix) with ESMTPSA id 4SFTVq5PrYz5j; Tue, 24 Oct 2023 16:56:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gotplt.org; s=dreamhost; t=1698191812; bh=y3fd7yqqMVqISP3nC/DF8ROqRno7OXxpGeLUs1RqwMQ=; h=Date:Subject:To:Cc:From:Content-Type:Content-Transfer-Encoding; b=MVClp1ZD/qH/NvUlTv5MD3GG5agqtKL1HMU7kMgV+zn0sa6usciqBpImOMUgnYwZT RtAlxXyaRn04XuecAqCLl4NrSdVQlF2UI2QHsaZEjfQ/eR9oFH8iAAzRqBywYqtQd8 lLapUhgiEJ9m6PMIKAeJ7ZEtCbq2KdUv2NKoHRIjbXDhsREgrxRedecFgMlZVsi6uQ 8Iiu9snDkFUcp3jMEGTOHAzO9UU0m0NsF1tNPMglit9mUD6peuyi3+tNW3eqHA81MH HrhgKyo3RMRP0isHOm775pEhEW/0jyoFo1rUOjH8jrXGHjeJ4GfjdZersXPU1kt83U yAjGuTFtmyT+Q== Message-ID: Date: Tue, 24 Oct 2023 19:56:50 -0400 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: HELP: Will the reordering happen? Re: [V3][PATCH 0/3] New attribute "counted_by" to annotate bounds for C99 FAM(PR108896) Content-Language: en-US To: Qing Zhao , Martin Uecker Cc: Richard Biener , Joseph Myers , Jakub Jelinek , gcc Patches , kees Cook , "isanbard@gmail.com" References: <9DDD0677-BFE7-4733-8C11-0FA8B3C25569@oracle.com> <283B5497-52BD-47D4-BC08-0982AB6740CA@oracle.com> <53e8ed5778d0e908d224d940ddc3d99575b83dd3.camel@tugraz.at> <168fea24-844e-4d1a-9361-afb6332b4f11@gotplt.org> <8C548B97-BD81-4EBB-A59C-F7E6E0A3C4F7@oracle.com> <92426898-afa7-47f7-9aab-5f2114eb826a@gotplt.org> <05d65224067ff72124d94b6b5274f14d013b64af.camel@tugraz.at> <2A78AF07-4E87-43DD-9C1B-23A15C43A8E4@oracle.com> From: Siddhesh Poyarekar In-Reply-To: <2A78AF07-4E87-43DD-9C1B-23A15C43A8E4@oracle.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3029.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H5,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,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 2023-10-24 18:51, Qing Zhao wrote: > Thanks for the proposal! > > So what you suggested is: > > For every x.buf, change it as a __builtin_with_size(x.buf, x.L) in the FE, then the call to the _bdos (x.buf, 1) will > Become: > > _bdos(__builtin_with_size(x.buf, x.L), 1)? > > Then the implicit use of x.L in _bdos(x.buf.1) will become explicit? Oops, I think Martin and I fell off-list in a subthread. I clarified that my comment was that any such annotation at object reference is probably too late and hence not the right place for it; basically it has the same problems as the option A in your comment. A better place to reinforce such a relationship would be the allocation+initialization site instead. Thanks, Sid