[Bug tree-optimization/68549] [6 Regression] ICE: in verify_loop_structure, at cfgloop.c:1669

[su at cs dot ucdavis.edu]

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

Zhendong Su <su at cs dot ucdavis.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |su at cs dot ucdavis.edu

--- Comment #9 from Zhendong Su <su at cs dot ucdavis.edu> ---
Here is another test case for the same ICE: 

$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr/local/gcc-trunk
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 6.0.0 20151126 (experimental) [trunk revision 230945] (GCC) 
$ 
$ gcc-trunk -O3 -c small.c
small.c: In function ‘fn2’:
small.c:21:1: error: loop 3’s latch is missing
 }
 ^

small.c:21:1: error: loop 5’s latch is missing
small.c:21:1: error: loop 9’s latch is missing
small.c:21:1: internal compiler error: in verify_loop_structure, at
cfgloop.c:1669
0x715d18 verify_loop_structure()
        ../../gcc-trunk/gcc/cfgloop.c:1669
0x96de4e checking_verify_loop_structure
        ../../gcc-trunk/gcc/cfgloop.h:325
0x96de4e loop_optimizer_init(unsigned int)
        ../../gcc-trunk/gcc/loop-init.c:106
0x96df2a rtl_loop_init
        ../../gcc-trunk/gcc/loop-init.c:398
0x96df2a execute
        ../../gcc-trunk/gcc/loop-init.c:425
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.
$ 


------------------------------------------


short a, d, f, h;
int b, c, e, g, i;

unsigned 
fn1 (int p1, int p2)
{
  return p2 > 1 || p1 >> p2 ? p1 : p2;
}

void
fn2 ()
{
  int j;
  g = f;
  while (h)
    {
      j = a < 0 || (b = 2) ? a : 2;
      j && (i = fn1 (fn1 (h, e), 3));
      e = c && d;
    }
}