[Bug tree-optimization/107975] New: [13 Regression] frange ICE since r13-4492

[Bug tree-optimization/107975] New: [13 Regression] frange ICE since r13-4492

[jakub at gcc dot gnu.org]

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

            Bug ID: 107975
           Summary: [13 Regression] frange ICE since r13-4492
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

My r13-4492-g4500baaccb6e4d696e223c338bbdf7705c3646dd change caused ICE on:
double
foo (double x, double y)
{
  if (x == 42.0)
    return 1.0;
  double r = x * y;
  if (!__builtin_isnan (r))
    __builtin_unreachable ();
  return r;
}

[Bug tree-optimization/107975] [13 Regression] frange ICE since r13-4492

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
   Target Milestone|---                         |13.0
   Last reconfirmed|                            |2022-12-05
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED

[Bug tree-optimization/107975] [13 Regression] frange ICE since r13-4492

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The testcase was guessed from the
https://gcc.gnu.org/pipermail/gcc-regression/2022-December/077258.html
report.

[Bug tree-optimization/107975] [13 Regression] frange ICE since r13-4492

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
*** Bug 107982 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/107975] [13 Regression] frange ICE since r13-4492

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:0525a7fad2a5b1d933a9662c11aa074b38cfa3d5

commit r13-4501-g0525a7fad2a5b1d933a9662c11aa074b38cfa3d5
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Dec 6 10:23:55 2022 +0100

    range-op-float: Fix up ICE in lower_bound [PR107975]

    According to
https://gcc.gnu.org/pipermail/gcc-regression/2022-December/077258.html
    my patch caused some ICEs, e.g. the following testcase ICEs.
    The problem is that lower_bound and upper_bound methods on a france assert
    that the range isn't VR_NAN or VR_UNDEFINED.
    All the op1_range/op2_range methods already return early if
lhs.undefined_p,
    but the other cases (when lhs is VR_NAN or the other opN is VR_NAN or
    VR_UNDEFINED) aren't.  float_binary_op_range_finish will DTRT for those
    cases already.

    2022-12-06  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/107975
            * range-op-float.cc (foperator_mult::op1_range,
            foperator_div::op1_range, foperator_div::op2_range): Just
            return float_binary_op_range_finish result if lhs is known
            NAN, or the other operand is known NAN or UNDEFINED.

            * gcc.dg/pr107975.c: New test.

[Bug tree-optimization/107975] [13 Regression] frange ICE since r13-4492

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.

[Bug tree-optimization/107975] [13 Regression] frange ICE since r13-4492

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zsojka at seznam dot cz

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
*** Bug 107989 has been marked as a duplicate of this bug. ***