Add `can_end` in `abs` and use it for the return abs when generating the

backward functions

1 files changed, 2 insertions, 1 deletions

diff --git a/src/LlbcAstUtils.ml b/src/LlbcAstUtils.ml
index 84e8e00f..0e679fca 100644
--- a/src/LlbcAstUtils.ml
+++ b/src/LlbcAstUtils.ml
@@ -7,7 +7,6 @@ let statement_has_loops (st : statement) : bool =
   let obj =
     object
       inherit [_] iter_statement
-
       method! visit_Loop _ _ = raise Found
     end
   in
@@ -38,6 +37,8 @@ let lookup_fun_name (fun_id : fun_id) (fun_decls : fun_decl FunDeclId.Map.t) :
     We don't do that in an efficient manner, but it doesn't matter.
     
     TODO: rename to "list_ancestors_..."
+
+    This list *doesn't* include the current region.
  *)
 let rec list_parent_region_groups (sg : fun_sig) (gid : T.RegionGroupId.id) :
     T.RegionGroupId.Set.t =