summaryrefslogtreecommitdiff
path: root/runtime/verifier/verifier_compiler_binding.h
AgeCommit message (Collapse)Author
2025-02-18Only locking error and runtime throws should retrigger verification. Nicolas Geoffray
This ensures the stability of the vdex file. Test: 412-new-array Change-Id: I73a6be0a46b6eb184ea127de720bfaf7104f3777
2024-12-05verifier: Re-introdce `VERIFY_ERROR_NO_FIELD`. Vladimir Marko
Use this error when we do not find a field in a resolved class. Reorder other soft failure checks. Note that `VERIFY_ERROR_NO_FIELD` was used before the change https://android-review.googlesource.com/215853 but it was wrongly used for a failed assignability check. Test: m test-art-host-gtest Test: testrunner.py --host --optimizing Change-Id: Ifc5ee962d61eed9f34bc28013faa411193c261ad
2024-01-17Add visibility attributes in runtime/verifier Dmitrii Ishcheikin
Bug: 260881207 Test: art/test.py -b --host Test: presubmit Test: abtd app_compat_drm Test: abtd app_compat_top_100 Test: abtd app_compat_banking Change-Id: I7fe3bef35482aaa87ec41d0525118eaf2e22a52c
2021-01-27Add a new kind of verifier error with unresolved type checks. Nicolas Geoffray
Differentiate between missing a class for, eg allocation, and missing a class for a type check which would be a hard failure at runtime if the type check was not successful. Test: test.py Bug: 176960283 Change-Id: I36f64b2b221ba42c987e1e5809a921e7644a3456
2021-01-07Handle VERIFY_ERROR_INSTANTIATION in compiler and nterp. Nicolas Geoffray
Nterp always supported it, but the compiler was missing a check. Test: test.py Test: 600-verifier-fails Change-Id: I8675ca6f61c68c4152212c81843da8248781f18a
2021-01-06Handle missing methods in compiler and nterp. Nicolas Geoffray
Nterp already supported it, but there was a missing check in the compiler. Test: test.py Test: 552-invoke-non-existent-super Change-Id: Ife9f3f6782f09bd9780940bcb78160aa11db12d2
2021-01-05Support VERIFY_ERROR_CLASS_CHANGE in nterp and compiler. Nicolas Geoffray
They were always supported. Test: test.py Change-Id: I2ef6ee279ad14740e1a59adc486ef078ad511d83
2017-04-24ART: More header cleanup - method_verifier.h Andreas Gampe
Move enumerations to own header. Move the compiler interface (of what the compiler can tolerate) into its own header. Replace or remove method_verifier.h where possible. Test: mmma art Change-Id: I075fcb10b02b6c1c760daad31cb18eaa42067b6d