For example, gdb has function that in the past could return null, but
which now cannot. So, I'd like to find all places where the return
result is checked.
Or, gdb has a TRY_CATCH macro which expands to a couple of nested loops.
It is not ok to 'return' or 'goto' from inside the inner loop, as this
causes hard-to-find bugs. So, it would be nice to find any place that
tries this.
Or, there is a data type in gdb that used to be freed using 'xfree', but
which now requires a special function to be called instead. So, it
would be nice to find any place where xfree is passed an argument of
this type.
MELT looks extremely cool! You may want to use this too, however:
http://lwn.net/Articles/315686/
Paolo
