From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id 026E738515DA for ; Fri, 1 Jul 2022 12:59:27 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 026E738515DA Received: from mimecast-mx02.redhat.com (mx3-rdu2.redhat.com [66.187.233.73]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-52-UTKz7HqLNTiajuHaJY1hjQ-1; Fri, 01 Jul 2022 08:59:22 -0400 X-MC-Unique: UTKz7HqLNTiajuHaJY1hjQ-1 Received: from smtp.corp.redhat.com (int-mx05.intmail.prod.int.rdu2.redhat.com [10.11.54.5]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 5CD333C00089; Fri, 1 Jul 2022 12:59:22 +0000 (UTC) Received: from tucnak.zalov.cz (unknown [10.39.192.30]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 129A6815B; Fri, 1 Jul 2022 12:59:21 +0000 (UTC) Received: from tucnak.zalov.cz (localhost [127.0.0.1]) by tucnak.zalov.cz (8.17.1/8.17.1) with ESMTPS id 261CxIT11651074 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Fri, 1 Jul 2022 14:59:18 +0200 Received: (from jakub@localhost) by tucnak.zalov.cz (8.17.1/8.17.1/Submit) id 261CxGUU1651073; Fri, 1 Jul 2022 14:59:16 +0200 Date: Fri, 1 Jul 2022 14:59:16 +0200 From: Jakub Jelinek To: Qing Zhao Cc: Richard Biener , Martin Sebor , gcc-patches Paul A Clarke via , kees Cook Subject: Re: [GCC 13][PATCH] PR101836: Add a new option -fstrict-flex-array[=n] and use it in __builtin_object_size Message-ID: Reply-To: Jakub Jelinek References: <6CB6B076-0635-4DE8-861E-F8EBC0B696B4@gmail.com> <7306B3D0-01A8-47F8-8BE2-F5E312FC94D1@oracle.com> MIME-Version: 1.0 In-Reply-To: <7306B3D0-01A8-47F8-8BE2-F5E312FC94D1@oracle.com> X-Scanned-By: MIMEDefang 2.79 on 10.11.54.5 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-4.3 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE, 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 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: Fri, 01 Jul 2022 12:59:29 -0000 On Fri, Jul 01, 2022 at 12:55:08PM +0000, Qing Zhao wrote: > If so, comparing to the current implemenation to have all the checking in middle-end, what’s the > major benefit of moving part of the checking into FE, and leaving the other part in middle-end? The point is recording early what FIELD_DECLs could be vs. can't possibly be treated like flexible array members and just use that flag in the decisions in the current routines in addition to what it is doing. Jakub