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