From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-216286-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 1791 invoked by alias); 16 Apr 2008 12:32:47 -0000
Received: (qmail 1783 invoked by uid 22791); 16 Apr 2008 12:32:46 -0000
X-Spam-Check-By: sourceware.org
Received: from province.act-europe.fr (HELO province.act-europe.fr) (212.99.106.214)     by sourceware.org (qpsmtpd/0.31) with ESMTP; Wed, 16 Apr 2008 12:32:29 +0000
Received: by province.act-europe.fr (Postfix, from userid 525) 	id F27731670A6; Wed, 16 Apr 2008 14:32:26 +0200 (CEST)
Date: Wed, 16 Apr 2008 14:53:00 -0000
From: Arnaud Charlet <charlet@adacore.com>
To: Samuel Tardieu <sam@rfc1149.net>
Cc: gcc-patches@gcc.gnu.org, Ed Schonberg <schonberg@adacore.com>
Subject: Re: [PATCH] ada/29015: Do not ICE on incomplete type whose underlying type is known
Message-ID: <20080416123226.GA31517@adacore.com>
References: <20080409213527.1F2C88043@dawn.rfc1149.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20080409213527.1F2C88043@dawn.rfc1149.net>
User-Agent: Mutt/1.4.2.2i
X-IsSubscribed: yes
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: 2008-04/txt/msg01302.txt.bz2

> Ok for trunk?
> 
>     gcc/ada/
> 	PR ada/29015
> 	* sem_ch12.adb (Instantiate_Type): Check whether the full view of
> 	the type is known instead of the underlying type.
> 
>     gcc/testsuite/
> 	PR ada/29015
> 	* gnat.dg/incomplete1.ads, gnat.dg/incomplete2.ads,
> 	gnat.dg/incomplete2.adb: New.

This patch is OK.

Arno