3 public class TestCaseSwitch { |
3 public class TestCaseSwitch { |
4 |
4 |
5 @AliveRange(varName="o", bytecodeStart=31, bytecodeLength=16) |
5 @AliveRange(varName="o", bytecodeStart=31, bytecodeLength=16) |
6 @AliveRange(varName="o", bytecodeStart=50, bytecodeLength=15) |
6 @AliveRange(varName="o", bytecodeStart=50, bytecodeLength=15) |
7 @AliveRange(varName="o", bytecodeStart=68, bytecodeLength=1) |
7 @AliveRange(varName="o", bytecodeStart=68, bytecodeLength=1) |
8 @AliveRange(varName="oo", bytecodeStart=39, bytecodeLength=26) |
8 @AliveRange(varName="oo", bytecodeStart=39, bytecodeLength=8) |
9 @AliveRange(varName="uu", bytecodeStart=59, bytecodeLength=6) |
9 @AliveRange(varName="uu", bytecodeStart=59, bytecodeLength=6) |
10 void m1(String[] args) { |
10 void m1(String[] args) { |
11 Object o; |
11 Object o; |
12 switch (args.length) { |
12 switch (args.length) { |
13 case 0: |
13 case 0: |
27 } |
27 } |
28 |
28 |
29 @AliveRange(varName="o", bytecodeStart=95, bytecodeLength=18) |
29 @AliveRange(varName="o", bytecodeStart=95, bytecodeLength=18) |
30 @AliveRange(varName="o", bytecodeStart=116, bytecodeLength=15) |
30 @AliveRange(varName="o", bytecodeStart=116, bytecodeLength=15) |
31 @AliveRange(varName="o", bytecodeStart=134, bytecodeLength=1) |
31 @AliveRange(varName="o", bytecodeStart=134, bytecodeLength=1) |
32 @AliveRange(varName="oo", bytecodeStart=104, bytecodeLength=27) |
32 @AliveRange(varName="oo", bytecodeStart=104, bytecodeLength=9) |
33 @AliveRange(varName="uu", bytecodeStart=125, bytecodeLength=6) |
33 @AliveRange(varName="uu", bytecodeStart=125, bytecodeLength=6) |
34 void m2(String[] args) { |
34 void m2(String[] args) { |
35 Object o; |
35 Object o; |
36 switch (args[0]) { |
36 switch (args[0]) { |
37 case "string0": |
37 case "string0": |
48 break; |
48 break; |
49 } |
49 } |
50 o = "return"; |
50 o = "return"; |
51 } |
51 } |
52 |
52 |
53 @AliveRange(varName="o", bytecodeStart=31, bytecodeLength=8) |
53 @AliveRange(varName="o", bytecodeStart=35, bytecodeLength=8) |
54 @AliveRange(varName="o", bytecodeStart=42, bytecodeLength=8) |
54 @AliveRange(varName="o", bytecodeStart=46, bytecodeLength=8) |
55 @AliveRange(varName="o", bytecodeStart=53, bytecodeLength=9) |
55 @AliveRange(varName="o", bytecodeStart=78, bytecodeLength=5) |
56 void m3(String[] args) { |
56 @AliveRange(varName="o", bytecodeStart=86, bytecodeLength=1) |
|
57 @AliveRange(varName="oo", bytecodeStart=56, bytecodeLength=16) |
|
58 void m3(int i) { |
57 Object o; |
59 Object o; |
58 switch (args.length) { |
60 switch (i) { |
59 case 0: |
61 case 0: |
60 o = "0"; |
62 o = "0"; |
61 o.hashCode(); |
63 o.hashCode(); |
62 break; |
64 break; |
63 case 1: |
65 case 1: |
64 o = "1"; |
66 o = "1"; |
65 o.hashCode(); |
67 o.hashCode(); |
66 break; |
68 break; |
|
69 case 2: |
|
70 int oo = i; |
|
71 if (oo > 1) { |
|
72 System.out.println("greater"); |
|
73 } |
|
74 break; |
|
75 case 3: |
|
76 int uu = i; |
67 default: |
77 default: |
68 o = "default"; |
78 o = "default"; |
69 o.hashCode(); |
79 o.hashCode(); |
70 } |
80 } |
71 o = "finish"; |
81 o = "finish"; |
72 } |
82 } |
|
83 |
73 } |
84 } |