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.