Skip to content

Commit

Permalink
flambda-backend: Enable zero-alloc check by default (#2028)
Browse files Browse the repository at this point in the history
Change default of Clflags.zero_alloc_check

from No_check to Default_check
  • Loading branch information
gretay-js authored Nov 14, 2023
1 parent c79579e commit 998b623
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion utils/clflags.ml
Original file line number Diff line number Diff line change
Expand Up @@ -671,7 +671,7 @@ module Annotations = struct
\ \"all\" covers both \"opt\" and \"default\" and is intended for optimized builds."
end

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

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

0 comments on commit 998b623

Please sign in to comment.