Go to the documentation of this file. 5 #ifndef CPROVER_BIG_INT_ALLOCAINC_H 6 #define CPROVER_BIG_INT_ALLOCAINC_H 9 #if defined linux || defined __linux__ \ 18 #elif defined _MSC_VER \ 19 || defined __BORLANDC__ \ 20 || defined __MINGW32__ 27 extern "C" void *alloca (
unsigned);
32 # include <builtins.h> 33 # define alloca(N) __ALLOCA(N) 42 # define alloca(X) __builtin_alloca(X) 44 #elif defined __FreeBSD__ || defined __FreeBSD_kernel__ || defined __OpenBSD__ 51 #endif // CPROVER_BIG_INT_ALLOCAINC_H