"Giovanni Bajo" <[EMAIL PROTECTED]> writes: > Florian Weimer <[EMAIL PROTECTED]> 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. Ian
