src/hotspot/share/opto/compile.cpp

@@ -1942,10 +1942,19 @@
   if (field->is_static())
     t = TypeInstPtr::make(field->holder()->java_mirror());
   else
     t = TypeOopPtr::make_from_klass_raw(field->holder());
   AliasType* atp = alias_type(t->add_offset(field->offset_in_bytes()), field);
+  if(!((field->is_final() || field->is_stable()) == !atp->is_rewritable())) {
+    ResourceMark rm;
+    tty->print_cr("Problematic field: %s %s.%s",
+        field->signature()->as_utf8(),
+        field->holder()->name()->as_utf8(),
+        field->name()->as_utf8());
+    tty->print_cr("is_final = %d is_stable = %d is_rewritable = %d",
+        field->is_final(), field->is_stable(), atp->is_rewritable());
+  }
   assert((field->is_final() || field->is_stable()) == !atp->is_rewritable(), "must get the rewritable bits correct");
   return atp;
 }