https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89258
Bug ID: 89258
Summary: [9 Regression] verify_gimple failed in gimple test
pr80887 for 16-bit target
Product: gcc
Version: 9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: testsuite
Assignee: unassigned at gcc dot gnu.org
Reporter: jozef.l at mittosystems dot com
Target Milestone: ---
Created attachment 45649
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45649&action=edit
pr80887.c
gcc.dg/tree-ssa/pr80887.c ICEs for msp430-elf on trunk.
xgcc gcc/gcc/testsuite/gcc.dg/tree-ssa/pr80887.c -fgimple -msim -S
gcc/gcc/testsuite/gcc.dg/tree-ssa/pr80887.c: In function 'f':
gcc/gcc/testsuite/gcc.dg/tree-ssa/pr80887.c:6:1: error: type mismatch in binary
expression
6 | f()
| ^
unsigned int
unsigned int
long unsigned int
u_9 = _4 + 4294967295;
gcc/gcc/testsuite/gcc.dg/tree-ssa/pr80887.c:6:1: error: type mismatch in binary
expression
unsigned int
unsigned int
long unsigned int
t2_12 = _6 + 4294967294;
during GIMPLE pass: omplower
gcc/gcc/testsuite/gcc.dg/tree-ssa/pr80887.c:6:1: internal compiler error:
verify_gimple failed
0xbd430d verify_gimple_in_seq(gimple*)
../../gcc/tree-cfg.c:5094
0xacfd0a execute_function_todo
../../gcc/passes.c:1979
0xad0c02 execute_todo
../../gcc/passes.c:2031
---
The test passes on gcc-8-branch (less strict gimple checking in GCC8?).
int size is 16-bits for msp430, the constants use in this test assume at least
32-bit int.
