History log of /art/test/600-verifier-fails/smali/sput.smali
Revision Date Author Comments
1415413bddb3a9cd9432de3381ef27e5181e58cc 03-Jun-2016 Aart Bik <ajcbik@google.com> Do not place null check from unresolved field access.

Rationale:
These accesses go though the runtime anyway where various
checks are done, including null check. Since particular
checks, like access checks, need to occur prior to the
null check (to ensure link errors are not masked by
a null reference), the explicit null check should not
occur in the HIR.

BUG=29068831

Change-Id: I30fc9cb8cf4993e4176e235ceba3a38aef98d503
82cc2ed2553a274742606be23b86b9ef276c1edb 23-May-2016 Aart Bik <ajcbik@google.com> 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
c2bc26513ea7c5e2dd9f3b102fb23fd207e4ce63 23-May-2016 Aart Bik <ajcbik@google.com> 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

Change-Id: I0cdc400be22a2d9eb00db8c8c6b25a85fbdac993