Compare frames at jump

Author: matias9927

src/hotspot/share/classfile/stackMapFrame.cpp

@@ -191,6 +191,13 @@ bool StackMapFrame::is_assignable_to(
     return false;
   }
 
+  // Check that assert unset fields are compatible
+  bool compatible = unset_fields_compatible(target->assert_unset_fields());
+  log_info(verification)("Frames compatible: %s", compatible ? "true":"false");
+  if (!compatible) {
+    return false;
+  }
+
   if ((_flags | target->flags()) == target->flags()) {
     return true;
   } else {

src/hotspot/share/classfile/stackMapFrame.hpp

@@ -200,6 +200,19 @@ class StackMapFrame : public ResourceObj {
     return is_subset;
   }
 
+  bool unset_fields_compatible(AssertUnsetFieldTable* table) const {
+    // table is target from stackmaptable
+    bool compatible = true;
+    auto is_unset = [this, &table, &compatible] (const NameAndSig& key, const NameAndSig& value) {
+      if (!value._satisfied) {
+        bool tmp = table->get(key)->_satisfied;
+        compatible &= !tmp;
+      }
+    };
+    _assert_unset_fields->iterate_all(is_unset);
+    return compatible;
+  }
+
   void print_strict_fields() {
     auto printfields = [&] (const NameAndSig& key, const NameAndSig& value) {
       log_info(verification)("Strict field: %s%s (Satisfied: %s)",