make global_var_address auto* rather than auto

runtimeverification · Oct 25, 2024 · fd50ff0 · fd50ff0
1 parent 93ac37c
commit fd50ff0
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/lib/codegen/CreateTerm.cpp b/lib/codegen/CreateTerm.cpp
@@ -785,9 +785,9 @@ llvm::Value *create_term::disable_gc() {
   global_var->setThreadLocal(true);
 #ifdef __MACH__
   llvm::IRBuilder b(current_block_);
-  auto global_var_address = b.CreateThreadLocalAddress(global_var);
+  auto *global_var_address = b.CreateThreadLocalAddress(global_var);
 #else
-  auto global_var_address = global_var;
+  auto *global_var_address = global_var;
 #endif
   auto *old_val = new llvm::LoadInst(
       llvm::Type::getInt1Ty(ctx_), global_var_address, "was_enabled",
@@ -804,9 +804,9 @@ void create_term::enable_gc(llvm::Value *was_enabled) {
   global_var->setThreadLocal(true);
 #ifdef __MACH__
   llvm::IRBuilder b(current_block_);
-  auto global_var_address = b.CreateThreadLocalAddress(global_var);
+  auto *global_var_address = b.CreateThreadLocalAddress(global_var);
 #else
-  auto global_var_address = global_var;
+  auto *global_var_address = global_var;
 #endif
   new llvm::StoreInst(was_enabled, global_var_address, current_block_);
 }