----Original Message----
>From: Ian Lance Taylor
>Sent: 18 August 2005 02:20
> "Giovanni Bajo" writes:
>
>> Florian Weimer wrote:
>>
>>> 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).
>
> I suppose I have the reverse opinion about which one is over-
> engineering, but that's probably just me. 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.
>
> Another approach would be to dlopen a shared library to do format
> checking. There might be some security implications to that, though.
PMFBI, but how is all this going to work on a cross compiler?
cheers,
DaveK
--
Can't think of a witty .sigline today....