--- old/src/hotspot/share/opto/compile.cpp	2019-07-19 10:38:35.000000000 -0400
+++ new/src/hotspot/share/opto/compile.cpp	2019-07-19 10:38:35.000000000 -0400
@@ -1944,6 +1944,15 @@
   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;
 }