[Bug tree-optimization/111514] New: [14 Regression] ICE: in lower_bound, at value-range.h:1078 since r14-3644-g1aceceb1e2

[Bug tree-optimization/111514] New: [14 Regression] ICE: in lower_bound, at value-range.h:1078 since r14-3644-g1aceceb1e2

[shaohua.li at inf dot ethz.ch]

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

            Bug ID: 111514
           Summary: [14 Regression] ICE: in lower_bound, at
                    value-range.h:1078 since r14-3644-g1aceceb1e2
           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: guojiufu at gcc dot gnu.org
  Target Milestone: ---

gcc at -O3 crashes on the following testcase.

Bisected to r14-3644-g1aceceb1e2

Compiler explorer: https://godbolt.org/z/65G54cY8Y

$ cat a.c
unsigned a;
int b, f, g, h;
int e[1];
void j() {
  int k;
  b = 0;
  for (; k;)
    if (f)
      if (h)
        b ^= 0 <= 0;
}
void i() {
  j();
  for (; a; ++a) {
    {
      int c = b, d;
      if (b >= 'z' && d)
        c = 5;
      g = c;
    }
    *e = g;
  }
}

int main() {}
$
$ gcc -O3 a.c
during GIMPLE pass: vrp
a.c: In function ‘i’:
a.c:12:6: internal compiler error: in lower_bound, at value-range.h:1078
   12 | void i() {
      |      ^
0x7fa1dcb81082 __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.
$

[Bug tree-optimization/111514] [14 Regression] ICE: in lower_bound, at value-range.h:1078 since r14-3644-g1aceceb1e2

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
           Keywords|                            |ice-on-valid-code

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I suspect r14-4192-g4d80863d7f93c0a839d1fe5 fixed this ...

[Bug tree-optimization/111514] [14 Regression] ICE: in lower_bound, at value-range.h:1078 since r14-3644-g1aceceb1e2

[shaohua.li at inf dot ethz.ch]

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

--- Comment #2 from Shaohua Li <shaohua.li at inf dot ethz.ch> ---
(In reply to Andrew Pinski from comment #1)
> I suspect r14-4192-g4d80863d7f93c0a839d1fe5 fixed this ...

I checked the commit r14-4192-g4d80863d7f93c0a839d1fe5, and it indeed fixed the
issue.

[Bug tree-optimization/111514] [14 Regression] ICE: in lower_bound, at value-range.h:1078 since r14-3644-g1aceceb1e2

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed I think.