[14] RFR(S): 8235452: Strip mined loop verification fails with assert(is_OuterStripMinedLoop()) failed: invalid node class

[Roland Westrelin]

> http://cr.openjdk.java.net/~thartmann/8235452/webrev.00/

For OuterStripMinedLoopNode, is_valid_counted_loop() is false so the
verification never runs when called from a OuterStripMinedLoopNode and
the new line you added:

 958   } else if (is_OuterStripMinedLoop()) {
 959     outer = this->as_OuterStripMinedLoop();
 960     inner = outer->unique_ctrl_out()->as_CountedLoop();
 961     assert(inner->is_valid_counted_loop(), "OuterStripMinedLoop should have been removed");
 962     assert(!is_strip_mined(), "outer loop shouldn't be marked strip mined");
 963   }

is unreachable.

Roland.