diff options
Diffstat (limited to '')
| -rw-r--r-- | src/CfimAstUtils.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CfimAstUtils.ml b/src/CfimAstUtils.ml index 430678f1..8ef74bef 100644 --- a/src/CfimAstUtils.ml +++ b/src/CfimAstUtils.ml @@ -21,6 +21,8 @@ let fun_def_has_loops (fd : fun_def) : bool = statement_has_loops fd.body (** Small utility: list the transitive parents of a region var group. We don't do that in an efficient manner, but it doesn't matter. + + TODO: rename to "list_ancestors_..." *) let rec list_parent_region_groups (sg : fun_sig) (gid : T.RegionGroupId.id) : T.RegionGroupId.Set.t = |