compilation fails with CompCert-3.4 on Linux x86-64; patch proposed

[Niels Möller]

Vincent Lefevre <vincent at vinc17.net> writes:

> The code given by the autoconf manual is:
>
>           #ifdef STDC_HEADERS
>           # include <stdlib.h>
>           # include <stddef.h>
>           #else
>           # ifdef HAVE_STDLIB_H
>           #  include <stdlib.h>
>           # endif
>           #endif
>           #ifdef HAVE_ALLOCA_H
>           # include <alloca.h>
>           #elif !defined alloca
>           # ifdef __GNUC__
>           #  define alloca __builtin_alloca
>           # elif defined _AIX
>           #  define alloca __alloca
>           # elif defined _MSC_VER
>           #  include <malloc.h>
>           #  define alloca _alloca
>           # elif !defined HAVE_ALLOCA
>           #  ifdef  __cplusplus
>           extern "C"
>           #  endif
>           void *alloca (size_t);
>           # endif
>           #endif

The last case, declaring alloca, is that expecting that a replacement
alloca.c is used as a fallback? As far as I see, we don't do that in
gmp.

Regards,
/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.