This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH]: Proof-of-concept for dynamic format checking
- From: "Kaveh R. Ghazi" <ghazi at caipclassic dot rutgers dot edu>
- To: ian at airs dot com
- Cc: gcc at gcc dot gnu dot org, joseph at codesourcery dot com
- Date: Wed, 17 Aug 2005 22:08:21 -0400 (EDT)
- Subject: Re: [PATCH]: Proof-of-concept for dynamic format checking
- References: <200508111509.j7BF9qMq015700@caipclassic.rutgers.edu> <200508180201.j7I21NTQ029423@caipclassic.rutgers.edu>
> For example,
>
> #pragma GCC format "bfd" "inherit printf; %A: asection; %B: bfd"
>
> Here the "inherit" could be simply "printf" for whatever is
> appropriate for the current compilation, or it could be a specific
> standard name.
I strongly feel that the "inherit" command should not change the
behavior of the inherited format depending on the --std= flag passed
to GCC at compile time of the user's code. This change isn't right
for users, their variable argument output routine will not change it's
behavior based on the C standard in effect when compiling it.
Therefore if we implement an inherit, it should force the user to
choose "inherit printf90", "inherit printf99" or "inherit printfGNU".
Or something along those lines.
--Kaveh
--
Kaveh R. Ghazi ghazi@caip.rutgers.edu