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: Ian Lance Taylor <ian at airs dot com>
- To: Florian Weimer <fw at deneb dot enyo dot de>
- Cc: "Kaveh R. Ghazi" <ghazi at caipclassic dot rutgers dot edu>, gcc at gcc dot gnu dot org, joseph at codesourcery dot com
- Date: 17 Aug 2005 12:25:24 -0700
- Subject: Re: [PATCH]: Proof-of-concept for dynamic format checking
- References: <200508111509.j7BF9qMq015700@caipclassic.rutgers.edu><m3ll308jeb.fsf@gossamer.airs.com> <87ll302wyb.fsf@mid.deneb.enyo.de>
Florian Weimer <fw@deneb.enyo.de> writes:
> * Ian Lance Taylor:
>
> > I haven't tried to flesh this out any further. I'd be curious to hear
> > how people react to it.
>
> Can't we just use some inline function written in plain C to check the
> arguments and execute it at compile time using constant folding etc.?
I don't really see how that could work and still do what we want it to
do. Could you give an example of what it would look like?
Ian