[Bug middle-end/72810] New: [7 Regression] error: type mismatch for case label in switch statement

["trippels at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72810

            Bug ID: 72810
           Summary: [7 Regression] error: type mismatch for case label in
                    switch statement
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
  Target Milestone: ---

markus@x4 Release % cat recover.i
typedef int a;
int b;
void c(a d) {
  switch (d)
  case 0:
  case 910:
  case 1:
    while (1) {
      if (b == 0)
        return;
      c(b);
    }
}

markus@x4 Release % gcc -O3 -c recover.i
recover.i: In function ‘c’:
recover.i:3:6: error: type mismatch for case label in switch statement
 void c(a d) {
      ^
case 910:
switch (b.0_1) <default: <L65>, case 1: <L35>, case 910: <L35>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L64>, case 1: <L63>, case 910: <L63>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L63>, case 1: <L62>, case 910: <L62>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L62>, case 1: <L61>, case 910: <L61>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L61>, case 1: <L60>, case 910: <L60>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L60>, case 1: <L59>, case 910: <L59>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L59>, case 1: <L58>, case 910: <L58>>
recover.i:3:6: error: type mismatch for case label in switch statement
case 910:
switch (b.0_15) <default: <L58>, case 1: <L75>, case 910: <L75>>
recover.i:3:6: internal compiler error: verify_gimple failed
0xbcd806 verify_gimple_in_cfg(function*, bool)
        ../../gcc/gcc/tree-cfg.c:5212
0xab81f3 execute_function_todo
        ../../gcc/gcc/passes.c:1964
0xab8bab execute_todo
        ../../gcc/gcc/passes.c:2016
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.