Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix #3969: AddMissingInts: Rescue bbs shd. receive state from pred.in
* This (conservatively) ensures that even if the very first instruction of the BB might raise an exception, the rescue block sees state from entry of the BB, rather than (optimistically) from the end of the BB which control might never reach. * The conservative assumption also matches the JVM verifier's assumption and should ensure that generated bytecode passes the verifier * Verified that the generated IR is correct on the following snippet. -------- def foo saved = bar() ensure bar(saved) end --------