https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128263
Bug ID: 128263
Summary: ICE at O2: verify_ssa failed
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: bic60176 at gmail dot com
Target Milestone: ---
Compiler Explorer: https://godbolt.org/z/75nW1jnbf
Console:
<source>: In function 'mullo':
<source>:7:9: warning: output constraint '+' for operand 0 is not at the
beginning
7 | "+d"(b));
| ^~~~
<source>:5:3: warning: output constraint '+' for operand 0 is not at the
beginning
5 | asm("mul %%edx # %%1 was %1"
| ^~~
<source>:3:1: warning: matching constraint does not allow a register
3 | mullo (int a, int b)
| ^~~~~
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:3:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
16 | }
| ^
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: warning: matching constraint does not allow a register
<source>:16:1: error: virtual definition of statement not up to date
# VUSE <.MEM_1(D)>
__asm__("mul %%edx # %%1 was %1" : "=ja" a, "=d" b_3 : "0" a, "1" b_2(D));
during GIMPLE pass: ssa
<source>:16:1: internal compiler error: verify_ssa failed
0x2912368 diagnostics::context::diagnostic_impl(rich_location*,
diagnostics::metadata const*, diagnostics::option_id, char const*,
__va_list_tag (*) [1], diagnostics::kind)
???:0
0x2906fab internal_error(char const*, ...)
???:0
0x1533a2a verify_ssa(bool, bool)
???:0
/cefs/7f/7fa6d45b591391d387e52988_gcc-trunk-20261028/bin/../libexec/gcc/x86_64-linux-gnu/17.0.0/cc1
-quiet -imultiarch x86_64-linux-gnu -iprefix
/cefs/7f/7fa6d45b591391d387e52988_gcc-trunk-20261028/bin/../lib/gcc/x86_64-linux-gnu/17.0.0/
<source> -quiet -dumpdir /app/ -dumpbase output.c -dumpbase-ext .c -masm=intel
-mtune=generic -march=x86-64 -g -O2 -fdiagnostics-color=always -fno-verbose-asm
-o /app/output.s
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
