Improper usage of CHECK macros generates unreachable code

[John Rose]

On Oct 8, 2009, at 1:11 AM, Volker Simonis wrote:

> - if it only has callers which check for pending exceptions themselves
> we can safely replace CHECK with THREAD. This would eliminate the
> unreachable code and allow the compiler to emit tail calls.
> - if it has callers which don't check for pending exception, we should
> introduce a temporary variable.

That's very good.  I think you'll find that the second case is rare or  
even non-existent.

-- John