Also sync sformals back after selectArrayDomains

Author: michael-schwarz

src/autoTune.ml

@@ -320,7 +320,11 @@ end
 let selectArrayDomains file =
   set_bool "annotation.goblint_array_domain" true;
   let thisVisitor = new addTypeAttributeVisitor in
-  ignore (visitCilFileSameGlobals thisVisitor file)
+  ignore (visitCilFileSameGlobals thisVisitor file);
+  (* Sync formal parameter attributes back to function types for correct CIL printing *)
+  iterGlobals file (function
+      | GFun (fd, _) -> setFormals fd fd.sformals
+      | _ -> ())
 (*small unrolled loops also set domain of accessed arrays to unroll, at the point where loops are unrolled*)