From c76a0a29834cee033e90ea02563624105100b928 Mon Sep 17 00:00:00 2001
From: Karoliine Holter <karoliine.holter@hotmail.com>
Date: Thu, 11 Jan 2024 12:56:33 +0200
Subject: [PATCH] Consider alloca for loopUnrolling

---
 src/util/loopUnrolling.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml
index e1a8ad542b..26f306a267 100644
--- a/src/util/loopUnrolling.ml
+++ b/src/util/loopUnrolling.ml
@@ -316,6 +316,7 @@ class loopUnrollingCallVisitor = object
         | Malloc _
         | Calloc _
         | Realloc _
+        | Alloca _
         | Lock _
         | Unlock _
         | ThreadCreate _