ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
allocainc.h
Go to the documentation of this file.
1// $Id: allocainc.h,v 1.7 2005-12-25 14:44:24 kroening Exp $
2
3// Whatever is necessary to use alloca().
4
5#ifndef ALLOCAINC_H
6#define ALLOCAINC_H
7
8#if defined linux || defined __linux__ || defined sun || defined UWIN || \
9 defined osf1 || defined __MACH__ || defined __CYGWIN__
10
11# include <alloca.h>
12
13#elif defined _MSC_VER || defined __BORLANDC__ || defined __MINGW32__
14
15# include <malloc.h>
16
17#elif defined __VMS
18
19// DEC CXX on VMS alpha.
20# include <builtins.h>
21# define alloca(N) __ALLOCA(N)
22
23#elif defined __xlC__
24
25# pragma alloca
26# include <stdlib.h>
27
28#elif defined __FCC__
29
30# define alloca(X) __builtin_alloca(X)
31
32#elif defined __FreeBSD__
33
34# include <stdlib.h>
35
36#endif
37
38#endif // ndef ALLOCAINC_H