Construct an instance of the GC strategy in main of llvm-kompile-code…

…gen to ensure linking.
runtimeverification · Dec 6, 2024 · ce0e7ca · ce0e7ca
1 parent f31d45a
commit ce0e7ca
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tools/llvm-kompile-codegen/main.cpp b/tools/llvm-kompile-codegen/main.cpp
@@ -5,6 +5,7 @@
 #include <kllvm/codegen/Decision.h>
 #include <kllvm/codegen/DecisionParser.h>
 #include <kllvm/codegen/EmitConfigParser.h>
+#include "kllvm/codegen/GCStrategy.h"
 #include <kllvm/codegen/Metadata.h>
 #include <kllvm/codegen/Options.h>
 #include <kllvm/parser/KOREParser.h>
@@ -147,6 +148,7 @@ void emit_metadata(llvm::Module &mod) {
 
 // NOLINTNEXTLINE(*-cognitive-complexity)
 int main(int argc, char **argv) {
+  LLVMBackendGCStrategy _gcs; // Unused. This is needed to ensure linking.
   initialize_llvm();
 
   cl::HideUnrelatedOptions({&codegen_tool_cat, &codegen_lib_cat});