From 99131131af7093f3f1f4c975233687007f3e5280 Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Thu, 25 Jan 2024 12:34:21 -0700
Subject: [PATCH] don't mark temp variables as safe through argument_to_value
 (#2307)

---
 src/debray_allocator.rs | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/src/debray_allocator.rs b/src/debray_allocator.rs
index ed905ec0..d44c36cb 100644
--- a/src/debray_allocator.rs
+++ b/src/debray_allocator.rs
@@ -604,16 +604,9 @@ impl DebrayAllocator {
                     Target::unsafe_argument_to_value(r, arg_c)
                 }
             }
-            VarAlloc::Temp { ref mut safety, .. } => {
-                if self
-                    .branch_stack
-                    .safety_unneeded_in_branch(safety, &branch_designator)
-                {
-                    Target::argument_to_value(r, arg_c)
-                } else {
-                    *safety = VarSafetyStatus::GloballyUnneeded;
-                    Target::unsafe_argument_to_value(r, arg_c)
-                }
+            VarAlloc::Temp { .. } => {
+                debug_assert!(matches!(r, RegType::Temp(_)));
+                Target::argument_to_value(r, arg_c)
             }
             _ => {
                 unreachable!()
-- 
2.54.0