Add is_special check to AutoTune.findAllocsInLoops

goblint · Nov 7, 2024 · 72bf7d6 · 72bf7d6
1 parent 9f7ef77
commit 72bf7d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -61,7 +61,7 @@ class findAllocsInLoops = object
     | _ -> DoChildren
 
   method! vinst = function
-    | Call (_, Lval (Var f, NoOffset), args,_,_) ->
+    | Call (_, Lval (Var f, NoOffset), args,_,_) when LibraryFunctions.is_special f ->
       Goblint_backtrace.protect ~mark:(fun () -> Cilfacade.FunVarinfo f) ~finally:Fun.id @@ fun () ->
       let desc = LibraryFunctions.find f in
       begin match desc.special args with