From 7e53ab2fd9162e2d85895ad1173f620c609a1c38 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 22:28:36 +0100
Subject: Fix some issues with the naming of input variables

---
 src/CfimAstUtils.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/CfimAstUtils.ml')

diff --git a/src/CfimAstUtils.ml b/src/CfimAstUtils.ml
index 8ef74bef..770184b0 100644
--- a/src/CfimAstUtils.ml
+++ b/src/CfimAstUtils.ml
@@ -51,3 +51,7 @@ let list_ordered_parent_region_groups (sg : fun_sig) (gid : T.RegionGroupId.id)
   in
   let parents = List.map (fun (rg : T.region_var_group) -> rg.id) parents in
   parents
+
+let fun_def_get_input_vars (fdef : fun_def) : var list =
+  let locals = List.tl fdef.locals in
+  Collections.List.prefix fdef.arg_count locals
-- 
cgit v1.2.3