RFR(S): 8202950: C2: assert(found_sfpt) failed: no node in loop that's not input to safepoint

[Roland Westrelin]

Hi Vladimir,

Thanks for looking at this.

> Why In first place an outside Load node has control to inner mined loop?
> Was control set incorrect early?

The Load is from an array load. Control is initially set to a range
check out of the loop. Then a dominating range check is found and the
dominated range check is optimized out. That dominating range check
happens to be in a loop. Then the dominating range check is proven to be
useless and is optimized out as well. The Load ends up with control set
to the loop header.

Roland.