flambda-backend: Remove alloc-check from ocaml/

ocaml-flambda · Dec 28, 2022 · 7584479 · 7584479
1 parent a09392d
commit 7584479
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/driver/main_args.ml b/driver/main_args.ml
@@ -940,9 +940,6 @@ let mk_afl_inst_ratio f =
   \     (advanced, see afl-fuzz docs for AFL_INST_RATIO)"
 ;;
 
-let mk_alloc_check f =
-  "-alloc-check", Arg.Unit f, "<ignored>"
-
 let mk__ f =
   "-", Arg.String f,
   "<file>  Treat <file> as a file name (even if it starts with `-')"
@@ -1175,7 +1172,6 @@ module type Optcomp_options = sig
   val _save_ir_after : string -> unit
   val _probes : unit -> unit
   val _no_probes : unit -> unit
-  val _alloc_check : unit -> unit
 end;;
 
 module type Opttop_options = sig
@@ -1545,7 +1541,6 @@ struct
     mk_dump_into_file F._dump_into_file;
     mk_dump_dir F._dump_dir;
     mk_dump_pass F._dump_pass;
-    mk_alloc_check F._alloc_check;
 
     mk_args F._args;
     mk_args0 F._args0;
@@ -2029,7 +2024,6 @@ module Default = struct
     let _v () = Compenv.print_version_and_library "native-code compiler"
     let _no_probes = clear probes
     let _probes = set probes
-    let _alloc_check () = ()
   end
 
   module Odoc_args = struct

diff --git a/driver/main_args.mli b/driver/main_args.mli
@@ -243,7 +243,6 @@ module type Optcomp_options = sig
   val _save_ir_after : string -> unit
   val _probes : unit -> unit
   val _no_probes : unit -> unit
-  val _alloc_check : unit -> unit
 end;;
 
 module type Opttop_options = sig