[Bug c/108638] New: Another ice in decompose, at wide-int.h:984

[Bug c/108638] New: Another ice in decompose, at wide-int.h:984

[dcb314 at hotmail dot com]

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

            Bug ID: 108638
           Summary: Another ice in decompose, at wide-int.h:984
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

For this C code:

long orte_pre_condition_transports_print_j;
int orte_pre_condition_transports_print_int_ptr_0;
orte_pre_condition_transports_print() {
  for (;;)
    if (orte_pre_condition_transports_print_int_ptr_0)
      for (; orte_pre_condition_transports_print_j < sizeof(int);)
        orte_pre_condition_transports_print_int_ptr_0 |=
            orte_pre_condition_transports_print_j
            << orte_pre_condition_transports_print_j;
}

compiled by recent gcc, does this:

$ /home/dcb36/gcc/results/bin/gcc -c -w -O1 bug879.c 2>&1 | fgrep "internal c"
bug879.c:3:1: internal compiler error: in decompose, at wide-int.h:984
$ 

This was ok at g:da3aca031be736fe, dated 20230129, but not ok at
g:77906341efc5cb69, dated  20230131.

[Bug c/108638] Another ice in decompose, at wide-int.h:984

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-02-02
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  backtrace eventually lands in ranger territorry:

0x1a9808e irange::operator==(irange const&) const
        /space/rguenther/src/gcc/gcc/value-range.cc:1297
0x2e65f02 range_operator::fold_range(irange&, tree_node*, irange const&, irange
const&, relation_trio) const
        /space/rguenther/src/gcc/gcc/range-op.cc:271
0x2e6cf9d operator_lshift::fold_range(irange&, tree_node*, irange const&,
irange const&, relation_trio) const
        /space/rguenther/src/gcc/gcc/range-op.cc:2246
0x2e77330 range_op_handler::fold_range(vrange&, tree_node*, vrange const&,
vrange const&, relation_trio) const
        /space/rguenther/src/gcc/gcc/range-op.cc:4583
0x2cf743d fold_using_range::range_of_range_op(vrange&,
gimple_range_op_handler&, fur_source&)
        /space/rguenther/src/gcc/gcc/gimple-range-fold.cc:589
...

possibly crossing some type boundary through relations?

[Bug tree-optimization/108638] [13 Regression] Another ice in decompose, at wide-int.h:984

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0
          Component|c                           |tree-optimization
            Summary|Another ice in decompose,   |[13 Regression] Another ice
                   |at wide-int.h:984           |in decompose, at
                   |                            |wide-int.h:984
           Priority|P3                          |P1

[Bug tree-optimization/108638] [13 Regression] Another ice in decompose, at wide-int.h:984

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
                 CC|                            |jakub at gcc dot gnu.org
             Status|NEW                         |RESOLVED

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Dup.

*** This bug has been marked as a duplicate of bug 108639 ***