[Bug ada/18572] New: Bus error compiling makegpr.adb on Mac OS X 10.3

[Bug ada/18572] New: Bus error compiling makegpr.adb on Mac OS X 10.3

[gcc-bugzilla at gcc dot gnu dot org]

As already described in PR ada/18217, while building gnattools gnat1 gets a
bus error compiling makegpr.adb:

$ ../../xgcc -c -I./ -I../rts -I. -I/vol/gnu/src/gcc/gcc-dist/gcc/ada -B../../ -O2 -g -O2 -gnatpg -gnata -I- /vol/gnu/src/gcc/gcc-dist/gcc/ada/makegpr.adb
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041119 (experimental) (powerpc-apple-darwin7.6.0) Bus error      |
| Error detected at makegpr.adb:4159:23                                    |

Program received signal EXC_BAD_ACCESS, Could not access memory.
0x004e9650 in initializer_zerop (init=0x4469dcc0) at /vol/gnu/src/gcc/gcc-dist/gcc/tree.c:5834
(gdb) where
#0  0x004e9650 in initializer_zerop (init=0x4469dcc0) at /vol/gnu/src/gcc/gcc-dist/gcc/tree.c:5834
#1  0x004e97dc in initializer_zerop (init=0x4469dcc0) at /vol/gnu/src/gcc/gcc-dist/gcc/tree.c:5870
#2  0x004e97dc in initializer_zerop (init=0x4469dcc0) at /vol/gnu/src/gcc/gcc-dist/gcc/tree.c:5870
#3  0x004fb574 in assemble_variable (decl=0xc659a8, top_level=115, at_end=6317412, dont_output_data=1147788480) at /vol/gnu/src/gcc/gcc-dist/gcc/varasm.c:1706
#4  0x00503118 in rest_of_decl_compilation (decl=0x4469dcc0, top_level=6317412, at_end=12999080) at /vol/gnu/src/gcc/gcc-dist/gcc/passes.c:235
#5  0x00507bfc in expand_one_var (var=0x4469dcc0, toplevel=100 'd') at /vol/gnu/src/gcc/gcc-dist/gcc/cfgexpand.c:559
#6  0x005094ac in tree_expand_cfg () at /vol/gnu/src/gcc/gcc-dist/gcc/cfgexpand.c:791
#7  0x0024896c in execute_pass_list (pass=0x44698210) at /vol/gnu/src/gcc/gcc-dist/gcc/tree-optimize.c:511
#8  0x00248ca8 in tree_rest_of_compilation (fndecl=0x0) at /vol/gnu/src/gcc/gcc-dist/gcc/tree-optimize.c:643
#9  0x005330bc in cgraph_expand_function (node=0x44699880) at /vol/gnu/src/gcc/gcc-dist/gcc/cgraphunit.c:822
#10 0x0053407c in cgraph_optimize () at /vol/gnu/src/gcc/gcc-dist/gcc/cgraphunit.c:1689
#11 0x004d6528 in toplev_main (argc=12717220, argv=0xc265b4) at /vol/gnu/src/gcc/gcc-dist/gcc/toplev.c:985
#12 0x00002584 in _start (argc=16, argv=0xbffff93c, envp=0xbffff980) at /SourceCache/Csu/Csu-47/crt.c:267
#13 0x8fe1a558 in __dyld__dyld_start ()

The file compiles without problems at -O0.  With this change and the
workaround from PR ada/18217, I was able to finish a C and Ada bootstrap.

make check currently running.

Environment:
System: Darwin nil 7.6.0 Darwin Kernel Version 7.6.0: Sun Oct 10 12:05:27 PDT 2004; root:xnu/xnu-517.9.4.obj~1/RELEASE_PPC Power Macintosh powerpc


	
host: powerpc-apple-darwin7.6.0
build: powerpc-apple-darwin7.6.0
target: powerpc-apple-darwin7.6.0
configured with: /vol/gnu/src/gcc/gcc-dist/configure --prefix=/vol/gcc/obj/gnat/4.0.0/7.6.0 --with-local-prefix=/vol/gcc/obj/gnat/4.0.0/7.6.0 --disable-nls --enable-languages=c,ada

How-To-Repeat:
Bootstrap as described above.

-- 
           Summary: Bus error compiling makegpr.adb on Mac OS X 10.3
           Product: gcc
           Version: 0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ro at techfak dot uni-bielefeld dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-apple-darwin7.6.0
  GCC host triplet: powerpc-apple-darwin7.6.0
GCC target triplet: powerpc-apple-darwin7.6.0


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

[Bug ada/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Keywords|                            |build, ice-on-valid-code
            Summary|Bus error compiling         |[4.0 Regression] Bus error
                   |makegpr.adb on Mac OS X 10.3|compiling makegpr.adb on Mac
                   |                            |OS X 10.3
   Target Milestone|---                         |4.0.0
            Version|0.0                         |4.0.0


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

[Bug ada/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-19 23:35 -------
Hmm, I did get a different ICE before on this file when I was trying to confirm PR 18237 so it might be 
the same bug, I will let my build go and see what happens.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |18237


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

[Bug ada/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-20 03:12 -------
I cannot even get even passed stage1 anymore:
gcc -c -g -no-cpp-precomp -DHAVE_DESIGNATED_INITIALIZERS=0 -DENABLE_CHECKING 
-DENABLE_ASSERT_CHECKING      -gnatpg -gnata -I- -I. -Iada -I/Users/pinskia/src/local2/gcc/gcc/
ada /Users/pinskia/src/local2/gcc/gcc/ada/stylesw.adb -o ada/stylesw.o
/Users/pinskia/src/local2/gcc/gcc/ada/stylesw.adb:53:07: "Style_Check_Subprogram_Order" is 
undefined (more references follow)

-- 


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

[Bug ada/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-21 23:07 -------
Confirmed.
  static struct gnat__strings__string_list_access C.572 = {.P_ARRAY=(struct 
gnat__strings__string_access[(long int) <PLACEHOLDER_EXPR struct 
gnat__strings__string_list_access>.P_BOUNDS->LB0 .. (long int) <PLACEHOLDER_EXPR struct 
gnat__strings__string_list_access>.P_BOUNDS->UB0] *) C.2650_12486, .P_BOUNDS=&C.2650};

Note C.2650_12486, I think this is an SRA bug as we don't have it before SRA, but after wards we do.  I 
think it comes from not copying the tree before setting gimplifying the tree.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rth at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-11-21 23:07:49
               date|                            |


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

[Bug ada/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-22 00:07 -------
Oh, I think I have a fix, testing it right now, basically we need to unshare the expression before 
gimplifying the DECL's initialize.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|powerpc-apple-darwin7.6.0   |
   GCC host triplet|powerpc-apple-darwin7.6.0   |


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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-22 02:20 -------
Patch posted here: <http://gcc.gnu.org/ml/gcc-patches/2004-11/msg01724.html>.
I am now able to build the Ada compiler on ppc-darwin with the patch above and the patch for PR 
18217.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |18217
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
          Component|ada                         |tree-optimization
           Keywords|                            |patch


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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

-- 
Bug 18572 depends on bug 18217, which changed state.

Bug 18217 Summary: [4.0 Regression] Ada Bootstrap failures on powerpc-darwin with undefined symbol (__Unwind_fallback_frame_state_for)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18217

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[ro at techfak dot uni-bielefeld dot de]

------- Additional Comments From ro at techfak dot uni-bielefeld dot de  2004-11-22 14:18 -------
Subject: Re:  [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

pinskia at gcc dot gnu dot org writes:

> I cannot even get even passed stage1 anymore:
> gcc -c -g -no-cpp-precomp -DHAVE_DESIGNATED_INITIALIZERS=0 -DENABLE_CHECKING 
> -DENABLE_ASSERT_CHECKING      -gnatpg -gnata -I- -I. -Iada -I/Users/pinskia/src/local2/gcc/gcc/
> ada /Users/pinskia/src/local2/gcc/gcc/ada/stylesw.adb -o ada/stylesw.o
> /Users/pinskia/src/local2/gcc/gcc/ada/stylesw.adb:53:07: "Style_Check_Subprogram_Order" is 
> undefined (more references follow)

I had forgotten about that change; this seems to be fixed on mainline by
now.

	Rainer


-- 


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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-22 14:31 -------
(In reply to comment #6)
> Subject: Re:  [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3
> 
> pinskia at gcc dot gnu dot org writes:
> 
> > I cannot even get even passed stage1 anymore:
> 
> I had forgotten about that change; this seems to be fixed on mainline by
> now.

Yes that is fixed, with my two just applied patches and the one which was posted above,
I get the results at:
http://gcc.gnu.org/ml/gcc-testresults/2004-11/msg00937.html


-- 


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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-11-22 20:02 -------
Subject: Bug 18572

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	pinskia@gcc.gnu.org	2004-11-22 20:02:17

Modified files:
	gcc            : ChangeLog tree-sra.c 

Log message:
	2004-11-22  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR tree-opt/18572
	* tree-sra.c (scalarize_init): Unshare the rhs before gimplifying
	it.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6456&r2=2.6457
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-sra.c.diff?cvsroot=gcc&r1=2.44&r2=2.45



-- 


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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-22 20:03 -------
Fixed.

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


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

[Bug tree-optimization/18572] [4.0 Regression] Bus error compiling makegpr.adb on Mac OS X 10.3

[pinskia at gcc dot gnu dot org]

-- 
Bug 18572 depends on bug 18237, which changed state.

Bug 18237 Summary: [4.0 regression]  ICE in gen_lowpart_general, at rtlhooks.c:58
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
             Status|ASSIGNED                    |NEW
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

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