https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119124
Bug ID: 119124
Summary: ICE: verify_flow_info failed
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: bic60176 at gmail dot com
Target Milestone: ---
Created attachment 60660
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60660&action=edit
testcase
Compiler Explorer: https://godbolt.org/z/rzrME7Ges
Console:
<source>: In function 'main':
<source>:10:9: error: expected expression before ';' token
10 | foo(;
| ^
<source>:10:5: error: too many arguments to function 'foo'; expected 0, have 1
10 | foo(;
| ^~~
<source>:5:8: note: declared here
5 | void foo(void) { asm goto("" : : : : lab4); }
| ^~~
<source>:17:12: error: expected ';' before '}' token
17 | return 0;
| ^
| ;
18 | }
| ~
<source>:8:3: error: label 'lab6' used but not defined
8 | void baz(void) { asm goto("" : : : : lab6); }
| ^~~~
<source>:7:3: error: label 'lab5' used but not defined
7 | void bar(void) { asm goto("" : : : : lab5); }
| ^~~~
<source>:6:3: error: label 'lab4' used but not defined
6 | void foo2(void) { asm goto("" : : : : lab4); }
| ^~~~
<source>: In function 'foo':
<source>:5:8: error: label 'lab4' has incorrect context in bb 2
5 | void foo(void) { asm goto("" : : : : lab4); }
| ^~~
during GIMPLE pass: cfg
<source>:5:8: internal compiler error: verify_flow_info failed
0x25f7f65 diagnostic_context::diagnostic_impl(rich_location*,
diagnostic_metadata const*, diagnostic_option_id, char const*, __va_list_tag
(*) [1], diagnostic_t)
???:0
0x260ef36 internal_error(char const*, ...)
???:0
0xbc9183 verify_flow_info()
???:0
0x11a07ac cleanup_tree_cfg(unsigned int)
???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1
