src/hotspot/share/opto/compile.cpp

*** 1942,1951 ****
--- 1942,1960 ----
    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;
  }