[Bug c/108596] New: error: EDGE_CROSSING missing across section boundary

[dcb314 at hotmail dot com]

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

            Bug ID: 108596
           Summary: error: EDGE_CROSSING missing across section boundary
           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, derived from yesterday's linux-6.2-rc6:

enum { false, true };
__attribute__((__cold__)) _printk();
_static_cpu_has() {
  asm goto("" : : : : t_yes, t_no);
t_yes:
  return true;
t_no:
  return false;
}
acpi_sleep_prepare() {
  _Bool __trans_tmp_1 = _static_cpu_has();
  if (!__trans_tmp_1)
    acpi_set_waking_vector();
  _printk();
}

does this:

$ /home/dcb36/gcc/results/bin/gcc -c -w -std=gnu11   -O2 bug878.c 
bug878.c: In function ‘acpi_sleep_prepare’:
bug878.c:15:1: error: EDGE_CROSSING missing across section boundary
   15 | }
      | ^
during RTL pass: bbpart
bug878.c:15:1: internal compiler error: verify_flow_info failed
0x8818f1 verify_flow_info()
        ../../trunk.d1/gcc/cfghooks.cc:285

$ /home/dcb36/gcc/results/bin/gcc -c -w -std=gnu11   -O1 bug878.c 
$

The bug first seems to occur sometime before g:9b111debbfb79a0a,
dated 20221229.