Loading...
Searching...
No Matches
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__
27extern "C" void *alloca (
unsigned);
33# define alloca(N) __ALLOCA(N)
42# define alloca(X) __builtin_alloca(X)
44#elif defined __FreeBSD__ || defined __FreeBSD_kernel__ || defined __OpenBSD__