-/* Define PAGED_STACK if alloca() is supported and the stack can
- expand arbitrarily. (Under some broken OSes like DOS and
- Windows the stack is small and fixed in size.) This will prevent
- big alloca() requests (like 1MB). */
-#if HAVE_ALLOCA && unix
-#define PAGED_STACK 1
-#endif
-
-/* Saves on #if's. */
-#if HAVE_ALLOCA && !__CHECKER__
-#define local_alloc(X) \
- alloca(X)
-
-#define local_free(P) \
- do \
- { \
- } \
- while (0)
-#elif !__CHECKER__
-#define local_alloc(X) \
- xmalloc (X)
-
-#define local_free(P) \
- free (P)
-#else /* __CHECKER__ */
-/* Why define these this way? Because if you do it this way then if
- you try to free a block returned by local_alloc() with the free()
- function, you get an error message. */
-#define local_alloc(X) \
- ((void *) (((char *) (xmalloc (X+16))) + 16))
-
-#define local_free(P) \
- free (((char *) P) - 16)
-#endif /* __CHECKER__ */