From 9edf8e8bba51f2d217ead0a9b2469b0b551ad255 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 18 Aug 2023 15:36:16 +0100
Subject: Make KDAlloc the default memory allocator

---
 lib/Core/MemoryManager.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp
index a6c3cb25..3b0f5064 100644
--- a/lib/Core/MemoryManager.cpp
+++ b/lib/Core/MemoryManager.cpp
@@ -49,8 +49,8 @@ llvm::cl::OptionCategory MemoryCat("Memory management options",
 
 llvm::cl::opt<bool, true> DeterministicAllocation(
     "kdalloc",
-    llvm::cl::desc("Allocate memory deterministically (default=false)"),
-    llvm::cl::location(MemoryManager::isDeterministic), llvm::cl::init(false),
+    llvm::cl::desc("Allocate memory deterministically (default=true)"),
+    llvm::cl::location(MemoryManager::isDeterministic), llvm::cl::init(true),
     llvm::cl::cat(MemoryCat));
 
 llvm::cl::opt<bool> DeterministicAllocationMarkAsUnneeded(
-- 
cgit 1.4.1