From 7ee1145d4502396816da3fb0155960524de94079 Mon Sep 17 00:00:00 2001
From: Jason Zaugg <jzaugg@gmail.com>
Date: Sun, 2 Dec 2012 19:14:02 +0100
Subject: SI-6631 Handle invalid escapes in string interpolators

Patch contributed by Rex Kerr.
---
 src/library/scala/StringContext.scala |  9 +++++----
 test/files/run/t6631.scala            | 18 ++++++++++++++++++
 2 files changed, 23 insertions(+), 4 deletions(-)
 create mode 100644 test/files/run/t6631.scala

diff --git a/src/library/scala/StringContext.scala b/src/library/scala/StringContext.scala
index 8be0cb1619..756077dd15 100644
--- a/src/library/scala/StringContext.scala
+++ b/src/library/scala/StringContext.scala
@@ -191,7 +191,7 @@ object StringContext {
     var cur = 0
     var idx = 0
     def output(ch: Char) = {
-      bldr append str.substring (start, cur)
+      bldr.append(str, start, cur)
       bldr append ch
       start = idx
     }
@@ -199,14 +199,15 @@ object StringContext {
       cur = idx
       if (str(idx) == '\\') {
         idx += 1
+        if (idx >= len) throw new InvalidEscapeException(str, cur)
         if ('0' <= str(idx) && str(idx) <= '7') {
           val leadch = str(idx)
           var oct = leadch - '0'
           idx += 1
-          if ('0' <= str(idx) && str(idx) <= '7') {
+          if (idx < len && '0' <= str(idx) && str(idx) <= '7') {
             oct = oct * 8 + str(idx) - '0'
             idx += 1
-            if (leadch <= '3' && '0' <= str(idx) && str(idx) <= '7') {
+            if (idx < len && leadch <= '3' && '0' <= str(idx) && str(idx) <= '7') {
               oct = oct * 8 + str(idx) - '0'
               idx += 1
             }
@@ -234,6 +235,6 @@ object StringContext {
       }
     }
     if (start == 0) str
-    else (bldr append str.substring(start, idx)).toString
+    else bldr.append(str, start, idx).toString
   }
 }
diff --git a/test/files/run/t6631.scala b/test/files/run/t6631.scala
new file mode 100644
index 0000000000..e472b83d50
--- /dev/null
+++ b/test/files/run/t6631.scala
@@ -0,0 +1,18 @@
+import reflect.ClassTag
+
+object Test extends App {
+  def intercept[T <: Throwable : ClassTag](act: => Any) = try {
+    act
+  } catch {
+    case x: Throwable =>
+      val cls = implicitly[ClassTag[T]].runtimeClass
+      assert(cls.isInstance(x), (x.getClass, x, cls).toString)
+  }
+  assert(s"""\f\r\n\t""" == "\f\r\n\t")
+
+  import StringContext.InvalidEscapeException
+  intercept[InvalidEscapeException](s"""\""")
+  intercept[InvalidEscapeException](s"""\x""")
+  intercept[InvalidEscapeException](s"\")
+
+}
-- 
cgit v1.2.3