SI-6288 Fix positioning of label jumps

ICode generation was assigning the position of
the last label jump to all jumps to that particular
label def.

This problem is particularly annoying under the new
pattern matcher: a breakpoint in the body of the final
case will be triggered on the way out of the body of
any other case.

Thanks to @dragos for the expert guidance as we
wended our way through GenICode to the troublesome
code. Chalk up another bug for mutability.

I believe that the ICode output should be stable
enough to use a a .check file, if it proves otherwise
we should make it so.

1 files changed, 22 insertions, 0 deletions

diff --git a/test/files/run/t6288b-jump-position.scala b/test/files/run/t6288b-jump-position.scala
new file mode 100644
index 0000000000..e22a1ab120
--- /dev/null
+++ b/test/files/run/t6288b-jump-position.scala
@@ -0,0 +1,22 @@
+import scala.tools.partest.IcodeTest
+
+object Test extends IcodeTest {
+  override def code =
+    """object Case3 {                                // 01
+     |  def unapply(z: Any): Option[Int] = Some(-1)  // 02
+     |  def main(args: Array[String]) {              // 03
+     |    ("": Any) match {                          // 04
+     |      case x : String =>                       // 05 Read: <linenumber> JUMP <target basic block id>
+     |        println("case 0")                      // 06 expecting "6 JUMP 7", was "8 JUMP 7"
+     |      case _ =>                                // 07
+     |        println("default")                     // 08 expecting "8 JUMP 7"
+     |    }                                          // 09
+     |    println("done")                            // 10
+     |  }
+     |}""".stripMargin
+
+  override def show() {
+    val lines1 = collectIcode("")
+    println(lines1 mkString "\n")
+  }
+}