From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32212 invoked by alias); 6 Jul 2005 19:49:35 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 32184 invoked by uid 48); 6 Jul 2005 19:49:27 -0000 Date: Wed, 06 Jul 2005 19:49:00 -0000 Message-ID: <20050706194927.32183.qmail@sourceware.org> From: "pinskia at gcc dot gnu dot org" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050706192844.22328.pinskia@gcc.gnu.org> References: <20050706192844.22328.pinskia@gcc.gnu.org> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug ada/22328] Ada produces missed match (non compatible) types in MODIFY_EXPR X-Bugzilla-Reason: CC X-SW-Source: 2005-07/txt/msg00632.txt.bz2 List-Id: ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-06 19:49 ------- The follow changed removed gnat_types_compatible_p which had said the types were compatible: http://gcc.gnu.org/ml/gcc-patches/2004-12/msg00563.html The nice quote from that patch is: It's not clear the compatible type handling is the right approach and it's simpler not to add that complexity in 4.0: there will likely need to be some rethinking of the entire issue in 4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328