Incorrect terminator generation

[wenpen]

The following code would generate incorrect terminator, and result in module verification error.

  switch(a) {
  case 0:
    break; 
    int x = 1;
  }

  switch(a) {
  case 0:
    return 0;
    return 1;
    int x = 1;
  }

for (;;) {
  break;
  int x = 1;
}