Merge be0ef17 into 0ebf1fe

test_programs/execution_failure/unused_array_get_known_index_out_of_bounds/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unused_array_get_known_index_out_of_bounds"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/execution_failure/unused_array_get_known_index_out_of_bounds/src/main.nr

@@ -0,0 +1,4 @@
+fn main() {
+    let array = [1, 2, 3];
+    let _ = array[10]; // Index out of bounds
+}

test_programs/execution_failure/unused_array_get_unknown_index_out_of_bounds/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unused_array_get_unknown_index_out_of_bounds"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/execution_failure/unused_array_get_unknown_index_out_of_bounds/Prover.toml

@@ -0,0 +1 @@
+x = "10"

test_programs/execution_failure/unused_array_get_unknown_index_out_of_bounds/src/main.nr

@@ -0,0 +1,4 @@
+fn main(x: Field) {
+    let array = [1, 2, 3];
+    let _ = array[x]; // Index out of bounds
+}

test_programs/execution_failure/unused_array_set_known_index_out_of_bounds/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unused_array_set_known_index_out_of_bounds"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/execution_failure/unused_array_set_known_index_out_of_bounds/src/main.nr

@@ -0,0 +1,4 @@
+fn main() {
+    let mut array = [1, 2, 3];
+    array[10] = 1; // Index out of bounds
+}

test_programs/execution_failure/unused_array_set_unknown_index_out_of_bounds/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unused_array_set_unknown_index_out_of_bounds"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/execution_failure/unused_array_set_unknown_index_out_of_bounds/Prover.toml

@@ -0,0 +1 @@
+x = "10"

test_programs/execution_failure/unused_array_set_unknown_index_out_of_bounds/src/main.nr

@@ -0,0 +1,4 @@
+fn main(x: Field) {
+    let mut array = [1, 2, 3];
+    array[x] = 1; // Index out of bounds
+}

test_programs/execution_failure/unused_slice_get_known_index_out_of_bounds/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unused_slice_get_known_index_out_of_bounds"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/execution_failure/unused_slice_get_known_index_out_of_bounds/src/main.nr

@@ -0,0 +1,4 @@
+fn main() {
+    let slice = &[1, 2, 3];
+    let _ = slice[10]; // Index out of bounds
+}

test_programs/execution_failure/unused_slice_get_unknown_index_out_of_bounds/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unused_slice_get_unknown_index_out_of_bounds"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/execution_failure/unused_slice_get_unknown_index_out_of_bounds/Prover.toml

@@ -0,0 +1 @@
+x = "10"

test_programs/execution_failure/unused_slice_get_unknown_index_out_of_bounds/src/main.nr

@@ -0,0 +1,4 @@
+fn main(x: Field) {
+    let slice = &[1, 2, 3];
+    let _ = slice[x]; // Index out of bounds
+}