[Bug c/126641] New: [17 Regression], ice in frange_nextafter, at range-op-float.cc:315

[dcb314 at hotmail dot com via Gcc-bugs]

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

            Bug ID: 126641
           Summary: [17 Regression], ice in frange_nextafter, at
                    range-op-float.cc:315
           Product: gcc
           Version: 17.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 65240
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65240&action=edit
gzipped C source code

In a build of libquadmath in a recent gcc trunk,
this happens:

during GIMPLE pass: vrp
../../../trunk/libquadmath/math/rem_pio2q.c: In function
‘__quadmath_rem_pio2q’:
../../../trunk/libquadmath/math/rem_pio2q.c:509:1: internal compiler error:
Segm
entation fault
0x26541e6 internal_error(char const*, ...)
        ../../trunk/gcc/diagnostic-global-context.cc:787
0xef0f5f crash_signal
        ../../trunk/gcc/toplev.cc:325
0xe0ef0e frange_nextafter(machine_mode, real_value&, real_value const&)
        ../../trunk/gcc/range-op-float.cc:315
0x12eefd2 frange_fusible_p
        ../../trunk/gcc/value-range.cc:1041
0x12eefd2 frange_fusible_p
        ../../trunk/gcc/value-range.cc:1035

Here is an example:

$ /home/dcb42/gcc/working/./gcc/cc1  -c -w  -O2 bug1232.c
atoi atol atoll __bswap_16 __bswap_32 __bswap_64 __uint16_identity __uint32_ide
ntity __uint64_identity bsearch atof cimagq crealq conjq mul_splitq
libc_feholds
etround_ctx libc_feresetround_ctx __quadmath_kernel_rem_pio2
__quadmath_rem_pio2
q
Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> {heap 1128k} <visibility> {heap 1128k} <build_ssa_passes>
{he
ap 1128k} <targetclone> {heap 1612k} <opt_local_passes> {heap 1612k}
<remove_sym
bols> {heap 2204k} <targetclone> {heap 2204k} <free-fnsummary> {heap
2204k}Strea
ming LTO
 <whole-program> {heap 2204k} <profile_estimate> {heap 2204k} <icf> {heap
2204k}
 <devirt> {heap 2204k} <cp> {heap 2204k} <sra> {heap 2204k} <fnsummary> {heap
22
04k} <inline> {heap 2204k} <pure-const> {heap 2204k} <modref> {heap 2204k}
<free
-fnsummary> {heap 2204k} <static-var> {heap 2204k} <single-use> {heap 2204k}
<co
mdats> {heap 2204k}Assembling functions:
 <simdclone> {heap 2204k} __quadmath_rem_pio2q {GC released 1112k} {GC 5378k -> 
2970k}during GIMPLE pass: vrp
../../../trunk/libquadmath/math/rem_pio2q.c: In function
‘__quadmath_rem_pio2q’:
../../../trunk/libquadmath/math/rem_pio2q.c:509:1: internal compiler error:
Segm
entation fault

All seems ok yesterday at g:9933a5fe43a383ad and wrong today at
g:1e5aaad93d8426a4112873e6ff7266f49153c535

Compiler is recent gcc trunk. Native is znver3.