From faa97f8a7d8ae9d4db3f2c66e4a7ad4c8c434cf0 Mon Sep 17 00:00:00 2001
From: Manuel Carrasco <m.carrasco@imperial.ac.uk>
Date: Sat, 3 Feb 2024 20:04:27 +0000
Subject: [PATCH] Add StackTypes field to IRBody.

---
 net-ssa-lib/analyses/IntermediateRepresentation.cs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/net-ssa-lib/analyses/IntermediateRepresentation.cs b/net-ssa-lib/analyses/IntermediateRepresentation.cs
index 32b9bcf..625c48d 100644
--- a/net-ssa-lib/analyses/IntermediateRepresentation.cs
+++ b/net-ssa-lib/analyses/IntermediateRepresentation.cs
@@ -19,6 +19,8 @@ public IEnumerable<MemoryVariable> MemoryVariables
         {
             get { return MemoryLocalVariables.Union(MemoryArgumentVariables); }
         }
+        
+        public IDictionary<Register, StackType> StackTypes;
     }
 
     public class ExceptionHandlerEntry