Fix: sync formal parameter attributes to function type after autotuner modifies them (issue #1381)

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/7435f504-0f43-44f3-bac5-3da617cb5cd7

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: 2 people

src/autoTune.ml

@@ -455,7 +455,11 @@ let apronOctagonOption factors file =
     set_string "ana.apron.threshold_widening_constants" "comparisons";
     Logs.info "Enabled octagon domain ONLY for:";
     Logs.info "%s" @@ String.concat ", " @@ List.map (fun info -> info.vname) allVars;
-    List.iter (fun info -> info.vattr <- addAttribute (Attr("goblint_relation_track",[])) info.vattr) allVars
+    List.iter (fun info -> info.vattr <- addAttribute (Attr("goblint_relation_track",[])) info.vattr) allVars;
+    (* Sync formal parameter attributes back to function types for correct CIL printing *)
+    iterGlobals file (function
+        | GFun (fd, _) -> setFormals fd fd.sformals
+        | _ -> ())
   in
   {
     value = 50 * (List.length allVars) ;