Fix for aarch

UnitTestBot · Mar 12, 2023 · ea5f2ac · ea5f2ac
1 parent 6e7a91f
commit ea5f2ac
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/include/klee/Support/ModuleUtil.h b/include/klee/Support/ModuleUtil.h
@@ -49,10 +49,10 @@ linkModules(std::vector<std::unique_ptr<llvm::Module>> &modules,
   }
 
 #else
-#define addFunctionReplacement(from, to) {#from "f", #to "f"}, {#from, #to},
+#define addFunctionReplacement(from, to) {#from "f", #to "f"}, {#from, #to}
 
 #define addIntrinsicReplacement(from, to)                                      \
-  {"llvm." #from ".f32", #to "f"}, {"llvm." #from ".f64", #to},
+  {"llvm." #from ".f32", #to "f"}, {"llvm." #from ".f64", #to}
 
 #endif
 

diff --git a/lib/Solver/Z3Solver.cpp b/lib/Solver/Z3Solver.cpp
@@ -588,7 +588,7 @@ SolverImpl::SolverRunStatus Z3SolverImpl::handleSolverResponse(
           assert(Z3_get_ast_kind(builder->ctx, arrayElementOffsetExpr) ==
                      Z3_NUMERAL_AST &&
                  "Evaluated size expression has wrong sort");
-          size_t concretizedOffsetValue = 0;
+          uint64_t concretizedOffsetValue = 0;
           assert(Z3_get_numeral_uint64(builder->ctx, arrayElementOffsetExpr,
                                        &concretizedOffsetValue) &&
                  "Failed to get size");