[Bug target/68471] New: ICE: in df_refs_verify, at df-scan.c:4022 with -mmitigate-rop and long double

[zsojka at seznam dot cz]

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

            Bug ID: 68471
           Summary: ICE: in df_refs_verify, at df-scan.c:4022 with
                    -mmitigate-rop and long double
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---

Created attachment 36796
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36796&action=edit
reduced testcase

Compiler output:
$ gcc -mmitigate-rop testcase.c
testcase.c: In function 'foo':
testcase.c:4:1: internal compiler error: in df_refs_verify, at df-scan.c:4022
 }
 ^

0x7927a2 df_refs_verify
        /mnt/svn/gcc-trunk/gcc/df-scan.c:4022
0x793daf df_insn_refs_verify
        /mnt/svn/gcc-trunk/gcc/df-scan.c:4102
0x7944e2 df_bb_verify
        /mnt/svn/gcc-trunk/gcc/df-scan.c:4131
0x7980f7 df_scan_verify()
        /mnt/svn/gcc-trunk/gcc/df-scan.c:4263
0x7802c8 df_verify()
        /mnt/svn/gcc-trunk/gcc/df-core.c:1831
0x78033a df_analyze_1
        /mnt/svn/gcc-trunk/gcc/df-core.c:1217
0xebb7d0 ix86_mitigate_rop
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.c:45245
0xebb7d0 ix86_reorg
        /mnt/svn/gcc-trunk/gcc/config/i386/i386.c:45424
0xb01709 execute
        /mnt/svn/gcc-trunk/gcc/reorg.c:3945
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.


$ gcc -v                       
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-230703-lto-fortran-checking-yes-rtl-df/bin/../libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk//binary-230703-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl --without-isl
Thread model: posix
gcc version 6.0.0 20151121 (experimental) (GCC) 


The compiler has DF checking enabled, but it might be not needed to reproduce.

Tested revisions:
r230703 - ICE