[Bug target/69015] New: ICE: RTL check: expected code 'code_label', have 'return' in find_cond_trap, at ifcvt.c:3715 with -fno-if-conversion and __builtin_trap()

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 69015
           Summary: ICE: RTL check: expected code 'code_label', have
                    'return' in find_cond_trap, at ifcvt.c:3715 with
                    -fno-if-conversion and __builtin_trap()
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: powerpc-unknown-linux-gnu

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

Compiler output:
$ powerpc-unknown-linux-gnu-gcc -O -fno-if-conversion testcase.c 
testcase.c: In function 'foo':
testcase.c:6:1: internal compiler error: RTL check: expected code 'code_label',
have 'return' in find_cond_trap, at ifcvt.c:4576
 }
 ^

0xab3ac7 rtl_check_failed_code1(rtx_def const*, rtx_code, char const*, int,
char const*)
        /repo/gcc-trunk/gcc/rtl.c:811
0x11bc76b find_cond_trap
        /repo/gcc-trunk/gcc/ifcvt.c:4576
0x11bc76b find_if_header
        /repo/gcc-trunk/gcc/ifcvt.c:4165
0x11bc76b if_convert
        /repo/gcc-trunk/gcc/ifcvt.c:5302
0x11bcb4d execute
        /repo/gcc-trunk/gcc/ifcvt.c:5492
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.


$ powerpc-unknown-linux-gnu-gcc -v                               
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-powerpc/bin/powerpc-unknown-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-231884-checking-yes-rtl-df-nographite-powerpc/bin/../libexec/gcc/powerpc-unknown-linux-gnu/6.0.0/lto-wrapper
Target: powerpc-unknown-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-checking=yes,rtl,df --without-cloog --without-ppl --without-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=powerpc-unknown-linux-gnu
--with-ld=/usr/bin/powerpc-unknown-linux-gnu-ld
--with-as=/usr/bin/powerpc-unknown-linux-gnu-as
--with-sysroot=/usr/powerpc-unknown-linux-gnu --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-231884-checking-yes-rtl-df-nographite-powerpc
Thread model: posix
gcc version 6.0.0 20151221 (experimental) (GCC) 


Only powerpc[64] target has problems with this testcase.


Tested revisions:
r231884 - FAIL
5-branch r231870 - FAIL
4_9-branch r231865 - FAIL
4_8-branch r224828 - FAIL