RFR: 8284951: Compile::flatten_alias_type asserts with "indeterminate pointers come only from unsafe ops"

[Roland Westrelin]

On Mon, 25 Apr 2022 10:25:25 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

> The `Object.clone()` intrinsic emits an arraycopy guarded by an array check. With `StressReflectiveCode` the arraycopy is not removed even if the source object is statically known to be a non-array instance. This triggers an assert in `Compile::flatten_alias_type asserts` because the (arraycopy) address type is an instance pointer with bottom offset.
> 
> The fix is to disable the assert when `StressReflectiveCode` is enabled.
> 
> Thanks,
> Tobias

Looks good to me.

-------------

Marked as reviewed by roland (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/8381