Fix compilation on Linux

pgarba · Apr 29, 2024 · 3d145b6 · 3d145b6
1 parent e30579e
commit 3d145b6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/LLVMParser.cpp b/LLVMParser.cpp
@@ -22,6 +22,7 @@
 #include "llvm/Transforms/Utils/Evaluator.h"
 
 #include <z3++.h>
+#include <thread>
 #include <memory>
 #include <mutex>
 #include <string>
@@ -1563,7 +1564,7 @@ llvm::Constant *LLVMParser::getConstantInt(llvm::Type *Ty, uint64_t Value) {
   return C;
 }
 
-llvm::Constant *LLVMParser::getConstantInt(llvm::Type *Ty, APInt &Value) {
+llvm::Constant *LLVMParser::getConstantInt(llvm::Type *Ty, APInt Value) {
   auto C = llvm::ConstantInt::get(Ty, Value);
   return C;
 }

diff --git a/LLVMParser.h b/LLVMParser.h
@@ -189,7 +189,7 @@ class LLVMParser {
     Thread safe
   */
   llvm::Constant *getConstantInt(llvm::Type *Ty, uint64_t Value);
-  llvm::Constant *getConstantInt(llvm::Type *Ty, llvm::APInt &Value);
+  llvm::Constant *getConstantInt(llvm::Type *Ty, llvm::APInt Value);
 
   bool doesDominateInst(llvm::DominatorTree *DT, const llvm::Instruction *InstA,
                         const llvm::Instruction *InstB);
@@ -199,7 +199,7 @@ class LLVMParser {
       llvm::SmallVectorImpl<llvm::Value *> &Variables,
       std::map<std::string, z3::expr *> &VarMap, int OverrideBitWidth = 0);
 
-  z3::expr LLVMParser::boolToBV(z3::context &Z3Ctx, z3::expr &BoolExpr,
+  z3::expr boolToBV(z3::context &Z3Ctx, z3::expr &BoolExpr,
                                 int BitWidth);
 
   z3::expr *getZ3Val(z3::context &Z3Ctx, llvm::Value *V,
@@ -213,4 +213,4 @@ class LLVMParser {
 
 } // namespace LSiMBA
 
-#endif // LLVMPARSER_H
+#endif // LLVMPARSER_H