Skip to content

Commit d321522

Browse files
committed
Add min and max int to bad indices
1 parent e9cac4d commit d321522

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

testsuite/tests/typing-layouts-arrays/generate_makearray_dynamic_tests.ml

+2-1
Original file line numberDiff line numberDiff line change
@@ -372,7 +372,8 @@ let mark_test_run test_id =
372372

373373
let sizes = [ 0; 1; 2; 30; 31; 32 ]
374374

375-
let bad_indices size = [ -100; -2; -1; size; size + 1; size + 100 ]
375+
let bad_indices size =
376+
[ -100; -2; -1; size; size + 1; size + 100; Int.min_int; Int.max_int ]
376377

377378
let blit_offsets size =
378379
let candidates = [ 0; 1; size / 3; size / 2; size - 1; size ] in

testsuite/tests/typing-layouts-arrays/generated_test.ml

+2-1
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,8 @@ let mark_test_run test_id =
6363

6464
let sizes = [ 0; 1; 2; 30; 31; 32 ]
6565

66-
let bad_indices size = [ -100; -2; -1; size; size + 1; size + 100 ]
66+
let bad_indices size =
67+
[ -100; -2; -1; size; size + 1; size + 100; Int.min_int; Int.max_int ]
6768

6869
let blit_offsets size =
6970
let candidates = [ 0; 1; size / 3; size / 2; size - 1; size ] in

0 commit comments

Comments
 (0)