Merge pull request #8085 from diffblue/emscripten-alloca

The emscripten compiler has alloca.h

Author: kroening

src/big-int/allocainc.h

@@ -1,19 +1,27 @@
-// $Id: allocainc.h,v 1.7 2005-12-25 14:44:24 kroening Exp $
+/*******************************************************************\
+
+Module: Big Integers
+
+Author: Daniel Kroening, dkr@amazon.com
+
+\*******************************************************************/
 
 // Whatever is necessary to use alloca().
 
 #ifndef CPROVER_BIG_INT_ALLOCAINC_H
 #define CPROVER_BIG_INT_ALLOCAINC_H
 
-
-#if defined linux || defined __linux__		\
- || defined __sun				\
- || defined UWIN				\
- || defined osf1                                \
- || defined __MACH__                            \
- || defined __CYGWIN__
-
-#include <alloca.h>
+// clang-format off
+#if defined linux || defined __linux__ \
+  || defined __sun                     \
+  || defined UWIN                      \
+  || defined osf1                      \
+  || defined __MACH__                  \
+  || defined __CYGWIN__                \
+  || defined __EMSCRIPTEN__
+// clang-format on
+
+#  include <alloca.h>
 
 #elif defined _MSC_VER    \
    || defined __BORLANDC__ \