[Bug c/112345] New: ice in mark_block_for_update

[Bug c/112345] New: ice in mark_block_for_update

[dcb314 at hotmail dot com]

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

            Bug ID: 112345
           Summary: ice in mark_block_for_update
           Product: gcc
           Version: unknown
            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:

int bail, test_block_move_end;
void test_block_move(my_cpu) {
  int start;
  int *p;
  _Bool at_end = 0;
  do {
    if (test_block_move_end)
      at_end = 1;
    if (my_cpu)
      continue;
    do
      write64();
    while (p <= start && (p += 16));
    if (bail)
      ;
  } while (!at_end && ++start);
}

compiled by recent gcc trunk as follows:

$ ~/gcc/results/bin/gcc -c -w -g -O2 bug974.c
during GIMPLE pass: thread
bug974.c: In function ‘test_block_move’:
bug974.c:2:6: internal compiler error: Segmentation fault
    2 | void test_block_move(my_cpu) {
      |      ^~~~~~~~~~~~~~~
0xebd2e9 crash_signal(int)
        ../../trunk.year/gcc/toplev.cc:315
0xf61718 mark_block_for_update(basic_block_def*)
        ../../trunk.year/gcc/tree-into-ssa.cc:451
0xf61ec2 mark_use_interesting(tree_node*, gimple*, basic_block_def*, bool)
        ../../trunk.year/gcc/tree-into-ssa.cc:2654

The bg first seems to occur sometime between g:8c40b72036c967fb
and g:9119b008b4195e06

[Bug tree-optimization/112345] [14 Regression] ice in mark_block_for_update

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
   Target Milestone|---                         |14.0
   Last reconfirmed|                            |2023-11-02
     Ever confirmed|0                           |1
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=112320
            Version|unknown                     |14.0
           Keywords|                            |ice-on-valid-code
            Summary|ice in                      |[14 Regression] ice in
                   |mark_block_for_update       |mark_block_for_update

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I am 99% sure this is the same underlying problem as reported in PR 112320.

[Bug tree-optimization/112345] [14 Regression] ice in mark_block_for_update

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
We have now:
  # DEBUG p => D#1

[Bug tree-optimization/112345] [14 Regression] ice in mark_block_for_update

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Yes it is a dup.

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