diff --git a/Tests/Succeed/Test192.ML b/Tests/Succeed/Test192.ML index 116bd0db..9c617454 100644 --- a/Tests/Succeed/Test192.ML +++ b/Tests/Succeed/Test192.ML @@ -1,5 +1,8 @@ (* Overflow at compile time in unreachable code. *) Array.update (Array.fromList [], ~1, 0) handle Subscript => (); let val array = Array2.array (1, 1, 0) in Array2.sub (array, ~1, 0) handle Subscript => 0 end; fun f r = Vector.sub(r, ~1); + +(* This could also raise an exception in the compiler. *) +fun f r = Vector.sub(r, FixedInt.toInt(valOf FixedInt.maxInt) div 8);