From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 339 invoked by alias); 15 Feb 2006 09:40:20 -0000 Received: (qmail 303 invoked by alias); 15 Feb 2006 09:40:17 -0000 Date: Wed, 15 Feb 2006 09:40:00 -0000 Message-ID: <20060215094017.302.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug ada/18819] [4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "charlet at gcc dot gnu dot org" 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 X-SW-Source: 2006-02/txt/msg01669.txt.bz2 List-Id: ------- Comment #26 from charlet at gcc dot gnu dot org 2006-02-15 09:40 ------- Subject: Bug 18819 Author: charlet Date: Wed Feb 15 09:40:13 2006 New Revision: 111069 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111069 Log: 2006-02-13 Ed Schonberg Javier Miranda Eric Botcazou * exp_util.ads, exp_util.adb (Find_Prim_Op, Is_Predefined_Primitive_Operation): When searching for the predefined equality operator, verify that operands have the same type. (Is_Predefined_Dispatching_Operation): Remove the code that looks for the last entity in the list of aliased subprograms. This code was wrong in case of renamings. (Set_Renamed_Subprogram): New procedure (Remove_Side_Effects): Replace calls to Etype (Exp) with use of the Exp_Type constant computed when entering this subprogram. (Known_Null): New function (OK_To_Do_Constant_Replacement): New function (Known_Non_Null): Check scope before believing Is_Known_Non_Null flag (Side_Effect_Free): An attribute reference 'Input is not free of side effect, unlike other attributes that are functions. (from code reading). (Remove_Side_Effects): Expressions that involve packed arrays or records are copied at the point of reference, and therefore must be marked as renamings of objects. (Is_Predefined_Dispatching_Operation): Return false if the operation is not a dispatching operation. PR ada/18819 (Remove_Side_Effects): Lift enclosing type conversion nodes for elementary types in all cases. Modified: trunk/gcc/ada/exp_util.adb trunk/gcc/ada/exp_util.ads -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18819