Java exception handling#506

Merged

kroening merged 14 commits intodiffblue:masterfrom

cristina-david:exception-handling

Mar 11, 2017

Commits on Mar 2, 2017

Use remove_instanceof in driver programs

smowton
authored and
cristina-david
committed
Added a side effect expr that pushes/pops Java try-catch handlers + irep ids for Java exception handling
cristina-david
committed
Regression tests for exception handling
cristina-david
committed
Recreate the try-catch structure from the exception table
cristina-david
committed
Remove throw/try-catch and add the required instrumentation
cristina-david
committed
Moved Java exceptions regression tests
cristina-david
committed
Escaping brackets in test descriptions
cristina-david
committed
Fixed test description for cbmc-java/virtual7
cristina-david
committed
Recompute live ranges for local variables and add corresponding DEAD instructions
cristina-david
committed
Forced try-catch to start a new basic block
cristina-david
committed