diff options
author | Paul Phillips <paulp@improving.org> | 2013-01-26 11:19:10 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-01-26 11:19:10 -0800 |
commit | 72f36cbc80d5667c5ada3b7c0fe60435a4b202ad (patch) | |
tree | b5dd29c21822f4dd6d3064dc1a734a45ca3a712c /test/files/pos/t6942/t6942.scala | |
parent | f01af109ae975461fe5a3120a69814521968fcce (diff) | |
parent | cc067e6508546d3b830422d57034210489a54151 (diff) | |
download | scala-72f36cbc80d5667c5ada3b7c0fe60435a4b202ad.tar.gz scala-72f36cbc80d5667c5ada3b7c0fe60435a4b202ad.tar.bz2 scala-72f36cbc80d5667c5ada3b7c0fe60435a4b202ad.zip |
Merge pull request #1974 from paulp/pr/merge-2.10
Merge 2.10.x into master.
Diffstat (limited to 'test/files/pos/t6942/t6942.scala')
-rw-r--r-- | test/files/pos/t6942/t6942.scala | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/test/files/pos/t6942/t6942.scala b/test/files/pos/t6942/t6942.scala new file mode 100644 index 0000000000..77963d2634 --- /dev/null +++ b/test/files/pos/t6942/t6942.scala @@ -0,0 +1,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 _ => + } +} |