diff options
author | Son Ho | 2022-01-27 22:28:36 +0100 |
---|---|---|
committer | Son Ho | 2022-01-27 22:28:36 +0100 |
commit | 7e53ab2fd9162e2d85895ad1173f620c609a1c38 (patch) | |
tree | 0f56a70a75909157fd2e54f6c926445d2f75693f /src/CfimAstUtils.ml | |
parent | d15d71ca9f903883fcbfa515aa1e0637074ab78d (diff) |
Fix some issues with the naming of input variables
Diffstat (limited to 'src/CfimAstUtils.ml')
-rw-r--r-- | src/CfimAstUtils.ml | 4 |
1 files changed, 4 insertions, 0 deletions
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 |