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
stdlib.h
src
big-int
allocainc.h
Generated by
1.15.0