Add support for detecting unreachable code after a throw or return
statement.