gcc plugin for checking gdb's exception handlers

[David Malcolm]

On Tue, 2011-11-01 at 09:28 -0600, Tom Tromey wrote:
> I wrote a GCC plugin, using David Malcolm's excellent Python plugin, to
> check for proper use of gdb exceptions in the Python code.  I added new

Thanks!  (belatedly [1])

I've taken the liberty of adding this to the plugin's "Success Stories"
page:
http://gcc-python-plugin.readthedocs.org/en/latest/success.html#gdb

[snip]

> I filed a bug for all the reports in the Python code.

For the sake of good cross-referencing, it looks like this bug is:
  http://sourceware.org/bugzilla/show_bug.cgi?id=13369

Hope this is helpful
Dave
[1] I recently became a parent, hence the hiatus on my work on the
plugin.  I'm working on getting back up to speed...