Summary: For *store bytecodes, compare incoming, not outgoing, type state with exception handlers' stack maps.
Reviewed-by: acorn, dholmes

Summary: use correct CHECK macro in call to load_class()
Reviewed-by: coleenp, lfoltan, gziemski

Summary: Throw VerifyError for illegal accesses
Reviewed-by: acorn, ahgross, coleenp

Summary: Parse catch clause paths to ensure they end in throws
Reviewed-by: dlong, acorn, kamg, ctornqvi, lfoltan

Summary: keep a list of handlers to prevent the same handler from being scanned repeatedly.
Reviewed-by: dlong, dholmes

Summary: Fix stackmap matching for branches.
Reviewed-by: coleenp, lfoltan, acorn

Summary: Fix stackmap matching for branches.
Reviewed-by: coleenp, lfoltan, acorn

Summary: Fix stackmap matching for branches.
Reviewed-by: coleenp, lfoltan, acorn

Summary: Don't throw VerifyError if method is NULL.
Reviewed-by: acorn, lfoltan, mschoene

Summary: Don't throw VerifyError if method is NULL.
Reviewed-by: acorn, lfoltan, mschoene

8036156: Limit default method hierarchy
Summary: Fix protected access checks
Reviewed-by: coleenp, lfoltan, acorn, ahgross

8043029: Change 8037816 breaks HS build with older GCC versions which don't support diagnostic pragmas
8043164: Format warning in traceStream.hpp
Summary: Backport of main fix + two corrections, enables clang compilation, turns on format attributes, corrects/mutes warnings
Reviewed-by: kvn, coleenp, iveresov, twisti

Summary: Check for null method
Reviewed-by: coleenp, acorn, mschoene

Summary: Parse catch clause paths to ensure they end in throws
Reviewed-by: dlong, acorn, kamg, ctornqvi, lfoltan

Summary: Prevent ctor calls to super() and this() from avoidable code (try blocks, if stmts, etc.)
Reviewed-by: coleenp, acorn, mschoene

8033150: invokestatic: IncompatibleClassChangeError trying to invoke static method from a parent in presence of conflicting defaults.
Summary: A static method should be preferred during method resolution over an overpass, search the current class as well as its superclasses.
Reviewed-by: acorn, coleenp, kamg

Reviewed-by: dholmes, kvn, stefank, twisti

Summary: Add verification to check that invokespecial of an InterfaceMethodref names a method in a direct superinterface of the current class or interface in accordance with JSR 335, JVMS 4.9.2 Structural Constraints.
Reviewed-by: acorn, hseigel, coleenp
Contributed-by: lois.foltan@oracle.com

Summary: Throw VerifyError for illegal accesses
Reviewed-by: acorn, ahgross, coleenp

Summary: MagicLambdaImpl was removed from jdk side, this should be done in vm side too
Reviewed-by: coleenp, hseigel, rdurbin

Reviewed-by: dcubed, kamg

Reviewed-by: dcubed, kamg

Reviewed-by: coleenp, bharadwaj

Summary: skip verification for generated lambda classes
Reviewed-by: kamg, dholmes

8016764: JVM does not prohibit invokespecial in c.f.v 51.0 that invokes default interface method in c.f.v 52.0
Summary: Check cfv before allowing invokespecial call to default method.
Reviewed-by: kamg, acorn, dholmes

Summary: With NPG, const KlassOop klass which is in fact a definition converted to Klass* const, which is not the original intention. The right usage is converting them to const Klass*.
Reviewed-by: coleenp, kvn
Contributed-by: yumin.qi@oracle.com

8011671: JCK tests on static interface methods fail under b84: Illegal type at constant pool entry 5
Summary: Restore incorrect removal of support for static interface method verification in Java 8
Reviewed-by: kvn, coleenp

Summary: Put UseSplitVerifier option on the deprecated list.
Reviewed-by: dcubed, kmo, acorn

Summary: Remove support for verification of class files with version 52 and above from type inference verifier.
Reviewed-by: acorn, hseigel

8010667: Non-zero padding is not allowed in splitverifier for tableswitch/lookupswitch instructions.
Summary: Don't check the padding bits if class file version is >= 51.
Reviewed-by: kvn, dholmes, coleenp

Reviewed-by: dholmes, acorn
Contributed-by: bharadwaj.yadavalli@oracle.com

Summary: Change types of above methods and field to InstanceKlass and remove unneeded casts from the source files.
Reviewed-by: dholmes, coleenp, zgu
Contributed-by: harold.seigel@oracle.com

Summary: Add generic type analysis and default method selection algorithms
Reviewed-by: coleenp, acorn

Summary: Remove PermGen, allocate meta-data in metaspace linked to class loaders, rewrite GC walking, rewrite and rename metadata to be C++ classes
Reviewed-by: jmasa, stefank, never, coleenp, kvn, brutisso, mgerdin, dholmes, jrose, twisti, roland
Contributed-by: Njmasa &lt;jon.masamitsu@oracle.com&gt;, stefank &lt;stefan.karlsson@oracle.com&gt;, mgerdin &lt;mikael.gerdin@oracle.com&gt;, never <tom.rodriguez@oracle.com>

Reviewed-by: kvn, jrose

Summary: Provide additional detail in VerifyError messages
Reviewed-by: sspitsyn, acorn

Summary: Change constMethodOop::_exception_table to optionally inlined u2 table.
Reviewed-by: bdelsart, coleenp, kamg

Summary: Fixed raw pointer being used after potential safepoint/GC
Reviewed-by: acorn, fparain, dholmes

Summary: Allow only current and super invokespecials of <init>
Reviewed-by: never, coleenp, dcubed

Reviewed-by: twisti