ExceptionTable addition?

[Dave Brosius]

Greetings,

     From a byte code analysis--toolsy point of view, it would be nice 
if you could deterministically find the end of a catch/finally block. 
Unfortunately, the ExceptionTable attribute only lists the starts of 
trys/catches/finallys.

Now obviously, there are times when you can determine the end of the 
catch/finally block:

  If for instance a try block exits normally, javac, will insert a GOTO, 
from which you can clean the 'continuation' PC.

You can also determine the end of a catch block if it is followed by 
another catch or finally block.

However, there are pretty regular cases where you cannot, for instance 
if a try block ends with a return or a throw, and there is only one 
catch block or finally block, or those catch blocks that exist (before 
the last one) also return or throw.

String someMethod() {
    try {
         return getSomething();
    } catch (IOException e) {
         LOGGER.log("Oops");
    }

    return doSomeMoreStuff();
}

In this scenario, there's no way to know if the 'doSomeMoreStuff() is in 
the catch block or not.

Now from a program execution point of view, it doesn't really matter. 
You can consider everything below the catch, (or finally) block to be 
part of that catch (or finally) block.

But there are cases, where for code analysis, you would really like to know.

---

It would be really nice if the ExceptionTable also listed a 
'continuation pc'.