[Bug testsuite/89258] New: [9 Regression] verify_gimple failed in gimple test pr80887 for 16-bit target

[jozef.l at mittosystems dot com]

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.