1 The situations in these tests were discovered by running the mutating 2 dexfuzz on the DEX files of fuzzingly random generated Java test. 3 4 (A) b/28908555: 5 soft verification failure (on the final field modification) should 6 not hide the hard verification failure (on the type mismatch) to 7 avoid compiler crash later on 8 (B) b/29070461: 9 hard verification failure (not calling super in constructor) should 10 bail immediately and not allow soft verification failures to pile up 11 behind it to avoid fatal message later on 12 (C) b/29068831: 13 access validation on field should occur prior to null reference check 14 (D) b/29126870: 15 soft verification failure (cannot access) should not hide the hard 16 verification failure (non-reference type) to avoid a compiler crash 17 later on 18 (E) b/29068831: 19 access validation on method should occur prior to null reference check 20 (F) b/29758098: 21 new-instance of java.lang.Class should throw an IllegalAccessError to 22 avoid interpreter crash on zero size object later 23 24
