Benjamin Smedberg <[EMAIL PROTECTED]> writes:

> Diego Novillo wrote:
>> Before plug-ins: put your gimple-to-myIR converter in passes.c
>> After plug-ins: dlopen gimple-to-myIR.so
>> 
>> Both represent the same effort.  Both require your converter to be kept
>> up-to-date with GCC's ever shifting ABI/API.
>
> They represent the same effort for somebody writing a plugin pass. They do
> *not* represent the same effort for a Mozilla hacker who just wants to
> compile Mozilla with the extra static-checking pass enabled. [...]

There may be a subtle connection between this and the debugging
information correctness thread by Alex Oliva a few weeks ago.  It may
be that if only gcc's debuginfo for deployed (-O2 -g) code were more
complete & more correct, that some such analysis code could work by
on-the-fly probing-based instrumentation rather than compiled-in
stuff.  At least, this applies to the kinds of assertions expressible
by something like the old GNU Nana tool.

- FChE

Reply via email to