Some optimizations in memnode.cpp look at some properties of the pointer such as if it is a field of a value class, or if it is a field of a box class while the required assumption is that the pointer is to a strict final field.