[Bug middle-end/48722] New: ICE in df_refs_verify() with -mno-push-args

[Bug middle-end/48722] New: ICE in df_refs_verify() with -mno-push-args

[arthur.j.odwyer at gmail dot com]

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

           Summary: ICE in df_refs_verify() with -mno-push-args
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: arthur.j.odwyer@gmail.com


Created attachment 24071
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24071
Output of "ajo-gcc -v -w -m32 -Os -mno-push-args test512888621-reduced.c -c"

This reproduces for me with svn revision 172796 (2011-04-20), but it doesn't
reproduce with gcc-4.4.  I'm on Ubuntu 10.10, x86-64.  Attached "gcc-v.txt".

cat >test512888621-reduced.c <<EOF
extern long long ll;
extern int i;
void func_43(int, long long);
int func_35()
{
    func_43(ll > 0x85, i);
    return 0;
}
EOF
gcc -w -m32 -Os -mno-push-args test512888621-reduced.c -c

test512888621-reduced.c: In function ‘func_35’:
test512888621-reduced.c:8:1: internal compiler error: in df_refs_verify, at
df-scan.c:4267

This test case is reduced from the output of Csmith
(http://embed.cs.utah.edu/csmith/), using the following command line:
csmith --bitfields --packed-struct -s 512888621 > test512888621.c

[Bug middle-end/48722] ICE in df_refs_verify() with -mno-push-args

[pthaugen at gcc dot gnu.org]

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

--- Comment #1 from Pat Haugen <pthaugen at gcc dot gnu.org> 2011-04-25 20:47:52 UTC ---
Created attachment 24095
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24095
reduced testcase

Similar failure on powerpc64-linux when building cpu2006 benchmark 435.gromacs.

> /home/pthaugen/install/gcc/trunk/bin/gcc -c -m64 -O2 -mcpu=power6 pdbio.c
pdbio.c: In function ‘write_pdbfile_indexed’:
pdbio.c:65:1: internal compiler error: in df_refs_verify, at df-scan.c:4267
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug middle-end/48722] ICE in df_refs_verify() with -mno-push-args

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011-08-22
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-22 06:57:23 UTC ---
Created attachment 25072
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25072
gcc47-pr48722.patch

Untested fix.

[Bug middle-end/48722] [4.7 Regression] ICE in df_refs_verify() with -mno-push-args

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0
            Summary|ICE in df_refs_verify()     |[4.7 Regression] ICE in
                   |with -mno-push-args         |df_refs_verify() with
                   |                            |-mno-push-args

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-22 07:17:14 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=171033
which started emitting more stuff in CALL_INSN_FUNCTION_USAGE.

[Bug middle-end/48722] [4.7 Regression] ICE in df_refs_verify() with -mno-push-args

[pthaugen at gcc dot gnu.org]

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

--- Comment #4 from Pat Haugen <pthaugen at gcc dot gnu.org> 2011-08-22 18:55:49 UTC ---
The testcase from comment 1 no longer fails on trunk, so I'm unable to test the
patch.

[Bug middle-end/48722] [4.7 Regression] ICE in df_refs_verify() with -mno-push-args

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-29 11:52:26 UTC ---
Author: jakub
Date: Mon Aug 29 11:52:22 2011
New Revision: 178208

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178208
Log:
    PR middle-end/48722
    * emit-rtl.c (unshare_all_rtl_again): For CALL_INSNs,
    reset_used_flags also in CALL_INSN_FUNCTION_USAGE.
    (verify_rtl_sharing): Likewise and verify_rtx_sharing
    in there too.
    (unshare_all_rtl_in_chain): For CALL_INSNs
    copy_rtx_if_shared also CALL_INSN_FUNCTION_USAGE.

    * gcc.target/i386/pr48722.c: New test.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr48722.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/emit-rtl.c
    trunk/gcc/testsuite/ChangeLog

[Bug middle-end/48722] [4.7 Regression] ICE in df_refs_verify() with -mno-push-args

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-29 12:31:12 UTC ---
Fixed.