Skip to content

Commit 998b623

Browse files
authored
flambda-backend: Enable zero-alloc check by default (#2028)
Change default of Clflags.zero_alloc_check from No_check to Default_check
1 parent c79579e commit 998b623

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

utils/clflags.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -671,7 +671,7 @@ module Annotations = struct
671671
\ \"all\" covers both \"opt\" and \"default\" and is intended for optimized builds."
672672
end
673673

674-
let zero_alloc_check = ref Annotations.No_check (* -zero-alloc-check *)
674+
let zero_alloc_check = ref Annotations.Check_default (* -zero-alloc-check *)
675675
let zero_alloc_check_assert_all = ref false (* -zero-alloc-check-assert-all *)
676676

677677
let no_auto_include_otherlibs = ref false (* -no-auto-include-otherlibs *)

0 commit comments

Comments
 (0)