This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [RFC][PATCH v3] Initial support for C11 Annex K Bounds checking functions
- From: Ulrich Bayer <ubayer at sba-research dot org>
- To: Paul Eggert <eggert at cs dot ucla dot edu>
- Cc: <libc-alpha at sourceware dot org>, "Joseph S. Myers" <joseph at codesourcery dot com>
- Date: Fri, 14 Jun 2013 20:58:43 +0200
- Subject: Re: [RFC][PATCH v3] Initial support for C11 Annex K Bounds checking functions
- References: <51B1B444 dot 8080608 at sba-research dot org> <51B43794 dot 1020300 at cs dot ucla dot edu> <51BAF465 dot 4010203 at sba-research dot org> <51BB406C dot 10903 at cs dot ucla dot edu> <51BB4CC9 dot 8050402 at sba-research dot org> <51BB4F14 dot 9020603 at cs dot ucla dot edu>
On 14.06.2013 19:12, Paul Eggert wrote:> On 06/14/2013 10:03 AM, Ulrich Bayer wrote:
>> Do you suggest to not print out any preprocessor error messages for
>> inconsistent definitions at all?
>
> No, I'm not suggesting that. My proposal causes the preprocessor
> to issue a diagnostic (as the standard requires) when
> __STDC_WANT_LIB_EXT1__ is defined inconsistently.
>
It's not yet clear to me how to use your snippet. In particular,
your code does not contain any preprocessor directives for diagnostics
output.
Is the idea of your code to have CPP generate warnings about redefinitions
of __GLIBC_USE_LIB_EXT1 in case of inconsistent __STDC_WANT_LIB_EXT1__
definitions? I don't think that this would work (although it's elegant)
because the standard asks for preprocessor errors and moreover CPP suppresses
all warnings from system headers if I'm not mistaken.
Thank you,
Ulrich