From 3f29911a9496d82c355b84e23d91e992c3ddfce5 Mon Sep 17 00:00:00 2001 From: Andreas Rumpf Date: Wed, 18 Mar 2020 14:25:10 +0100 Subject: new feature: --staticBoundChecks:on to enforce static array index checking (#10965) --- tests/parallel/tinvalid_array_bounds.nim | 4 ++-- tests/parallel/tuseafterdef.nim | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'tests/parallel') diff --git a/tests/parallel/tinvalid_array_bounds.nim b/tests/parallel/tinvalid_array_bounds.nim index 4c6065fd6..15bf526df 100644 --- a/tests/parallel/tinvalid_array_bounds.nim +++ b/tests/parallel/tinvalid_array_bounds.nim @@ -1,6 +1,6 @@ discard """ - errormsg: "can prove: i + 1 > 30" - line: 21 + errormsg: "cannot prove (i)..(i) disjoint from (i + 1)..(i + 1)" + line: 20 """ import threadpool diff --git a/tests/parallel/tuseafterdef.nim b/tests/parallel/tuseafterdef.nim index 833c72a0a..f1ae6e923 100644 --- a/tests/parallel/tuseafterdef.nim +++ b/tests/parallel/tuseafterdef.nim @@ -1,6 +1,7 @@ discard """ errormsg: "(k)..(k) not disjoint from (k)..(k)" line: 23 + action: compile """ # bug #1597 -- cgit 1.4.1-2-gfad0