1The situations in these tests were discovered by running the mutating
2dexfuzz 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