From 8c3dc80d255ba2000d35c0bcdf9dbe927215bb81 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 27 Jun 2022 06:51:08 +0200
Subject: Add `can_end` in `abs` and use it for the return abs when generating
 the backward functions

---
 src/LlbcAstUtils.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/LlbcAstUtils.ml')

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 =
-- 
cgit v1.2.3