22 lines
525 B
OCaml
22 lines
525 B
OCaml
|
(* Test bound checks with ocamlopt *)
|
||
|
|
|
||
|
|
let a = [| 0; 1; 2 |]
|
||
|
|
|
||
|
|
let test n =
|
||
|
|
let result =
|
||
|
|
try
|
||
|
|
a.(n); "doesn't fail"
|
||
|
|
with Invalid_argument s ->
|
||
|
|
(* Check well-formedness of s *)
|
||
|
|
if String.length s = 35
|
||
|
|
&& s = "out-of-bound array or string access"
|
||
|
|
then "fails"
|
||
|
|
else "bad Invalid_argument"
|
||
|
|
| _ -> "bad exception"
|
||
|
|
in
|
||
|
|
print_int n; print_string ": "; print_string result; print_newline()
|
||
|
|
|
||
|
|
let _ =
|
||
|
|
test 0; test 1; test 2; test 3; test 4; test (-1)
|
||
|
|
|