Files

80 lines
5.6 KiB
Java

import java.util.*;
class C {
private final Object lock = new Object();
Map<Integer, List<String>> foo(int n, int k) {
switch (n) {
case 1: bar("A");break;
case 2: bar("B");break;
case 3: bar("C");break;
case 4: bar("D");break;
case 5: bar("E");break;
case 6: bar("F");break;
case 7: bar("G");break;
case 8: bar("H");break;
case 9: <weak_warning descr="Duplicate branch in 'switch'">bar("A");</weak_warning>break;
case 11: return Collections.singletonMap(k + 1, Collections.singletonList("A"));
case 12: return Collections.singletonMap(k + 2, Collections.singletonList("B"));
case 13: return Collections.singletonMap(k + 3, Collections.singletonList("C"));
case 14: return Collections.singletonMap(k + 4, Collections.singletonList("D"));
case 15: return Collections.singletonMap(k + 5, Collections.singletonList("E"));
case 16: return Collections.singletonMap(k + 6, Collections.singletonList("F"));
case 17: return Collections.singletonMap(k + 7, Collections.singletonList("G"));
case 18: return Collections.singletonMap(k + 8, Collections.singletonList("H"));
case 19: <weak_warning descr="Duplicate branch in 'switch'">return Collections.singletonMap(k + 1, Collections.singletonList("A"));</weak_warning>
case 21: synchronized (lock) { bar("A"); }break;
case 22: synchronized (lock) { bar("B"); }break;
case 23: synchronized (lock) { bar("C"); }break;
case 24: synchronized (lock) { bar("D"); }break;
case 25: synchronized (lock) { bar("E"); }break;
case 26: synchronized (lock) { bar("F"); }break;
case 27: synchronized (lock) { bar("G"); }break;
case 28: synchronized (lock) { bar("H"); }break;
case 29: <weak_warning descr="Duplicate branch in 'switch'">synchronized (lock) { bar("A"); }</weak_warning>break;
case 31: assert k == 1;break;
case 32: assert k == 2;break;
case 33: assert k == 3;break;
case 34: assert k == 4;break;
case 35: assert k == 5;break;
case 36: assert k == 6;break;
case 37: assert k == 7;break;
case 38: assert k == 8;break;
case 39: <weak_warning descr="Duplicate branch in 'switch'">assert k == 1;</weak_warning>break;
case 41: if (k > 0) bar("A"); else bar("B");break;
case 42: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 43: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 44: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 45: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 46: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 47: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 48: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 49: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 50: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 51: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 52: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 53: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 54: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 55: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 56: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 57: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 58: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 59: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 61: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 62: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 63: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 64: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 65: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 66: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 67: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 68: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
case 69: <weak_warning descr="Duplicate branch in 'switch'">if (k > 0) bar("A"); else bar("B");</weak_warning>break;
}
return Collections.emptyMap();
}
void bar(String s){}
}