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

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

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

Commit messages:
 - add missing check for jsr
 - update copyright year
 - old verifier allows unreachable code to fall off the end of the method

Changes: https://git.openjdk.java.net/jdk/pull/8374/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=8374&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8283441
  Stats: 105 lines in 5 files changed: 94 ins; 0 del; 11 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