From 1248bf931ff1d5ca77f81beea10088f0feb41783 Mon Sep 17 00:00:00 2001
From: Washi <washi1337@protonmail.com>
Date: Thu, 23 May 2024 21:51:06 +0200
Subject: [PATCH] BUGFIX: Assign non-zero original offset ranges to phi nodes.

---
 src/Core/Echo.Ast/Construction/LiftedNode.cs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/Core/Echo.Ast/Construction/LiftedNode.cs b/src/Core/Echo.Ast/Construction/LiftedNode.cs
index d9774e5f..25221abc 100644
--- a/src/Core/Echo.Ast/Construction/LiftedNode.cs
+++ b/src/Core/Echo.Ast/Construction/LiftedNode.cs
@@ -64,7 +64,12 @@ public LiftedNode(ControlFlowNode<TInstruction> original)
     public SyntheticVariable DeclareStackInput()
     {
         var result = new SyntheticVariable(Original.Offset, StackInputs.Count, SyntheticVariableKind.StackIn);
-        StackInputs.Insert(0, new PhiStatement<TInstruction>(result));
+        var phiStatement = new PhiStatement<TInstruction>(result)
+        {
+            OriginalRange = new AddressRange(Original.Offset, Original.Offset)
+        };
+        
+        StackInputs.Insert(0, phiStatement);
         return result;
     }