From 998b6230200362b511e596479b67ff67cde15fa1 Mon Sep 17 00:00:00 2001 From: Greta Yorsh <45005955+gretay-js@users.noreply.github.com> Date: Tue, 14 Nov 2023 12:44:19 +0000 Subject: [PATCH] flambda-backend: Enable zero-alloc check by default (#2028) Change default of Clflags.zero_alloc_check from No_check to Default_check --- utils/clflags.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/clflags.ml b/utils/clflags.ml index 5e876aeb669..adb56fdf341 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -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 *)