[Bug bootstrap/42619] New: [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[Bug bootstrap/42619] New: [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[ro at gcc dot gnu dot org]

As of 20100104 (rev. 155613), mainline failsto bootstrap on alpha-dec-osf4.0f
while compiling the stage3 libiberty/regex.o:

% /vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/xgcc
-B/vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/
-B/vol/gcc/alpha-dec-osf4.0f/bin/ -B/vol/gcc/alpha-dec-osf4.0f/bin/
-B/vol/gcc/alpha-dec-osf4.0f/lib/ -isystem /vol/gcc/alpha-dec-osf4.0f/include
-isystem /vol/gcc/alpha-dec-osf4.0f/sys-include    -c -DHAVE_CONFIG_H -g -O2 
-I. -I/vol/gcc/src/gcc-dist/libiberty/../include  -W -Wall -Wwrite-strings
-Wc++-compat -Wstrict-prototypes -pedantic 
/vol/gcc/src/gcc-dist/libiberty/regex.c -o regex.o -save-temps -v
Reading specs from /vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/specs
COLLECT_GCC=/vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/xgcc
COLLECT_LTO_WRAPPER=/vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/lto-wrapper
Target: alpha-dec-osf4.0f
Configured with: /vol/gcc/src/gcc-dist/configure --prefix=/vol/gcc
--with-local-prefix=/vol/gcc --disable-nls --with-gmp=/vol/gcc
--with-mpfr=/vol/gcc --with-mpc=/vol/gcc --with-libelf=/vol/gcc --host
alpha-dec-osf4.0f --build alpha-dec-osf4.0f --target alpha-dec-osf4.0f
--enable-languages=c,c++,fortran,java,objc
Thread model: posix
gcc version 4.5.0 20100104 (experimental) [trunk revision 155613] (GCC) 
COLLECT_GCC_OPTIONS='-B/vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/'
'-B/vol/gcc/alpha-dec-osf4.0f/bin/' '-B/vol/gcc/alpha-dec-osf4.0f/bin/'
'-B/vol/gcc/alpha-dec-osf4.0f/lib/' '-isystem'
'/vol/gcc/alpha-dec-osf4.0f/include' '-isystem'
'/vol/gcc/alpha-dec-osf4.0f/sys-include' '-c' '-DHAVE_CONFIG_H' '-g' '-O2'
'-I.' '-I/vol/gcc/src/gcc-dist/libiberty/../include' '-W' '-Wall'
'-Wwrite-strings' '-Wc++-compat' '-Wstrict-prototypes' '-pedantic' '-o'
'regex.o' '-save-temps' '-v'
 /vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/cc1 -E -quiet -v -I.
-I/vol/gcc/src/gcc-dist/libiberty/../include -iprefix
/tmp_mnt/vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/prev-gcc/../lib/gcc/alpha-dec-osf4.0f/4.5.0/
-isystem /vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/include -isystem
/vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/include-fixed
-DHAVE_CONFIG_H -isystem /vol/gcc/alpha-dec-osf4.0f/include -isystem
/vol/gcc/alpha-dec-osf4.0f/sys-include /vol/gcc/src/gcc-dist/libiberty/regex.c
-W -Wall -Wwrite-strings -Wc++-compat -Wstrict-prototypes -pedantic -g
-fworking-directory -O2 -fpch-preprocess -o regex.i
[...]
 /vol/gcc/obj/gcc-4.5.0-20100104/4.0f-gcc/./prev-gcc/cc1 -fpreprocessed regex.i
-quiet -dumpbase regex.c -auxbase-strip regex.o -g -O2 -W -Wall -Wwrite-strings
-Wc++-compat -Wstrict-prototypes -pedantic -version -o regex.s
GNU C (GCC) version 4.5.0 20100104 (experimental) [trunk revision 155613]
(alpha-dec-osf4.0f)
        compiled by GNU C version 4.5.0 20100104 (experimental) [trunk revision
155613], GMP version 4.2.1, MPFR version 2.3.2, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C (GCC) version 4.5.0 20100104 (experimental) [trunk revision 155613]
(alpha-dec-osf4.0f)
        compiled by GNU C version 4.5.0 20100104 (experimental) [trunk revision
155613], GMP version 4.2.1, MPFR version 2.3.2, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 8f3075b99b6a6af3bebe7ab0e925e5fb
In file included from /vol/gcc/src/gcc-dist/libiberty/regex.c:638:0:
/vol/gcc/src/gcc-dist/libiberty/regex.c: In function 'byte_re_compile_fastmap':
/vol/gcc/src/gcc-dist/libiberty/regex.c:4660:20: warning: '({anonymous})' may
be used uninitialized in this function
/vol/gcc/src/gcc-dist/libiberty/regex.c:4653:22: note: '({anonymous})' was
declared here
In file included from /vol/gcc/src/gcc-dist/libiberty/regex.c:638:0:
/vol/gcc/src/gcc-dist/libiberty/regex.c: In function
'byte_re_match_2_internal':
/vol/gcc/src/gcc-dist/libiberty/regex.c:5543:1: error: definition in block 8
does not dominate use in block 7
for SSA_NAME: D.6360_246 in statement:
D.6361_247 = regstart_61 + D.6360_246;
/vol/gcc/src/gcc-dist/libiberty/regex.c:5543:1: internal compiler error:
verify_ssa failed

The problem doesn't happen at -O0, only with -O and above:

% cc1 -fpreprocessed regex.i -quiet -g -O
In file included from /vol/gcc/src/gcc-dist/libiberty/regex.c:638:0:
/vol/gcc/src/gcc-dist/libiberty/regex.c: In function
'byte_re_match_2_internal':
/vol/gcc/src/gcc-dist/libiberty/regex.c:5543:1: error: definition in block 13
does not dominate use in block 12
for SSA_NAME: D.6360_246 in statement:
D.6361_247 = regstart_61 + D.6360_246;
/vol/gcc/src/gcc-dist/libiberty/regex.c:5543:1: internal compiler error:
verify_ssa failed


-- 
           Summary: [4.5 regression] ICE building stage3 libiberty/regex.o
                    on Tru64 UNIX: verify_ssa failed
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ro at gcc dot gnu dot org
 GCC build triplet: alpha-dec-osf4.0f
  GCC host triplet: alpha-dec-osf4.0f
GCC target triplet: alpha-dec-osf4.0f


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

[Bug bootstrap/42619] [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[ro at gcc dot gnu dot org]

------- Comment #1 from ro at gcc dot gnu dot org  2010-01-05 11:00 -------
Created an attachment (id=19470)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19470&action=view)
preprocessed input file


-- 


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

[Bug bootstrap/42619] [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-01-05 11:16 -------
The testcase works on i?86.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.5.0


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

[Bug bootstrap/42619] [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[ro at CeBiTec dot Uni-Bielefeld dot DE]

------- Comment #3 from ro at CeBiTec dot Uni-Bielefeld dot DE  2010-01-05 11:30 -------
Subject: Re:  [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64
UNIX: verify_ssa failed

> ------- Comment #2 from rguenth at gcc dot gnu dot org  2010-01-05 11:16 -------
> The testcase works on i?86.

Same for a i386-pc-solaris2.10 -> alpha-dec-osf4.0f cross compiler.
This will make reghunting much slower.  I've last successfully
bootstrapped mainline on that platform on 20091217 (rev 155315).

     Rainer


-- 


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

[Bug bootstrap/42619] [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-01-07 14:50 -------
Does the ICE happen with the stage1 compiler?  Thus, is this PR maybe related
to PR42511?


-- 


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

[Bug bootstrap/42619] [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-01-07 14:58 -------
Works with a cross from i?86-linux, so I suspect prev-gcc is miscompiled. 
Please
check if the issue remains with PR42511 fixed.


-- 


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

[Bug bootstrap/42619] [4.5 regression] ICE building stage3 libiberty/regex.o on Tru64 UNIX: verify_ssa failed

[ubizjak at gmail dot com]

------- Comment #6 from ubizjak at gmail dot com  2010-01-08 07:33 -------
Dupe of 42511.

*** This bug has been marked as a duplicate of 42511 ***


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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