fix: prevent panic within remove_possibly_mutated_cached_make_arrays (

#7264)
noir-lang · Feb 3, 2025 · 130d991 · 130d991 · github-actions · Feb 3, 2025
1 parent 0b6c382
commit 130d991
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/compiler/noirc_evaluator/src/ssa/opt/constant_folding.rs b/compiler/noirc_evaluator/src/ssa/opt/constant_folding.rs
@@ -725,6 +725,11 @@ impl<'brillig> Context<'brillig> {
 
         // Should we consider calls to slice_push_back and similar to be mutating operations as well?
         if let Store { value: array, .. } | ArraySet { array, .. } = instruction {
+            if function.dfg.is_global(*array) {
+                // Early return as we expect globals to be immutable.
+                return;
+            };
+
             let instruction = match &function.dfg[*array] {
                 Value::Instruction { instruction, .. } => &function.dfg[*instruction],
                 _ => return,