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: "Giovanni Bajo" <giovannibajo at libero dot it>
- To: "Florian Weimer" <fw at deneb dot enyo dot de>
- Cc: "Joseph S. Myers" <joseph at codesourcery dot com>,<gcc at gcc dot gnu dot org>,<ghazi at caipclassic dot rutgers dot edu>,"Ian Lance Taylor" <ian at airs dot com>
- Date: Thu, 18 Aug 2005 03:00:02 +0200
- 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> wrote:
>> 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.?
Do we have a sane way to (partially) execute optimizers at -O0 without screwing
up with the pass manager too much? Probably they can be talked into, but might
require some work. The idea is neat though, and I prefer it over introducing a
specific pattern-matching language (which sounds like over-engineering for such
a side feature).
Giovanni Bajo