RFR: 8283441: C2: segmentation fault in ciMethodBlocks::make_block_at(int) [v2]

[Dean Long]

> The new verifier checks for bytecodes falling off the end of the method, and the old verify does the same, but only for reachable code. So we need to be careful of falling off the end when compiling unreachable code verified by the old verifier.

Dean Long has updated the pull request incrementally with one additional commit since the last revision:

  Update test/hotspot/jtreg/compiler/parsing/UnreachableBlockFallsThroughEndOfCode.java
  
  Co-authored-by: Tobias Hartmann <tobias.hartmann at oracle.com>

-------------

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/8374/files
  - new: https://git.openjdk.java.net/jdk/pull/8374/files/3bed3ce8..c956fa29

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=8374&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=8374&range=00-01

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/jdk/pull/8374.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/8374/head:pull/8374

PR: https://git.openjdk.java.net/jdk/pull/8374