From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-269723-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 12674 invoked by alias); 4 Aug 2010 12:49:27 -0000
Received: (qmail 12664 invoked by uid 22791); 4 Aug 2010 12:49:26 -0000
X-SWARE-Spam-Status: No, hits=-3.4 required=5.0	tests=AWL,BAYES_00,T_RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from cantor2.suse.de (HELO mx2.suse.de) (195.135.220.15)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 04 Aug 2010 12:49:21 +0000
Received: from relay1.suse.de (charybdis-ext.suse.de [195.135.221.2])	by mx2.suse.de (Postfix) with ESMTP id A259088B6C;	Wed,  4 Aug 2010 14:49:19 +0200 (CEST)
Date: Wed, 04 Aug 2010 12:49:00 -0000
From: Richard Guenther <rguenther@suse.de>
To: Arnaud Charlet <charlet@adacore.com>
Cc: gcc-patches@gcc.gnu.org, Eric Botcazou <botcazou@adacore.com>
Subject: Re: [PATCH] Keep lattice abstract in the SSA propagator, substitue lattice values at defs
In-Reply-To: <20100804123142.GA83420@adacore.com>
Message-ID: <alpine.LNX.2.00.1008041437130.25856@zhemvz.fhfr.qr>
References: <alpine.LNX.2.00.1008041417350.25856@zhemvz.fhfr.qr> <20100804122648.GA82722@adacore.com> <alpine.LNX.2.00.1008041427470.25856@zhemvz.fhfr.qr> <20100804123142.GA83420@adacore.com>
User-Agent: Alpine 2.00 (LNX 1167 2008-08-23)
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
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
X-SW-Source: 2010-08/txt/msg00269.txt.bz2

On Wed, 4 Aug 2010, Arnaud Charlet wrote:

> > > > Bootstrapped and tested on x86_64-unknown-linux-gnu.  c52102b
> > > > and c52102d now fail, because they rely on undefined signed integer
> > > > overflow.
> > > 
> > > Ada ACATS tests do not rely on signed integer overflow: Ada has built-in
> > > overflow checks as part of the language, but this capability requires the
> > > -gnato switch.
> > > 
> > > If these tests are failing, it means the -gnato switch is missing on these
> > > tests.
> > > 
> > > Can you please fix that by updating
> > > gcc/testsuite/ada/acats/overflow.lst ?
> > > Thanks in advance.
> > 
> > Adding -gnato doesn't fix the testcases (checked c52102b).
> 
> Well, then there's something fishy here that needs to be investigated, can you
> expand on why these tests "rely on undefined signed integer overflow" ?

I looked at the VRP dump and it derives perfectly valid assumptions.
From

  <various bounds checking concludes ident_int_2_12 is [1, 4]
   and ident_int_1_10 is [1, 4]>

<bb 15>:
  D.2465_155 = ident_int_2_12 + 1;
  L27b_156 = D.2465_155 - ident_int_1_10;
  L29b_159 = L27b_156 + 1;

<bb 16>:
  # L29b_363 = PHI <L29b_159(15), 1(14)>
...

  and we arrive with [-3, 9] for prephitmp.53_302 and [-1, 5] for L29b_363

  if (prephitmp.53_302 > L29b_363)
    goto <bb 27>;

<bb 27>:

  thus we can conclude that prephitmp.53_302 is [0, 9] here.
  The following statement then produces a range of [2147483647, overflow].
  So we happily substitute a constant value of 2147483647 for D.2544_253.

  D.2544_253 = prephitmp.53_302 + 2147483647;
  D.2553_254 = (size_type) D.2544_253;
...
  D.2554_257 = D.2553_254 + 1;


Richard.