Tests for negative array size and runtime OOB

2 files changed, 31 insertions, 1 deletions

diff --git a/chapter15/src/test/java/com/seaofnodes/simple/Chapter15Test.java b/chapter15/src/test/java/com/seaofnodes/simple/Chapter15Test.java
index 2955361a..a3dd48d0 100644
--- a/chapter15/src/test/java/com/seaofnodes/simple/Chapter15Test.java
+++ b/chapter15/src/test/java/com/seaofnodes/simple/Chapter15Test.java
@@ -89,4 +89,32 @@ int is = new int[2];
         try { parser.parse(false).iterate(false); fail(); }
         catch( Exception e ) { assertEquals("Type *[]int is not of declared type int",e.getMessage()); }
     }
+
+    @Test
+    public void testBad2() {
+        Parser parser = new Parser(
+"""
+int[] is = new int[3.14];
+return is[1];
+""");
+        try { parser.parse(false).iterate(false); fail(); }
+        catch( Exception e ) { assertEquals("Cannot allocate an array with length 3.14",e.getMessage()); }
+    }
+
+    @Test
+    public void testBad3() {
+        Parser parser = new Parser(
+"""
+int[] is = new int[arg];
+return is[1];
+""");
+        StopNode stop = parser.parse(false).iterate(false);
+        assertEquals("return 0;", stop.toString());
+        assertEquals(0L, Evaluator.evaluate(stop,  4));
+        try { Evaluator.evaluate(stop,0); }
+        catch( ArrayIndexOutOfBoundsException e ) { assertEquals("Array index 1 out of bounds for array length 0",e.getMessage()); }
+        try { Evaluator.evaluate(stop,-1); }
+        catch( NegativeArraySizeException e ) { assertEquals("-1",e.getMessage()); }
+    }
+
 }
diff --git a/chapter15/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java b/chapter15/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java
index 40d73b19..e59017e7 100644
--- a/chapter15/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java
+++ b/chapter15/src/test/java/com/seaofnodes/simple/evaluator/Evaluator.java
@@ -91,6 +91,8 @@ public class Evaluator {
             int base  = alloc._ptr._obj.aryBase();
             int scale = alloc._ptr._obj.aryScale();
             long n = (sz-base)>>scale;
+            if( n < 0 )
+                throw new NegativeArraySizeException(""+n);
             body = new Object[(int)n+1]; // Array body
             body[0] = n;                 // Array length
         } else {
@@ -113,7 +115,7 @@ public class Evaluator {
             int scale = from.struct.aryScale();
             long i = ((Long)off - base)>>scale;
             if( i < 0 || i >= len )
-                throw new RuntimeException("Array index out of bounds " + off + " <= " + len);
+                throw new ArrayIndexOutOfBoundsException("Array index out of bounds " + off + " <= " + len);
             return from.fields[(int)i+1];
 
         } else