From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-149910-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16001 invoked by alias); 11 Jul 2005 23:40:46 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 15976 invoked by uid 48); 11 Jul 2005 23:40:44 -0000
Date: Mon, 11 Jul 2005 23:41:00 -0000
From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Message-ID: <20050711234043.22419.pinskia@gcc.gnu.org>
Reply-To: gcc-bugzilla@gcc.gnu.org
Subject: [Bug ada/22419] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR
X-Bugzilla-Reason: CC
X-SW-Source: 2005-07/txt/msg01333.txt.bz2
List-Id: <gcc-bugs.sourceware.org>

Another case:
with C392014_2;
package body C392014_0 is
    function Create return T'Class is
    begin
	return C392014_2.Create ;
    end Create;
end C392014_0;
package C392014_0 is
    type T (D : natural) is abstract tagged null record;
    function Create return T'Class;
end C392014_0;
with C392014_0;
with C392014_1;
package C392014_2 is
    type T is new C392014_1.T with
	record
	    C2 : natural;
	end record;
    function Create return T'Class;
end C392014_2;
with C392014_0;
package C392014_1 is
    type T is new C392014_0.T with
	record
	    C1 : natural;
	end record;
end C392014_1;
Again see PR 22368 for the patch which I used to find this.

c392014_2.ads: In function 'C392014_0.Create':
c392014_2.ads:9: error: statement types mismatch
D.865 = D.866;

struct c392014_0__tD.395 *
struct c392014_2__tD.827 *

-- 
           Summary: Ada produces mis-match (non compatible) types in
                    MODIFY_EXPR
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: bosch at gcc dot gnu dot org,gcc-bugs at gcc dot gnu dot
                    org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22419