From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-105539-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 10278 invoked by alias); 22 Nov 2004 04:20:17 -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 10261 invoked from network); 22 Nov 2004 04:20:12 -0000
Received: from unknown (HELO smtp3.fuse.net) (216.68.8.176)
  by sourceware.org with SMTP; 22 Nov 2004 04:20:12 -0000
Received: from gx6.fuse.net ([66.42.228.172]) by smtp3.fuse.net
          (InterMail vM.6.01.03.04 201-2131-111-106-20040729) with ESMTP
          id <20041122041917.CEKF14294.smtp3.fuse.net@gx6.fuse.net>
          for <gcc@gcc.gnu.org>; Sun, 21 Nov 2004 23:19:17 -0500
Received: from dellpi.pinski.fam ([66.42.228.172]) by gx6.fuse.net
          (InterMail vG.1.00.00.00 201-2136-104-20040331) with ESMTP
          id <20041122041906.VXEC3360.gx6.fuse.net@dellpi.pinski.fam>
          for <gcc@gcc.gnu.org>; Sun, 21 Nov 2004 23:19:06 -0500
Received: from [10.0.0.80] (zhivago.i.pinski.fam [10.0.0.80])
	by dellpi.pinski.fam (8.12.2/8.12.1) with ESMTP id iAM4K6VT007275
	for <gcc@gcc.gnu.org>; Sun, 21 Nov 2004 23:20:07 -0500 (EST)
Mime-Version: 1.0 (Apple Message framework v619)
Content-Transfer-Encoding: 7bit
Message-Id: <C9A9D144-3C3D-11D9-AEB4-000A95D692F4@physics.uc.edu>
Content-Type: text/plain; charset=US-ASCII; format=flowed
To: gcc mailing list <gcc@gcc.gnu.org>
From: Andrew Pinski <pinskia@physics.uc.edu>
Subject: CCP and Ada testsuite failure c330001
Date: Mon, 22 Nov 2004 07:27:00 -0000
X-SW-Source: 2004-11/txt/msg00732.txt.bz2

I decided to look a little into the Ada testsuite failure, c330001.
And I noticed that we are propagating a constant across a
VIEW_CONVERT_EXPR.
Aka before CCP:
   VIEW_CONVERT_EXPR<character[1 .. 2]>(var_1.F.s) = "Hi";
   D.3531_12 = system__secondary_stack__ss_allocate (24);
   D.3530_13 = (struct c330001_0__fullviewdefinite_unknown_disc *) 
D.3531_12;
   VIEW_CONVERT_EXPR<struct 
c330001_0__indef_func_1__var_1___PAD>(*D.3530_13) = var_1;

But afterwards:
   VIEW_CONVERT_EXPR<character[1 .. 2]>(var_1.F.s) = "Hi";
   D.3531_12 = system__secondary_stack__ss_allocate (24);
   D.3530_13 = (struct c330001_0__fullviewdefinite_unknown_disc *) 
D.3531_12;
   VIEW_CONVERT_EXPR<struct 
c330001_0__indef_func_1__var_1___PAD>(*D.3530_13) = "Hi";
   return D.3530_13;

Which seems wrong.  (note the variable is named var_1 and not an
SSA_NAME.

Could someone look into how to fix this?

Thanks,
Andrew Pinski