1 Regression test for optimizing in the presence of 2 inlining a method that throws in an irreducible loop 3