Reviewed-by: iveresov, roland

Summary: negative verify_guards when testing for corruption
Reviewed-by: sla, fparain

Summary: Wrapped memory with standard bounds checking "GuardedMemory".
Reviewed-by: zgu, fparain, dcubed

Summary: Fixed parfait initialization issue.
Reviewed-by: kvn, twisti

Summary: Remove check that causes the VerifyError
Reviewed-by: dholmes, coleenp, acorn

Reviewed-by: brutisso, tschatzl

Summary: Fixed parfait initialization issue.
Reviewed-by: kvn, twisti

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

8049252: VerifyStack logic in Deoptimization::unpack_frames does not expect to see invoke bc at the top frame during normal deoptimization
Summary: Add missing check for reexecute flag to VerifyStack code.
Reviewed-by: roland

Reviewed-by: coffeys

Reviewed-by: kvn

Summary: JCK8 test vm/constantpool/accessControl/accessControl004/accessControl00402m3/accessControl00402m3.html fails with -Xbatch -Xcomp due to bad field access check in C1 and C2. Fix: In ciField::ciField(), just before the canonical holder is stored into the _holder variable (and which is used by ciField::will_link()) perform an additional access check with the holder declared in the class file. If this check fails, store the declared holder instead and ciField::will_link() will bail out compilation for this field later on. Then, the interpreter will throw an PrivilegedAccessException at runtime.
Reviewed-by: kvn, vlivanov
Contributed-by: andreas.schoesser@sap.com

Reviewed-by: jcoomes

Reviewed-by: kvn, jrose