commit | 82cc2ed2553a274742606be23b86b9ef276c1edb | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Mon May 23 14:58:49 2016 -0700 |
committer | Aart Bik <ajcbik@google.com> | Tue May 24 11:13:24 2016 -0700 |
tree | 4bbc1ea393aa13197a60b8b8786e101c2f1fd6c6 | |
parent | 67e44c0aef679038eda36b6155a8a63c85a521cc [diff] |
Fix bug in verifier: soft fail was hiding hard fail. Rationale: Dexfuzzing found a situation where a soft fail (modifying a final field) was hiding a hard fail (type error on that field), which caused a crash in the compiler later on. Also added a crash-before/pass-after regression test, so we don't add the return by accident later. BUG=28908555 (cherry picked from commit c2bc26513ea7c5e2dd9f3b102fb23fd207e4ce63) Change-Id: Ie79c4afa28cddbca4dfb78e5c75da6644612c15c