[Bug c/105462] New: ice in set_range_info_raw, at tree-ssanames.cc:356

[Bug c/105462] New: ice in set_range_info_raw, at tree-ssanames.cc:356

[dcb314 at hotmail dot com]

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

            Bug ID: 105462
           Summary: ice in set_range_info_raw, at tree-ssanames.cc:356
           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: ---

Created attachment 52919
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52919&action=edit
C source code

The attached C code, with compiler flag -O2, does this:

$ /home/dcb/gcc/results.20220430.asan.ubsan/bin/gcc -c -w -O2 bug807.c
during GIMPLE pass: vrp
atan.c: In function ‘mpfr_atan’:
atan.c:279:1: internal compiler error: in set_range_info_raw, at
tree-ssanames.cc:356
0x8ad950 set_range_info_raw(tree_node*, value_range_kind,
generic_wide_int<wide_int_ref_storage<false, true> > const&,
generic_wide_int<wide_int_ref_storage<false, true> > const&)
        ../../trunk.git/gcc/tree-ssanames.cc:356
0x305f39a set_range_info
        ../../trunk.git/gcc/tree-ssanames.cc:414

The previous compiler seemed fine:

$ /home/dcb/gcc/results.20220429.asan.ubsan/bin/gcc -c -w -O2 bug807.c
$ 

The bug first appears sometime between git hash 3d8d093e820b10a4 and
66d1e440e14377a3.

I have a reduction already running.

[Bug tree-optimization/105462] ice in set_range_info_raw, at tree-ssanames.cc:356

[dcb314 at hotmail dot com]

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

--- Comment #1 from David Binderman <dcb314 at hotmail dot com> ---
Reduced C code is

int mpfr_atan_aux_r;
void mpfr_atan() {
  2 * mpfr_atan_aux_r > mpfr_atan_aux_r ?: __builtin_unreachable();
  mpfr_atan_aux_r = 2 * mpfr_atan_aux_r;
}

[Bug tree-optimization/105462] [13 Regression] ice in set_range_info_raw, at tree-ssanames.cc:356

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aldyh at gcc dot gnu.org
   Target Milestone|---                         |13.0
            Summary|ice in set_range_info_raw,  |[13 Regression] ice in
                   |at tree-ssanames.cc:356     |set_range_info_raw, at
                   |                            |tree-ssanames.cc:356

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Probably needs a similar fix as set_range_info (I wonder why this function is
still exported?)

[Bug tree-optimization/105462] [13 Regression] ice in set_range_info_raw, at tree-ssanames.cc:356

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug tree-optimization/105462] [13 Regression] ice in set_range_info_raw, at tree-ssanames.cc:356

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Fixed in r13-60-g75bbc3da3e5f75f6.