Commit e67abfa
committed
Remove exceptions: switch to single inflight exception global
This replaces function_name#exception_value with a single java::@inflight_exception variable.
No more than one #exception_value variable could be populated at any given time in any case;
this reduces the number of globals introduced, and as an added bonus will make it easier to
write a per-function version of remove_exceptions.1 parent 5bd5962 commit e67abfa
File tree
4 files changed
+96
-154
lines changed- src
- goto-programs
- java_bytecode
4 files changed
+96
-154
lines changed
0 commit comments