Do not unroll loops in goblint stub functions

goblint · Sep 27, 2024 · b7f4cc8 · b7f4cc8
1 parent f3dba75
commit b7f4cc8
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
@@ -421,6 +421,8 @@ class loopUnrollingVisitor(func, totalLoops) = object
 end
 
 let unroll_loops fd totalLoops =
-  Cil.populateLabelAlphaTable fd;
-  let thisVisitor = new loopUnrollingVisitor(fd, totalLoops) in
-  ignore (visitCilFunction thisVisitor fd)
+  if not (Cil.hasAttribute "goblint_stub" fd.svar.vattr) then (
+    Cil.populateLabelAlphaTable fd;
+    let thisVisitor = new loopUnrollingVisitor(fd, totalLoops) in
+    ignore (visitCilFunction thisVisitor fd)
+  )