Merge 7c6a024 into 5598059

compiler/noirc_evaluator/src/ssa/opt/die.rs

@@ -191,13 +191,17 @@ impl Context {
                 self.used_values.insert(value_id);
             }
             Value::Array { array, .. } => {
+                self.used_values.insert(value_id);
                 for elem in array {
                     self.mark_used_instruction_results(dfg, *elem);
                 }
             }
             Value::Param { .. } => {
                 self.used_values.insert(value_id);
             }
+            Value::NumericConstant { .. } => {
+                self.used_values.insert(value_id);
+            }
             _ => {
                 // Does not comprise of any instruction results
             }

test_programs/execution_success/brillig_constant_reference_regression/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "brillig_constant_reference_regression"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/execution_success/brillig_constant_reference_regression/Prover.toml

@@ -0,0 +1 @@
+sorted_index = ["1", "0"]

test_programs/execution_success/brillig_constant_reference_regression/src/main.nr

@@ -0,0 +1,16 @@
+unconstrained fn main(sorted_index: [u32; 2]) {
+    let original = [
+        55,
+        11
+    ];
+
+    let mut sorted = original; // Stores the constant "original" into the sorted reference
+
+    for i in 0..2 {
+        let index = sorted_index[i];
+        let value = original[index];
+        sorted[i] = value; // On first iteration, we should not mutate the original constant array, RC should be > 1
+    }
+
+    assert_eq(sorted[1], 55);
+}