[Bug c/110929] New: ICE: verify_ssa failed since r14-2946-g46c8c225455

[shaohua.li at inf dot ethz.ch]

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

            Bug ID: 110929
           Summary: ICE: verify_ssa failed since r14-2946-g46c8c225455
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shaohua.li at inf dot ethz.ch
  Target Milestone: ---

A recent regression since r14-2946-g46c8c225455

$ cat a.c
int a, b, c, d, f, g, h, i;
static int e = 1;
int l();
int j() {
  l();
  for (; b;)
    if (e)
      break;
  g = d;
  f = d && c;
  if (f)
    ;
  else {
  k:
    h ^= 0;
    for (;;)
      if (b)
        goto k;
  }
}
int l() {
  int *m = &a;
  d && (*m = i);
}
int main() {}
$
$ gcc-r14-2946-g46c8c225455 -O2 a.c
<source>: In function 'j':
<source>:4:5: error: stmt with wrong VUSE
    4 | int j() {
      |     ^
# VUSE <.MEM_7(D)>
pretmp_6 = b;
expected .MEM_26
during GIMPLE pass: sink
<source>:4:5: internal compiler error: verify_ssa failed
0x21705ce internal_error(char const*, ...)
        ???:0
0x132320e verify_ssa(bool, bool)
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
$