File: test-373.cs

package info (click to toggle)
mono 4.6.2.7%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 778,148 kB
  • ctags: 914,052
  • sloc: cs: 5,779,509; xml: 2,773,713; ansic: 432,645; sh: 14,749; makefile: 12,361; perl: 2,488; python: 1,434; cpp: 849; asm: 531; sql: 95; sed: 16; php: 1
file content (26 lines) | stat: -rw-r--r-- 681 bytes parent folder | download | duplicates (13)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
using C = System.Console;

class Test  {
    
    public static void Main (string[] args) {
      switch (1) {
        default:
          switch (2) {
            default:
              int flag = 1;       //makes the next if computable -- essential!
	      if (flag == 1) {
		C.WriteLine("**** This one is expected");
                break;  //break-2
	      }  
              else  goto lbl;
          }
	  break;  //break-1  This point is REACHABLE through break-2, 
	          // contrary to the warning from compiler!
        
        lbl:
          C.WriteLine("**** THIS SHOULD NOT APPEAR, since break-1 was supposed to fire ***");
          break;
        
      }
    }
}