make one more thing thread_local

runtimeverification · Nov 26, 2024 · 8acb52e · 8acb52e
1 parent 5aafc60
commit 8acb52e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config/llvm_header.inc b/config/llvm_header.inc
@@ -202,7 +202,7 @@ declare void @write_configuration_to_proof_trace(ptr, ptr, i1)
 @current_interval = thread_local global i64 0
 @GC_THRESHOLD = thread_local global i64 @GC_THRESHOLD@
 
-@gc_roots = global [256 x ptr] zeroinitializer
+@gc_roots = thread_local global [256 x ptr] zeroinitializer
 
 define i64 @get_gc_threshold() {
   %threshold = load i64, ptr @GC_THRESHOLD