add call args to rc tracker

noir-lang · Dec 12, 2024 · 3f962d1 · 3f962d1
1 parent 8f7bbb1
commit 3f962d1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/compiler/noirc_evaluator/src/ssa/opt/die.rs b/compiler/noirc_evaluator/src/ssa/opt/die.rs
@@ -603,6 +603,14 @@ impl RcTracker {
                     self.mutated_array_types.insert(typ);
                 }
             }
+            Instruction::Call { arguments, .. } => {
+                for arg in arguments {
+                    let typ = function.dfg.type_of_value(*arg);
+                    if matches!(&typ, Type::Array(..) | Type::Slice(..)) {
+                        self.mutated_array_types.insert(typ);
+                    }
+                }
+            }
             _ => {}
         }
     }