From: Mark <markjordanthom@gmail.com>
Date: Thu, 25 Jan 2024 19:34:21 +0000 (-0700)
Subject: don't mark temp variables as safe through argument_to_value (#2307)
X-Git-Tag: v0.9.4~21
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=99131131af7093f3f1f4c975233687007f3e5280;p=scryer-prolog.git

don't mark temp variables as safe through argument_to_value (#2307)
---

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!()