https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103527
Bug ID: 103527
Summary: [12 Regression] verify_gimple failed since
r12-5613-g32ede1083fad4b68
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: rsandifo at gcc dot gnu.org
Target Milestone: ---
Created attachment 51919
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51919&action=edit
Test-case
The following fails, it's reduced from SPEC benchmarks:
$ gfortran -Ofast -march=znver3 -g -flto=auto -w -std=legacy 1.f 2.f
/usr/bin/ld: /tmp/cc9dOvFO.o (symbol from plugin): in function `hfprop_':
(.text+0x0): multiple definition of `main'; /tmp/cc414jER.o (symbol from
plugin):(.text+0x0): first defined here
1.f: In function 'intefl.constprop':
1.f:15:23: error: invalid types in nop conversion
15 | SUBROUTINE INTEFL(LIT,LJT,IJ,IJX,IJY,IJZ,DIJ,WINT,AA,AX,AY,AZ)
| ^
float
bool
_383 = (float) _209;
1.f:15:23: error: invalid types in nop conversion
float
bool
_672 = (float) _209;
during GIMPLE pass: vect
1.f:15:23: internal compiler error: verify_gimple failed
0xe30b05 verify_gimple_in_cfg(function*, bool)
/home/marxin/Programming/gcc/gcc/tree-cfg.c:5578
0xcf947e execute_function_todo
/home/marxin/Programming/gcc/gcc/passes.c:2084
0xcf9a9b execute_todo
/home/marxin/Programming/gcc/gcc/passes.c:2138
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
make: *** [/tmp/ccEYd2W3.mk:2: /tmp/ccv2S7vc.ltrans0.ltrans.o] Error 1
lto-wrapper: fatal error: make returned 2 exit status
compilation terminated.
/usr/bin/ld: error: lto-wrapper failed
collect2: error: ld returned 1 exit status
