Use exp.architecture for SV-COMP preprocessing

Avoids a large number or CIL warnings about mismatching types.
goblint · Oct 4, 2023 · 11164fd · 11164fd
1 parent b6dfb14
commit 11164fd
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/maingoblint.ml b/src/maingoblint.ml
@@ -252,6 +252,15 @@ let preprocess_files () =
   (* Preprocessor flags *)
   let cppflags = ref (get_string_list "pre.cppflags") in
 
+  if get_bool "ana.sv-comp.enabled" then (
+    let architecture_flag = match get_string "exp.architecture" with
+      | "32bit" -> "-m32"
+      | "64bit" -> "-m64"
+      | _ -> assert false
+    in
+    cppflags := architecture_flag :: !cppflags
+  );
+
   (* the base include directory *)
   (* TODO: any better way? dune executable promotion doesn't add _build sites *)
   let source_lib_dirs =