Check if we create too many variables

Drup · Aug 1, 2024 · d8ce941 · d8ce941
1 parent 7efd8f1
commit d8ce941
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/lib/common/Variable.ml b/lib/common/Variable.ml
@@ -71,10 +71,13 @@ module Gen  = struct
 
   type t = int ref
 
+  let max_var = max_int
+
   let make () =
     ref 0
 
   let gen flags t =
+    if !t = max_var then failwith "Too many variable created";
     { id = CCRef.get_then_incr t; flags }
 
 end