From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 67220 invoked by alias); 31 Jul 2018 09:50:00 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 66425 invoked by uid 89); 31 Jul 2018 09:49:59 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-2.7 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: mail-lj1-f196.google.com Received: from mail-lj1-f196.google.com (HELO mail-lj1-f196.google.com) (209.85.208.196) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 31 Jul 2018 09:49:58 +0000 Received: by mail-lj1-f196.google.com with SMTP id j19-v6so13125765ljc.7 for ; Tue, 31 Jul 2018 02:49:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=JtjSYYuCqoBZpttlA1HpTuDTwwXTPMM78Hri+PYnu0Y=; b=tzxyl0sCForp2rW0tTKjlZEeR8vENfPS/F0SGcW7RqbeMO+C+ytH5REXZKlsDfHPZt WyWvE0fRktLcU+gOOZom4E9XeERHajvXyVyvqD0U2JcOKvIjf4ZpNC3OgVO0Cohtlq+g lZalYaLFJfeBZFyyp0zpzae7mGsCVTL4Gfn8dncR2CeG4SrTLUlSU2wU4h7tUbXNcAwI pj4lRCFZ83oaZJWvh6EnCLKmTZ4PHSh2g6KC89cYnsI1PXSXIhwuDspEQIREVFW3oodx SvKE2k1AwtoviUOoDDfEew2yCoYBeiWh9DofzdDFkXmG5F1NiZWPz+DugU6X6QZVNySB MBfg== MIME-Version: 1.0 References: In-Reply-To: From: Richard Biener Date: Tue, 31 Jul 2018 09:50:00 -0000 Message-ID: Subject: Re: [PATCH] avoid incomplete types in -Warray-bounds (PR 86741) To: Martin Sebor Cc: GCC Patches Content-Type: text/plain; charset="UTF-8" X-IsSubscribed: yes X-SW-Source: 2018-07/txt/msg01899.txt.bz2 On Mon, Jul 30, 2018 at 10:16 PM Martin Sebor wrote: > > The enhanced handling of MEM_REFs in -Warray-bounds assumes > the object from whose address an offset is being computed has > a complete type. Since the size of such objects isn't known, > whether the offset (or index) from its beginning is valid > cannot be reliably determined. The attached patch avoids > dealing with such objects. Looks ok to deal with the testcase, thus please install. Richard. > Martin