| Aart Bik | b052632 | 2016-06-01 14:06:00 -0700 | [diff] [blame] | 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 | |
| Aart Bik | 3188364 | 2016-06-06 15:02:44 -0700 | [diff] [blame^] | 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 |
| Aart Bik | 1415413 | 2016-06-02 17:53:58 -0700 | [diff] [blame] | 7 | avoid compiler crash later on |
| Aart Bik | 3188364 | 2016-06-06 15:02:44 -0700 | [diff] [blame^] | 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: |
| Aart Bik | 1415413 | 2016-06-02 17:53:58 -0700 | [diff] [blame] | 13 | access validation should occur prior to null reference check |
| Aart Bik | 3188364 | 2016-06-06 15:02:44 -0700 | [diff] [blame^] | 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 |
| Aart Bik | b052632 | 2016-06-01 14:06:00 -0700 | [diff] [blame] | 18 | |