From b0d599c0de5d3366afc7e9a66393e43632f6b0be Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Wed, 21 Nov 2018 18:53:42 -0500
Subject: [PATCH] Added alloca_empty_vector

---
 include/cyclone/types.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/include/cyclone/types.h b/include/cyclone/types.h
index 1b9d0b1b..25f4cf5c 100644
--- a/include/cyclone/types.h
+++ b/include/cyclone/types.h
@@ -1058,6 +1058,14 @@ typedef vector_type *vector;
   v.num_elements = 0; \
   v.elements = NULL;
 
+#define alloca_empty_vector(v) \
+  vector_type *v = alloca(sizeof(vector_type)); \
+  v->hdr.mark = gc_color_red; \
+  v->hdr.grayed = 0; \
+  v->tag = vector_tag; \
+  v->num_elements = 0; \
+  v->elements = NULL;
+
 /**
  * @brief Bytevector type 
  *