From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-117767-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 28720 invoked by alias); 27 Jul 2005 13:27:10 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 28461 invoked by uid 22791); 27 Jul 2005 13:26:55 -0000
Received: from mx1.redhat.com (HELO mx1.redhat.com) (66.187.233.31)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Wed, 27 Jul 2005 13:26:55 +0000
Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254])
	by mx1.redhat.com (8.12.11/8.12.11) with ESMTP id j6RDQqCd001858;
	Wed, 27 Jul 2005 09:26:52 -0400
Received: from pobox.toronto.redhat.com (pobox.toronto.redhat.com [172.16.14.4])
	by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id j6RDQkV13166;
	Wed, 27 Jul 2005 09:26:46 -0400
Received: from topo.toronto.redhat.com (vpn50-1.rdu.redhat.com [172.16.50.1])
	by pobox.toronto.redhat.com (8.12.8/8.12.8) with ESMTP id j6RDQj1M003309;
	Wed, 27 Jul 2005 09:26:46 -0400
Received: from topo.toronto.redhat.com (localhost.localdomain [127.0.0.1])
	by topo.toronto.redhat.com (8.13.4/8.13.4) with ESMTP id j6RDQgsX004114;
	Wed, 27 Jul 2005 09:26:43 -0400
Received: (from dnovillo@localhost)
	by topo.toronto.redhat.com (8.13.4/8.13.4/Submit) id j6RDQf8E004113;
	Wed, 27 Jul 2005 09:26:41 -0400
Date: Wed, 27 Jul 2005 13:27:00 -0000
From: Diego Novillo <dnovillo@redhat.com>
To: Richard Guenther <rguenther@suse.de>
Cc: Daniel Berlin <dberlin@dberlin.org>, gcc@gcc.gnu.org
Subject: Re: Latent PTA bug?
Message-ID: <20050727132641.GA3995@topo.toronto.redhat.com>
References: <Pine.LNX.4.58.0507271254520.21145@wotan.suse.de> <20050727124843.GA3546@topo.toronto.redhat.com> <Pine.LNX.4.58.0507271503530.21145@wotan.suse.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
In-Reply-To: <Pine.LNX.4.58.0507271503530.21145@wotan.suse.de>
User-Agent: Mutt/1.4.2.1i
X-SW-Source: 2005-07/txt/msg01131.txt.bz2

On Wed, Jul 27, 2005 at 03:09:09PM +0200, Richard Guenther wrote:

> i.e. while we see that the temporary pointer points to array[0], for
> SFT.2_6 (i.p) we don't see anything?  So if we'd see { SFT.1 } here, too,
> we'd be wrong in both cases.  -> aka my bug, correct?
>
What is SFT.1?  array[0]?  Yes, that's your bug.  may-alias sets
should have all of array's SFTs.

> So why don't we get the points-to set for SFT.2_6?
>
The solver does not operate on SFTs.  Both _p_5 and i should
point to array here.