[Bug ada/18659] [4.1 Regression] 6 ACATS ICEs in tree-sra.c:1507

[Bug ada/18659] [4.1 Regression] 6 ACATS ICEs in tree-sra.c:1507

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P5
   Target Milestone|---                         |4.1.0


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

[Bug ada/18659] [4.1 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

------- Comment #18 from ebotcazou at gcc dot gnu dot org  2005-11-16 17:53 -------
*** Bug 24896 has been marked as a duplicate of this bug. ***


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schwab at suse dot de


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

[Bug ada/18659] [4.1/4.2 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

------- Comment #19 from ebotcazou at gcc dot gnu dot org  2005-11-22 10:44 -------
Investigating.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ebotcazou at gcc dot gnu dot|
                   |org                         |
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
           Severity|normal                      |critical
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-06-14 02:12:47         |2005-11-22 10:44:43
               date|                            |


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

[Bug ada/18659] [4.1/4.2 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

------- Comment #20 from ebotcazou at gcc dot gnu dot org  2005-11-24 14:09 -------
Created an attachment (id=10332)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10332&action=view)
Reduced testcase.

Compile at -O on x86.


-- 


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

[Bug ada/18659] [4.1/4.2 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

------- Comment #21 from ebotcazou at gcc dot gnu dot org  2005-12-15 13:29 -------
Subject: Bug 18659

Author: ebotcazou
Date: Thu Dec 15 13:29:14 2005
New Revision: 108576

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=108576
Log:
2005-12-15  Eric Botcazou  <ebotcazou@adacore.com>

        PR ada/18659
        PR ada/18819
ada/
        * misc.c (tree_sra_requested): New global.
        (gnat_init_options): Detect -ftree-sra.
        (gnat_post_options): Enable Tree-SRA only if specifically requested.

gcc/
        * doc/invoke.texi (Optimize Options): Document that
        -ftree-sra is not automatically enabled for the Ada compiler.


Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/ada/ChangeLog
    branches/gcc-4_1-branch/gcc/ada/misc.c
    branches/gcc-4_1-branch/gcc/doc/invoke.texi


-- 


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

[Bug ada/18659] [4.2 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
         AssignedTo|ebotcazou at gcc dot gnu dot|unassigned at gcc dot gnu
                   |org                         |dot org
           Severity|critical                    |major
             Status|ASSIGNED                    |NEW
            Summary|[4.1/4.2 Regression] ACATS  |[4.2 Regression] ACATS
                   |failures c32001e c64105b    |failures c32001e c64105b
                   |c95086b                     |c95086b
   Target Milestone|4.1.0                       |4.2.0


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

[Bug ada/18659] [4.2 Regression] ACATS failures c32001e c64105b c95086b

[laurent at guerby dot net]

------- Comment #22 from laurent at guerby dot net  2006-01-12 21:29 -------
On mainline as of 20060111, the three ACATS ICE are present when cross
compiling from x86-linux to sparc-rtems4.7.


-- 


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

[Bug ada/18659] [4.2 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

------- Comment #23 from ebotcazou at gcc dot gnu dot org  2006-01-25 11:38 -------
Working on it again.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-11-22 10:44:43         |2006-01-25 11:38:04
               date|                            |


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

[Bug ada/18659] [4.2 Regression] ACATS failures c32001e c64105b c95086b

[charlet at gcc dot gnu dot org]

------- Comment #24 from charlet at gcc dot gnu dot org  2006-02-15 09:31 -------
Subject: Bug 18659

Author: charlet
Date: Wed Feb 15 09:31:40 2006
New Revision: 111030

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111030
Log:
2006-02-13  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
            Olivier Hainque  <hainque@adacore.com>
            Eric Botcazou  <ebotcazou@adacore.com>

        * ada-tree.h: (TYPE_UNCHECKED_UNION_P): Deleted.

        * gigi.h (value_factor_p): Add prototype and description, now public.

        * decl.c (gnat_to_gnu_field): Don't attempt BLKmode to integral type
        promotion for field with rep clause if the associated size was proven
        to be in error.
        Expand comments describing attempts to use a packable type.
        (gnat_to_gnu_entity) <E_Signed_Integer_Subtype,
        E_Floating_Point_Subtype>: Inherit alias set of what we are making a
        subtype of to ensure conflicts amongst all subtypes in a hierarchy,
        necessary since these are not different types and pointers may
        actually designate any subtype in this hierarchy.
        (gnat_to_gnu_entity, case E_Record_Type): Always make fields for
        discriminants but put them into record only if not Unchecked_Union;
        pass flag to components_to_record showing Unchecked_Union.
        (make_dummy_type): Use UNION_TYPE only if Unchecked_Union and no
        components before variants; don't set TYPE_UNCHECKED_UNION_P.
        (components_to_record): New argument UNCHECKED_UNION.
        Remove special case code for Unchecked_Union and instead use main code
        with small changes.

        PR ada/26096
        (gnat_to_gnu_entity) <E_Variable>: Do not initialize the
        aligning variable with the expression being built, only its inner
        field.

        * trans.c (Handled_Sequence_Of_Statements_to_gnu): Remove call to
        emit_sequence_entry_statements.
        (emit_sequence_entry_statements, body_with_handlers_p): Delete.
        (establish_gnat_vms_condition_handler): Move before
        Subprogram_Body_to_gnu.
        (Subprogram_Body_to_gnu): On VMS, establish_gnat_vms_condition_handler
        for a subprogram if it has a foreign convention or is exported.
        (Identifier_to_gnu): Manually unshare the DECL_INITIAL tree when it is
        substituted for a CONST_DECL.
        (tree_transform, case N_Aggregate): Remove code for UNION_TYPE and pass
        Etype to assoc_to_constructor.
        (assoc_to_constructor): New argument, GNAT_ENTITY; use it to ignore
        discriminants of Unchecked_Union.
        (TARGET_ABI_OPEN_VMS): Define to 0 if not defined, so that later uses
        don't need cluttering preprocessor directives.
        (establish_gnat_vms_condition_handler): New function. Establish the
GNAT
        condition handler as current in the compiled function.
        (body_with_handlers_p): New function. Tell whether a given sequence of
        statements node is attached to a package or subprogram body and
involves
        exception handlers possibly nested within inner block statements.
        (emit_sequence_entry_statements): New function, to emit special
        statements on entry of sequences when necessary. Establish GNAT
        condition handler in the proper cases for VMS.
        (Handled_Sequence_Of_Statements_to_gnu): Start block code with
        emit_sequence_entry_statements.

        * utils2.c (find_common_type): If both input types are BLKmode and
        have a constant size, use the smaller one.
        (build_simple_component_ref): Also match if FIELD and NEW_FIELD are
        the same.

        * utils.c (value_factor_p): Make public, to allow uses from other gigi
        units.
        (create_type_decl): Do not set the flag DECL_IGNORED_P for dummy types.
        (convert, case UNION_TYPE): Remove special treatment for unchecked
        unions.

        PR ada/18659
        (update_pointer_to): Update variants of pointer types to
        unconstrained arrays by attaching the list of fields of the main
        variant.


Modified:
    trunk/gcc/ada/ada-tree.h
    trunk/gcc/ada/decl.c
    trunk/gcc/ada/gigi.h
    trunk/gcc/ada/trans.c
    trunk/gcc/ada/utils.c
    trunk/gcc/ada/utils2.c


-- 


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

[Bug ada/18659] [4.2 Regression] ACATS failures c32001e c64105b c95086b

[ebotcazou at gcc dot gnu dot org]

------- Comment #25 from ebotcazou at gcc dot gnu dot org  2006-02-15 10:07 -------
The fix is almost miraculous. :-)


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ebotcazou at gcc dot gnu dot|
                   |org                         |
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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