From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-519526-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 48336 invoked by alias); 14 Feb 2020 01:04:49 -0000
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
Received: (qmail 48323 invoked by uid 89); 14 Feb 2020 01:04:49 -0000
Authentication-Results: sourceware.org; auth=none
X-Spam-SWARE-Status: No, score=-14.7 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,KAM_NUMSUBJECT,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.1 spammy=
X-HELO: arjuna.pair.com
Received: from arjuna.pair.com (HELO arjuna.pair.com) (209.68.5.131) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 14 Feb 2020 01:04:48 +0000
Received: by arjuna.pair.com (Postfix, from userid 3006)	id 9846C8A3FB; Thu, 13 Feb 2020 20:04:46 -0500 (EST)
Received: from localhost (localhost [127.0.0.1])	by arjuna.pair.com (Postfix) with ESMTP id 977C28A3E6;	Thu, 13 Feb 2020 20:04:46 -0500 (EST)
Date: Fri, 14 Feb 2020 01:04:00 -0000
From: Hans-Peter Nilsson <hp@bitrange.com>
To: Richard Biener <rguenther@suse.de>
cc: gcc-patches@gcc.gnu.org
Subject: Re: [PATCH] tree-optimization/93661 properly guard tree_to_poly_int64
In-Reply-To: <nycvar.YFH.7.76.2002111051400.18835@zhemvz.fhfr.qr>
Message-ID: <alpine.BSF.2.20.16.2002132000060.71749@arjuna.pair.com>
References: <nycvar.YFH.7.76.2002111051400.18835@zhemvz.fhfr.qr>
User-Agent: Alpine 2.20.16 (BSF 172 2016-09-29)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
X-IsSubscribed: yes
X-SW-Source: 2020-02/txt/msg00836.txt.bz2

On Tue, 11 Feb 2020, Richard Biener wrote:
> Bootstrapped / tested on x86_64-unknown-linux-gnu, pushed.

> diff --git a/gcc/testsuite/gcc.dg/pr93661.c b/gcc/testsuite/gcc.dg/pr93661.c
> new file mode 100644
> index 00000000000..e311ba545c4
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/pr93661.c
> @@ -0,0 +1,9 @@
> +/* { dg-do compile } */
> +/* { dg-options "-O2" } */

Missing int32plus qualifier considering the assumed-to-fit
constants?

> +
> +int f ()
> +{
> +  unsigned x = 0xffffffff;
> +  __builtin_memset (1+(char *) &x, 0, -1); /* { dg-warning "maximum object size" } */
> +  return (x != 0xf0000000);

brgds, H-P
PS. no, doesn't fail for targets I care for, just random.