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

[Hans Åberg]

> On 9 Dec 2019, at 07:15, Akim Demaille <address@hidden> wrote:
> 
>> 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,

Hello,

> 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.

Perhaps it is the other way around that might matter.