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

[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:

  reformat

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

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

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

  Stats: 2 lines in 1 file changed: 0 ins; 0 del; 2 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