From a5a689be8c6ad351674f3ced3bbf542335f91d75 Mon Sep 17 00:00:00 2001
From: Volodymyr Kysenko <vksnk@google.com>
Date: Thu, 26 Oct 2023 14:07:10 -0700
Subject: [PATCH] Change debug level to get more info about segfault

---
 src/Debug.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Debug.cpp b/src/Debug.cpp
index 22d26e83cc31..2af8de14d20e 100644
--- a/src/Debug.cpp
+++ b/src/Debug.cpp
@@ -6,8 +6,9 @@ namespace Internal {
 
 int debug::debug_level() {
     static int cached_debug_level = ([]() -> int {
-        std::string lvl = get_env_variable("HL_DEBUG_CODEGEN");
-        return !lvl.empty() ? atoi(lvl.c_str()) : 0;
+        return 1;
+        // std::string lvl = get_env_variable("HL_DEBUG_CODEGEN");
+        // return !lvl.empty() ? atoi(lvl.c_str()) : 1;
     })();
     return cached_debug_level;
 }