Merge pull request #1583 from goblint/loopUnroll-stubs

Do not unroll loops in stub functions
goblint · Sep 30, 2024 · 060004c · 060004c
2 parents 1f2bb69 + 31c474c
commit 060004c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
@@ -470,6 +470,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)
+  )