[Bug tree-optimization/102087] [12 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: in determine_exit_conditions, at tree-ssa-loop-manip.c:1049 since r12-3136-g3673dcf6d6baeb67

[dcb314 at hotmail dot com via Gcc-bugs]

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

--- Comment #20 from David Binderman <dcb314 at hotmail dot com> ---
This code still seems broken:

**Gif_ClipImage_gfi_0;
Gif_ClipImage_gfi_1, Gif_ClipImage_y, Gif_ClipImage_shift;
Gif_ClipImage() {
  Gif_ClipImage_y = Gif_ClipImage_gfi_1 - 1;
  for (; Gif_ClipImage_y >= Gif_ClipImage_shift; Gif_ClipImage_y++)
    Gif_ClipImage_gfi_0[Gif_ClipImage_shift] =
        Gif_ClipImage_gfi_0[Gif_ClipImage_y];
}

bug760.c: In function ‘Gif_ClipImage’:
bug760.c:3:1: error: type mismatch in binary expression
    3 | Gif_ClipImage() {
      | ^~~~~~~~~~~~~
unsigned int

int

int

_18 = Gif_ClipImage_gfi_1.0_1 + -1;
bug760.c:3:1: error: type mismatch in binary expression
unsigned int

int

int

_12 = Gif_ClipImage_gfi_1.0_1 + -1;
during GIMPLE pass: aprefetch
bug760.c:3:1: internal compiler error: verify_gimple failed
0xde2f5a verify_gimple_in_cfg(function*, bool)

Flag -O3 -march=bdver2 required.