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

["arthur.j.odwyer at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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