https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97954
Bug ID: 97954
Summary: [11 Regression] ICE in maybe_record_trace_start, at
dwarf2cfi.c:2360
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: gs...@t-online.de
Target Milestone: ---
Changed between 20201108 and 20201115 :
$ cat z1.c
int
foo (void)
{
int x;
lab:
asm goto ("": "=a" (x) : : : lab);
return x;
}
$ gcc-11-20201122 -c z1.c -O2
during RTL pass: dwarf2
z1.c: In function 'foo':
z1.c:8:1: internal compiler error: in maybe_record_trace_start, at
dwarf2cfi.c:2360
8 | }
| ^
0x7c9c43 maybe_record_trace_start
../../gcc/dwarf2cfi.c:2360
0x7ca18a create_trace_edges
../../gcc/dwarf2cfi.c:2501
0x7cc163 scan_trace
../../gcc/dwarf2cfi.c:2732
0x7cca31 create_cfi_notes
../../gcc/dwarf2cfi.c:2758
0x7cca31 execute_dwarf2_frame
../../gcc/dwarf2cfi.c:3122
0x7cca31 execute
../../gcc/dwarf2cfi.c:3610
---
z1.c: In function 'foo':
z1.c:8:1: error: too many outgoing branch edges from bb 4
8 | }
| ^
during RTL pass: loop2_invariant
z1.c:8:1: internal compiler error: verify_flow_info failed
0x814164 verify_flow_info()
../../gcc/cfghooks.c:269
0xb3c87b checking_verify_flow_info
../../gcc/cfghooks.h:212
0xb3c87b move_loop_invariants()
../../gcc/loop-invariant.c:2304
0xb384f0 execute
../../gcc/loop-init.c:530
