Re: glr.cc: disable warnings from Clang on macOS

[Akim Demaille]

> Le 8 déc. 2019 à 18:04, Hans Åberg <address@hidden> a écrit :
> 
> 
>> On 8 Dec 2019, at 17:01, Akim Demaille <address@hidden> 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.