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

Vincent Lefevre vincent at vinc17.net
Fri Jan 25 09:59:06 UTC 2019


On 2019-01-25 10:38:10 +0100, Niels Möller wrote:
> Vincent Lefevre <vincent at vinc17.net> writes:
> > The code given by the autoconf manual is:
[...]
> >           # 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.

I don't understand this last case. It might also be a bug.
This is what I posted:

  http://lists.gnu.org/archive/html/bug-autoconf/2019-01/msg00009.html

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)


More information about the gmp-bugs mailing list