Fixes for arm arch

include/klee/Support/ModuleUtil.h

@@ -41,18 +41,19 @@ linkModules(std::vector<std::unique_ptr<llvm::Module>> &modules,
 
 #if defined(__x86_64__) || defined(__i386__)
 #define addFunctionReplacement(from, to)                                       \
-  {#from "f", #to "f"}, {#from, #to}, { #from "l", #to "l" }
+  {#from "f", #to "f"}, {#from, #to}, { "" #from "l", #to "l" }
 
 #define addIntrinsicReplacement(from, to)                                      \
   {"llvm." #from ".f32", #to "f"}, {"llvm." #from ".f64", #to}, {              \
     "llvm." #from ".f80", #to "l"                                              \
   }
 
 #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
 

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");