From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-117766-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16161 invoked by alias); 27 Jul 2005 13:09:23 -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 15769 invoked by uid 22791); 27 Jul 2005 13:09:12 -0000
Received: from cantor2.suse.de (HELO mx2.suse.de) (195.135.220.15)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Wed, 27 Jul 2005 13:09:12 +0000
Received: from Relay1.suse.de (mail2.suse.de [195.135.221.8])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by mx2.suse.de (Postfix) with ESMTP id 151A41C649;
	Wed, 27 Jul 2005 15:09:10 +0200 (CEST)
Date: Wed, 27 Jul 2005 13:09:00 -0000
From: Richard Guenther <rguenther@suse.de>
To: Diego Novillo <dnovillo@redhat.com>
Cc: Daniel Berlin <dberlin@dberlin.org>, gcc@gcc.gnu.org
Subject: Re: Latent PTA bug?
In-Reply-To: <20050727124843.GA3546@topo.toronto.redhat.com>
Message-ID: <Pine.LNX.4.58.0507271503530.21145@wotan.suse.de>
References: <Pine.LNX.4.58.0507271254520.21145@wotan.suse.de>
 <20050727124843.GA3546@topo.toronto.redhat.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-SW-Source: 2005-07/txt/msg01130.txt.bz2


C testcase ;)

typedef struct { int *p; } X;
void includes(const X *);
void test4(void)
{
  int array[2] = { 2, 4 };
  X i;
  int * _p;
  _p = array;
  i.p = _p;
  includes(&i);
}

if you change that to

  i.p = array;

it works... !?  But I note this in the failing case:

Pointed-to sets for pointers in test4

SFT.2_6
_p_5, its value escapes, points-to vars: { SFT.1 }

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?  So why don't
we get the points-to set for SFT.2_6?

Richard.