BUGFIX: Assign non-zero original offset ranges to phi nodes.

Washi1337 · May 23, 2024 · 1248bf9 · 1248bf9
1 parent c38555a
commit 1248bf9
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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;
     }