Consider alloca for loopUnrolling

goblint · Jan 11, 2024 · c76a0a2 · c76a0a2
1 parent a18137a
commit c76a0a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
@@ -316,6 +316,7 @@ class loopUnrollingCallVisitor = object
         | Malloc _
         | Calloc _
         | Realloc _
+        | Alloca _
         | Lock _
         | Unlock _
         | ThreadCreate _