[Bug middle-end/49629] New: [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[Bug middle-end/49629] New: [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[gjl at gcc dot gnu.org]

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

           Summary: [4.7 Regression] ICE: in df_refs_verify, at df-scan.c
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: gjl@gcc.gnu.org
                CC: eric.weddington@atmel.com
            Target: avr


Apperas not to be a target bug...

In 4.7.0 trunk (SVN 175881), the following testcases ICE the compiler:

/mnt/nfs/home/georg/gnu/gcc.gnu.org/trunk/gcc/testsuite/gcc.c-torture/compile/pr34448.c:
In function 'build_attr_cert':

/mnt/nfs/home/georg/gnu/gcc.gnu.org/trunk/gcc/testsuite/gcc.c-torture/compile/pr34448.c:31:1:
internal compiler error: in df_refs_verify, at df-scan.c:4268

gcc.c-torture/compile/pr34448.c  -O2
gcc.c-torture/compile/pr34448.c  -O3 -fomit-frame-pointer
gcc.c-torture/compile/pr34448.c  -O3 -g

/mnt/nfs/home/georg/gnu/gcc.gnu.org/trunk/gcc/testsuite/gcc.c-torture/compile/pr39928-1.c:
In function 'vq_nbest':

/mnt/nfs/home/georg/gnu/gcc.gnu.org/trunk/gcc/testsuite/gcc.c-torture/compile/pr39928-1.c:9:1:
internal compiler error: in df_refs_verify, at df-scan.c:4268

gcc.c-torture/compile/pr39928-1.c  -O2
gcc.c-torture/compile/pr39928-1.c  -O3 -fomit-frame-pointer
gcc.c-torture/compile/pr39928-1.c  -O3 -g

GCC configured: 
==============

Reading specs from /mnt/nfs/home/georg/gnu/build/gcc-trunk-avr/gcc/specs
COLLECT_GCC=/mnt/nfs/home/georg/gnu/build/gcc-trunk-avr/gcc/xgcc
COLLECT_LTO_WRAPPER=/mnt/nfs/home/georg/gnu/build/gcc-trunk-avr/gcc/lto-wrapper
Target: avr
Configured with: ../../gcc.gnu.org/trunk/configure --target=avr
--prefix=/local/gnu/install/gcc-4.7 --disable-nls --disable-shared
--enable-languages=c,c++ --with-dwarf2 --disable-lto
Thread model: single
gcc version 4.7.0 20110704 (experimental) (GCC)
GNU C (GCC) version 4.7.0 20110704 (experimental) (avr)
        compiled by GNU C version 4.3.2 [gcc-4_3-branch revision 141291], GMP
version 5.0.1, MPFR version 3.0.0-p8, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096

Command line (spawned by dejagnu)
=================================
/local/gnu/build/gcc-trunk-avr/gcc/xgcc -B/local/gnu/build/gcc-trunk-avr/gcc/
-O2 -w -DSTACK_SIZE=2048 -DNO_TRAMPOLINES -c -DSIGNAL_SUPPRESS -mmcu=atmega128
-I/home/georg/gnu/install/gcc-4.7/avr/include -o pr34448.o
/mnt/nfs/home/georg/gnu/gcc.gnu.org/trunk/gcc/testsuite/gcc.c-torture/compile/pr34448.c

Backtrace
=========

(gdb) bt
#0  fancy_abort (file=0x889de00 "../../../gcc.gnu.org/trunk/gcc/df-scan.c",
line=4268, function=0x889e5c2 "df_refs_verify") at
../../../gcc.gnu.org/trunk/gcc/diagnostic.c:893
#1  0x0822c38a in df_refs_verify (new_rec=0x89e8d80, old_rec=0x0,
abort_if_fail=1 '\001') at ../../../gcc.gnu.org/trunk/gcc/df-scan.c:4268
#2  0x08230e5e in df_insn_refs_verify (collection_rec=0xbfffe1fc, bb=<value
optimized out>, insn=<value optimized out>, abort_if_fail=1 '\001') at
../../../gcc.gnu.org/trunk/gcc/df-scan.c:4358
#3  0x082331ba in df_bb_verify (bb=0xb7dec940) at
../../../gcc.gnu.org/trunk/gcc/df-scan.c:4392
#4  0x0823346f in df_scan_verify () at
../../../gcc.gnu.org/trunk/gcc/df-scan.c:4526
#5  0x082226e5 in df_analyze () at
../../../gcc.gnu.org/trunk/gcc/df-core.c:1644
#6  0x083caed5 in rest_of_handle_ira () at
../../../gcc.gnu.org/trunk/gcc/ira.c:3561
#7  0x08447bf6 in execute_one_pass (pass=0x89440e0) at
../../../gcc.gnu.org/trunk/gcc/passes.c:2061
#8  0x08447f6d in execute_pass_list (pass=0x89440e0) at
../../../gcc.gnu.org/trunk/gcc/passes.c:2116
#9  0x08447f80 in execute_pass_list (pass=0x89444e0) at
../../../gcc.gnu.org/trunk/gcc/passes.c:2117
#10 0x08533731 in tree_rest_of_compilation (fndecl=0xb7dd3000) at
../../../gcc.gnu.org/trunk/gcc/tree-optimize.c:416
#11 0x0820436a in cgraph_expand_function (node=0xb7dd2138) at
../../../gcc.gnu.org/trunk/gcc/cgraphunit.c:1792
#12 0x082052e9 in cgraph_optimize () at
../../../gcc.gnu.org/trunk/gcc/cgraphunit.c:1851
#13 0x082066e5 in cgraph_finalize_compilation_unit () at
../../../gcc.gnu.org/trunk/gcc/cgraphunit.c:1292
#14 0x080b92a8 in c_write_global_declarations () at
../../../gcc.gnu.org/trunk/gcc/c-decl.c:9844
#15 0x084c54da in compile_file () at
../../../gcc.gnu.org/trunk/gcc/toplev.c:564
#16 0x084c754d in do_compile () at ../../../gcc.gnu.org/trunk/gcc/toplev.c:1895
#17 0x084c76c5 in toplev_main (argc=12, argv=0xbfffe654) at
../../../gcc.gnu.org/trunk/gcc/toplev.c:1967
#18 0x08183df2 in main (argc=514, argv=0x60) at
../../../gcc.gnu.org/trunk/gcc/main.c:36

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[eric.weddington at atmel dot com]

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

Eric Weddington <eric.weddington at atmel dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.07.14 20:22:06
     Ever Confirmed|0                           |1

--- Comment #1 from Eric Weddington <eric.weddington at atmel dot com> 2011-07-14 20:22:06 UTC ---
Recent AVR test results confirm these two tests failing.
http://gcc.gnu.org/ml/gcc-testresults/2011-07/msg01530.html



FAIL: gcc.c-torture/compile/pr34448.c  -O2  (internal compiler error)
FAIL: gcc.c-torture/compile/pr34448.c  -O2  (test for excess errors)
FAIL: gcc.c-torture/compile/pr34448.c  -O3 -fomit-frame-pointer  (internal
compiler error)
FAIL: gcc.c-torture/compile/pr34448.c  -O3 -fomit-frame-pointer  (test for
excess errors)
FAIL: gcc.c-torture/compile/pr34448.c  -O3 -g  (internal compiler error)
FAIL: gcc.c-torture/compile/pr34448.c  -O3 -g  (test for excess errors)
FAIL: gcc.c-torture/compile/pr34448.c  -O2 -flto -flto-partition=none 
(internal compiler error)
FAIL: gcc.c-torture/compile/pr34448.c  -O2 -flto -flto-partition=none  (test
for excess errors)
FAIL: gcc.c-torture/compile/pr34448.c  -O2 -flto  (internal compiler error)
FAIL: gcc.c-torture/compile/pr34448.c  -O2 -flto  (test for excess errors)


FAIL: gcc.c-torture/compile/pr39928-1.c  -O2  (internal compiler error)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O2  (test for excess errors)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O3 -fomit-frame-pointer  (internal
compiler error)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O3 -fomit-frame-pointer  (test for
excess errors)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O3 -g  (internal compiler error)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O3 -g  (test for excess errors)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O2 -flto -flto-partition=none 
(internal compiler error)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O2 -flto -flto-partition=none  (test
for excess errors)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O2 -flto  (internal compiler error)
FAIL: gcc.c-torture/compile/pr39928-1.c  -O2 -flto  (test for excess errors)

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[pthaugen at gcc dot gnu.org]

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

--- Comment #2 from Pat Haugen <pthaugen at gcc dot gnu.org> 2011-07-14 21:08:53 UTC ---
Created attachment 24770
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24770
reduced testcase

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[pthaugen at gcc dot gnu.org]

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

Pat Haugen <pthaugen at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bergner at gcc dot gnu.org,
                   |                            |pthaugen at gcc dot gnu.org

--- Comment #3 from Pat Haugen <pthaugen at gcc dot gnu.org> 2011-07-14 21:10:49 UTC ---
I'm seeing the same error on PowerPC trying to build cpu2006 benchmark
435.gromacs. Testcase attatched in prior comment.

temp/delta> /home/pthaugen/install/gcc/trunk/bin/gcc -c -m64 -O2 -mcpu=power7
pdbio.c
pdbio.c: In function ‘write_pdbfile_indexed’:
pdbio.c:64:1: internal compiler error: in df_refs_verify, at df-scan.c:4268
Please submit a full bug report,

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[gjl at gcc dot gnu.org]

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

Georg-Johann Lay <gjl at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|avr                         |avr, powerpc

--- Comment #4 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-07-29 14:46:07 UTC ---
(In reply to comment #3)
> I'm seeing the same error on PowerPC trying to build cpu2006 benchmark
> 435.gromacs. Testcase attatched in prior comment.
> 
> temp/delta> /home/pthaugen/install/gcc/trunk/bin/gcc -c -m64 -O2 -mcpu=power7
> pdbio.c
> pdbio.c: In function ‘write_pdbfile_indexed’:
> pdbio.c:64:1: internal compiler error: in df_refs_verify, at df-scan.c:4268
> Please submit a full bug report,

Would you please add the output of the compiler together with -v so that we can
see how the compiler was configured? Thanks.

http://gcc.gnu.org/bugs/#need

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[pthaugen at gcc dot gnu.org]

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

--- Comment #5 from Pat Haugen <pthaugen at gcc dot gnu.org> 2011-08-01 21:12:55 UTC ---
> /home/pthaugen/install/gcc/trunk/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/pthaugen/install/gcc/trunk/bin/gcc
COLLECT_LTO_WRAPPER=/home/pthaugen/install/gcc/trunk/libexec/gcc/powerpc64-linux/4.7.0/lto-wrapper
Target: powerpc64-linux
Configured with: /home/pthaugen/src/gcc/trunk/gcc/configure
--prefix=/home/pthaugen/install/gcc/trunk --target=powerpc64-linux
--host=powerpc64-linux --build=powerpc64-linux --enable-secureplt
--enable-threads=posix --enable-shared --enable-__cxa_atexit
--with-long-double-128 --enable-decimal-float --disable-alsa --enable-checking
--with-lto --with-as=/home/wschmidt/binutils/install/bin/as
--with-ld=/home/wschmidt/binutils/install/bin/ld
--with-libelf=/home/pthaugen/install/gcc-host-libs
--with-gmp=/home/pthaugen/install/gcc-host-libs
--with-mpfr=/home/pthaugen/install/gcc-host-libs
--with-mpc=/home/pthaugen/install/gcc-host-libs
--with-ppl=/home/pthaugen/install/gcc-host-libs
--with-cloog=/home/pthaugen/install/gcc-host-libs
--with-host-libstdcxx=-Wl,-Bstatic,-L/home/pthaugen/install/gcc-host-libs/lib,-lstdc++,-Bdynamic,-lm
--enable-languages=c,fortran,c++ --disable-bootstrap
Thread model: posix
gcc version 4.7.0 20110801 (experimental) [trunk revision 177065] (GCC)

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

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

--- Comment #6 from Steven Bosscher <steven at gcc dot gnu.org> 2011-10-11 22:12:25 UTC ---
I cannot reproduce the power7 ICE with a cross-compiler (x86_64 X powerpc),
with trunk revision r179665. Pat, is this problem still there for you? If so,
can you look at the backtrace and confirm that this ICE occurs in df-scan after
IRA?

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[pthaugen at gcc dot gnu.org]

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

--- Comment #7 from Pat Haugen <pthaugen at gcc dot gnu.org> 2011-10-12 15:19:54 UTC ---
No, I no longer see the failure on PowerPC, for the reduced testcase or the
full benchmark.

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[gjl at gcc dot gnu.org]

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

--- Comment #8 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-10-12 16:27:34 UTC ---
For me it works, too. There are no ICEs any more for avr-unknown-none and the
test cases mentioned in comment #0.

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-28 15:55:35 UTC ---
So can this be closed now?

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[gjl at gcc dot gnu.org]

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

--- Comment #10 from Georg-Johann Lay <gjl at gcc dot gnu.org> 2011-11-28 16:21:24 UTC ---
Yes from my side.

[Bug middle-end/49629] [4.7 Regression] ICE: in df_refs_verify, at df-scan.c

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WORKSFORME

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-28 16:30:15 UTC ---
Closing then.