[Bug c/101496] New: ice during GIMPLE pass: evrp

["dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 101496
           Summary: ice during GIMPLE pass: evrp
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

This C source code:

int c_1, li_2, us_3, func_14_s_5;

void func_14() {
  {
    unsigned uli_8 = 0;
  lbl1806324B:
    if (uli_8 /= us_3 |= func_14_s_5 < 0 | func_14_s_5 != c_1) {
      uli_8 += c_1 >= us_3;
      if (uli_8)
        ;
      else
        li_2 &&func_14_s_5 <= c_1 ?: 0;
      long *ptr_9 = &uli_8;
    }
  }
  goto lbl1806324B;
}

with recent gcc trunk does this:

$ /home/dcb/gcc/results/bin/gcc -c -O2 bug736.c 2>&1 | more
bug736.c: In function ‘func_14’:
bug736.c:13:21: warning: initialization of ‘long int *’ from incompatible point
er type ‘unsigned int *’ [-Wincompatible-pointer-types]
   13 |       long *ptr_9 = &uli_8;
      |                     ^
during GIMPLE pass: evrp
bug736.c:17:1: internal compiler error: in fold_cond, at vr-values.c:3482
   17 | }
      | ^
0x7d8685 simplify_using_ranges::fold_cond(gcond*)
        ../../trunk.git/gcc/vr-values.c:3482
0x1334c24 simplify_using_ranges::simplify_cond_using_ranges_1(gcond*)
        ../../trunk.git/gcc/vr-values.c:3517
0x1160886 substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
        ../../trunk.git/gcc/tree-ssa-propagate.c:870
0x1ad3e77 dom_walker::walk(basic_block_def*)
        ../../trunk.git/gcc/domwalk.c:309

Bug first seems to occur sometime after git hash 42ff474e28fa3c85
but before cca7eb8f7cc157ed.