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

2019-01-25 Thread Vincent Lefevre
On 2019-01-25 10:38:10 +0100, Niels Möller wrote: > Vincent Lefevre writes: > > The code given by the autoconf manual is: [...] > > # elif !defined HAVE_ALLOCA > > # ifdef __cplusplus > > extern "C" > > # endif > > void *alloca (size_t); > >

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

2019-01-25 Thread Niels Möller
Vincent Lefevre writes: > The code given by the autoconf manual is: > > #ifdef STDC_HEADERS > # include > # include > #else > # ifdef HAVE_STDLIB_H > # include > # endif > #endif > #ifdef HAVE_ALLOCA_H