[Bug c/79498] New: ICE in df_insn_delete, at df-scan.c:948

[gerhard.steinmetz.fortran@t-online.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79498

            Bug ID: 79498
           Summary: ICE in df_insn_delete, at df-scan.c:948
           Product: gcc
           Version: 7.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gerhard.steinmetz.fortran@t-online.de
  Target Milestone: ---

Version 7 gives an ICE for testsuite file pr78526.c
in combination with -mcmodel=large and -Os, -O2 or higher :


$ gcc-7-20170212 -O2 -mcmodel=large -c pr78526.c
pr78526.c: In function 'bar':
pr78526.c:11:1: warning: AVX512F vector return without AVX512F enabled changes
the ABI [-Wpsabi]
 {
 ^
pr78526.c: In function 'foo':
pr78526.c:18:1: note: The ABI for passing parameters with 64-byte alignment has
changed in GCC 4.6
 foo (U u)
 ^~~
pr78526.c:18:1: warning: AVX512F vector argument without AVX512F enabled
changes the ABI [-Wpsabi]
pr78526.c:21:1: internal compiler error: in df_insn_delete, at df-scan.c:948
 }
 ^
0x82e90c df_insn_delete(rtx_insn*)
        ../../gcc/df-scan.c:948
0x7d5a87 delete_insn(rtx_insn*)
        ../../gcc/cfgrtl.c:169
0x7d5bb6 delete_insn_and_edges(rtx_insn*)
        ../../gcc/cfgrtl.c:231
0x12af85d delete_trivially_dead_insns(rtx_insn*, int)
        ../../gcc/cse.c:7146
0x12c962b fwprop_done
        ../../gcc/fwprop.c:1451
0x12cc31f fwprop_addr
        ../../gcc/fwprop.c:1552
0x12cc31f execute
        ../../gcc/fwprop.c:1580