Skip to content

Commit 7584479

Browse files
committed
flambda-backend: Remove alloc-check from ocaml/
1 parent a09392d commit 7584479

File tree

2 files changed

+0
-7
lines changed

2 files changed

+0
-7
lines changed

driver/main_args.ml

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -940,9 +940,6 @@ let mk_afl_inst_ratio f =
940940
\ (advanced, see afl-fuzz docs for AFL_INST_RATIO)"
941941
;;
942942

943-
let mk_alloc_check f =
944-
"-alloc-check", Arg.Unit f, "<ignored>"
945-
946943
let mk__ f =
947944
"-", Arg.String f,
948945
"<file> Treat <file> as a file name (even if it starts with `-')"
@@ -1175,7 +1172,6 @@ module type Optcomp_options = sig
11751172
val _save_ir_after : string -> unit
11761173
val _probes : unit -> unit
11771174
val _no_probes : unit -> unit
1178-
val _alloc_check : unit -> unit
11791175
end;;
11801176

11811177
module type Opttop_options = sig
@@ -1545,7 +1541,6 @@ struct
15451541
mk_dump_into_file F._dump_into_file;
15461542
mk_dump_dir F._dump_dir;
15471543
mk_dump_pass F._dump_pass;
1548-
mk_alloc_check F._alloc_check;
15491544

15501545
mk_args F._args;
15511546
mk_args0 F._args0;
@@ -2029,7 +2024,6 @@ module Default = struct
20292024
let _v () = Compenv.print_version_and_library "native-code compiler"
20302025
let _no_probes = clear probes
20312026
let _probes = set probes
2032-
let _alloc_check () = ()
20332027
end
20342028

20352029
module Odoc_args = struct

driver/main_args.mli

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -243,7 +243,6 @@ module type Optcomp_options = sig
243243
val _save_ir_after : string -> unit
244244
val _probes : unit -> unit
245245
val _no_probes : unit -> unit
246-
val _alloc_check : unit -> unit
247246
end;;
248247

249248
module type Opttop_options = sig

0 commit comments

Comments
 (0)