tests/test-373.cs

   1 using C = System.Console;
   2
   3 class Test  {
   4
   5     public static void Main (string[] args) {
   6       switch (1) {
   7         default:
   8           switch (2) {
   9             default:
  10               int flag = 1;       //makes the next if computable -- essential!
  11               if (flag == 1) {
  12                 C.WriteLine("**** This one is expected");
  13                 break;  //break-2
  14               }
  15               else  goto lbl;
  16           }
  17           break;  //break-1  This point is REACHABLE through break-2,
  18                   // contrary to the warning from compiler!
  19
  20         lbl:
  21           C.WriteLine("**** THIS SHOULD NOT APPEAR, since break-1 was supposed to fire ***");
  22           break;
  23
  24       }
  25     }
  26 }