[Bug tree-optimization/111571] New: [13/14 Regression] ICE in modify_call, at ipa-param-manipulation.cc:656

[shaohua.li at inf dot ethz.ch]

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

            Bug ID: 111571
           Summary: [13/14 Regression] ICE in modify_call, at
                    ipa-param-manipulation.cc:656
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shaohua.li at inf dot ethz.ch
                CC: mjambor at suse dot cz
  Target Milestone: ---

gcc at -O2 crashes on the following testcase.

Bisected to r13-4685-g4834e9360f7

Compiler explorer: https://godbolt.org/z/3b9ra7Kf8

$ cat a.c
struct a {
  int b;
};
struct c {
  long d;
  struct a e;
  long f;
};
int g, h, i;
int j() {return 0;}
static void k(struct a l, int p) {
  if (h)
    g = 0;
  for (; g; g = j())
    if (l.b)
      break;
}
static void m(struct c l) {
  k(l.e, l.f);
  for (;; --i)
    ;
}
int main() {
  struct c n = {10, 9};
  m(n);
}
$
$ gcc -O2 a.c
during IPA pass: inline
a.c: In function ‘main’:
a.c:25:9: internal compiler error: in modify_call, at
ipa-param-manipulation.cc:655
   25 |         m(n);
      |         ^~~~
0x7f9be5bb7082 __libc_start_main
        ../csu/libc-start.c:308
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.
$