[Bug ada/62019] New: [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[Bug ada/62019] New: [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

            Bug ID: 62019
           Summary: [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for
                    excess errors) on x86_64-apple-darwin13
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dominiq at lps dot ens.fr
                CC: charlet at adacore dot com, ebotcazou at gcc dot gnu.org,
                    iains at gcc dot gnu.org
              Host: x86_64-apple-darwin13
            Target: x86_64-apple-darwin13
             Build: x86_64-apple-darwin13

On x86_64-apple-darwin13 the test gnat.dg/weak2.adb has started to fail between
revisions r212916 (OK) and r213046. The error is

raised CONSTRAINT_ERROR : erroneous memory access
gnatmake: "/opt/gcc/work/gcc/testsuite/gnat.dg/weak2.adb" compilation error

[Bug ada/62019] [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

Arnaud Charlet <charlet at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-08-05
     Ever confirmed|0                           |1

--- Comment #1 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Yes, I've also noticed that (on x86_64-pc-linux-gnu). As you might have
noticed, this was caused by a non Ada (middle end or back end) change. Would be
great if you could identify more precisely the change that caused this
regressions.

[Bug ada/62019] [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |ebotcazou at gcc dot gnu.org

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I also noticed it, it comes from Jan's recent changes made to aliasing.

[Bug ada/62019] [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.10.0

[Bug ada/62019] [4.10 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
r21298O is OK, the test fails starting at r213007. Bootstrapping r212982 fails
with

In file included from ../../p_work/gcc/cgraphunit.c:164:0:
../../p_work/gcc/cgraphunit.c: In function 'void compile()':
../../p_work/gcc/cgraphunit.c:2249:56: error: 'symtab_alias_target' was not
declared in this scope
        : DECL_ASSEMBLER_NAME (symtab_alias_target (node)->decl));
                                                        ^
../../p_work/gcc/tree.h:2346:56: note: in definition of macro
'DECL_ASSEMBLER_NAME'
 #define DECL_ASSEMBLER_NAME(NODE) decl_assembler_name (NODE)

and r213000 with

../../p_work/gcc/ada/gcc-interface/utils.c: In function 'void
rest_of_subprog_body_compilation(tree)':
../../p_work/gcc/ada/gcc-interface/utils.c:2805:48: error:
'cgraph_get_create_node' was not declared in this scope
     (void) cgraph_get_create_node (subprog_decl);
                                                ^
gnatbind -nostdinc -I- -I. -Iada -I../../p_work/gcc/ada
-I../../p_work/gcc/ada/gcc-interface -o b_gnatb.adb ada/gnatbind.ali
mv b_gnatb.adb b_gnatb.ads ada/
../../p_work/gcc/ada/gcc-interface/utils.c: In function 'void
gnat_write_global_declarations()':
../../p_work/gcc/ada/gcc-interface/utils.c:5760:49: error:
'varpool_node_for_decl' was not declared in this scope
       node = varpool_node_for_decl (dummy_global);

Giving up!

[Bug ada/62019] [5 Regression] FAIL: gnat.dg/weak2.adb (test for excess errors) on x86_64-apple-darwin13

[danglin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |danglin at gcc dot gnu.org

--- Comment #4 from John David Anglin <danglin at gcc dot gnu.org> ---
I see similar error on hppa-unknown-linux-gnu:

/xgcc --GNATBIND=/home/dave/gnu/gcc/objdir/gcc/gnatbind
--GNATLINK=/home/dave/gn
u/gcc/objdir/gcc/gnatlink -cargs -B/home/dave/gnu/gcc/objdir/gcc -largs
--GCC=/home/dave/gnu/gcc/objdir/gcc/xgcc -B/home/dave/gnu/gcc/objdir/gcc 
-margs --RTS=/home/dave/gnu/gcc/objdir/hppa-linux-gnu/./libada -q -f
/home/dave/gnu/gcc/gcc/gcc/testsuite/gnat.dg/weak2.adb
-fno-diagnostics-show-caret -fdiagnostics-color=never -c -u -S -o weak2.sraised
STORAGE_ERROR : stack overflow or erroneous memory access
gnatmake: "/home/dave/gnu/gcc/gcc/gcc/testsuite/gnat.dg/weak2.adb" compilation
error

[Bug ada/62019] [5 Regression] gnat.dg/weak2.adb fails everywhere

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Author: ebotcazou
Date: Tue Oct 14 21:04:05 2014
New Revision: 216223

URL: https://gcc.gnu.org/viewcvs?rev=216223&root=gcc&view=rev
Log:
    PR ada/62019
    * tree-eh.c (tree_could_trap) <FUNCTION_DECL>: Revamp and really
    do not choke on null node.
    <VAR_DECL>: Likewise.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-eh.c

[Bug ada/62019] [5 Regression] gnat.dg/weak2.adb fails everywhere

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62019

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
.