> Le 8 déc. 2019 à 18:04, Hans Åberg <[email protected]> a écrit :
>
>
>> On 8 Dec 2019, at 17:01, Akim Demaille <[email protected]> wrote:
>>
>> $ cat test.cc
>> #include <stddef.h>
>> #include <stdint.h>
>>
>> ptrdiff_t half_max_capacity = PTRDIFF_MAX;
>> $ clang++-mp-9.0 -pedantic -std=c++98 /tmp/test.cc -c
>
> In C++, the header is cstddef, and from C++11, there is cstdint, too. C++11
> defines nullptr_t which is not in the C header.
Hi Hans,
This is glr.cc, whose core is glr.c, so it is C. And for that matter, it made
no difference to use the corresponding C++ headers.
