[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Still getting UNDEF exceptions

I've written a more robust undefined-case-finding function, but (a) it
only seems to find 'destructor-' functions (which we were previously
handling) and (b) we still get these exceptions at the end of
exploration.

Looking a little harder, they *seem* to be benign, and they're already
filtered out by the Python script which spots 'BEGIN' and 'END' tokens,
so I'm closing this as not a problem.