[Bug ada/18819] [4.2 Regression] ACATS cdd2a01 cdd2a02 fail at runtime

["charlet at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- 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  <schonberg@adacore.com>
            Javier Miranda  <miranda@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        * 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