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: "Dave Korn" <dave dot korn at artimi dot com>
- To: "'Florian Weimer'" <fw at deneb dot enyo dot de>
- Cc: "'Ian Lance Taylor'" <ian at airs dot com>,"'Giovanni Bajo'" <giovannibajo at libero dot it>,"'Joseph S. Myers'" <joseph at codesourcery dot com>,<gcc at gcc dot gnu dot org>,<ghazi at caipclassic dot rutgers dot edu>
- Date: Thu, 18 Aug 2005 13:08:56 +0100
- Subject: RE: [PATCH]: Proof-of-concept for dynamic format checking
----Original Message----
>From: Florian Weimer
>Sent: 18 August 2005 13:00
> * Dave Korn:
>
>> PMFBI, but how is all this going to work on a cross compiler?
>
> Constant folding works in a cross-compiler, too. 8-)
I was referring to this bit:
> Remember that it's not
> enough simply to execute the optimizers. You have to build a symbol
> table and an environment for the code to execute in.
IIUIC, that would be a requirement for the optimisers to be able to
perform the full constant-folding and get the same results as if the
function was executed at runtime instead, wouldn't it? It seems to me like
it would be quite a difficult thing to get right in a cross environment.
cheers,
DaveK
--
Can't think of a witty .sigline today....