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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// not a peep out of the pattern matcher's unreachability analysis
// its budget should suffice for these simple matches (they do have a large search space)
class Test {
import foo.Bar // a large enum
def exhaustUnreachabilitysStack_ENUM_STYLE = (null: Bar) match {
case Bar.BULGARIA =>
case _ =>
}
// lots of strings
def exhaustUnreachabilitysStack_StringStyle = "foo" match {
case "a" =>
case "b" =>
case "c" =>
case "d" =>
case "e" =>
case "f" =>
case "aa" =>
case "ba" =>
case "ca" =>
case "da" =>
case "ea" =>
case "f1a" =>
case "a1a" =>
case "b1a" =>
case "c1a" =>
case "d1a" =>
case "e1a" =>
case "f1a2" =>
case "f1a0" =>
case "a1a2" =>
case "b1a2" =>
case "c1a2" =>
case "d1a2" =>
case "e1a2" =>
case "f1a3" =>
case "_a" =>
case "_b" =>
case "_c" =>
case "_d" =>
case "_e" =>
case "_f" =>
case "_aa" =>
case "_ba" =>
case "_ca" =>
case "_da" =>
case "_ea" =>
case "_f1a" =>
case "_a1a" =>
case "_b1a" =>
case "_c1a" =>
case "_d1a" =>
case "_e1a" =>
case "_f1a0" =>
case "_f1a2" =>
case "_a1a2" =>
case "_b1a2" =>
case "_c1a2" =>
case "_d1a2" =>
case "_e1a2" =>
case "_f1a3" =>
case _ =>
}
}
|
