Some exception handlers are now longer "required/valid"

Issue #96 resolved
Michael Eichberg repo owner created an issue

During transformation from bytecode to TAC it may happen that some instructions are removed and - therefore - the exception handlers try area is folded and becomes "empty".

try start ...
11: astore
12: aload
try end ...

EH [11..12) // such handlers are sometimes generated by compilers for finally blocks..

or cases where all instructions except of the first one are removed.

try start ...
   10: getstatic
   11: astore
try end ...
   12: aload

Comments (4)

  1. Michael Eichberg reporter

    Merge branch 'develop' of https://bitbucket.org/delors/opal into develop

    • 'develop' of https://bitbucket.org/delors/opal: fixed a bug related to completely dead code added statements regarding contribution guidelines fixed formatting issues removed unused warning fixed the remapping of exception handler if the end instruction is dead extended the test suite to take two differnt domains fixed the remapping of the ExceptionHandlers fix issue #96 documentation and formatting issues fixed package fixed merge error improved the precision of the domain minor fixes and improvements fixed documentation improvement map => foreach applied standard OPAL formatting fixed md link added missing file First commit of micro pattern fixed formatting issue

    → <<cset f1ffb1ffc18a>>

  2. Log in to comment