| commit | 0a27fd0e1177c58a344e7321fcae716c94c127eb | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Wed Jan 25 16:18:54 2017 +0000 |
| committer | Nicolas Geoffray <ngeoffray@google.com> | Wed Jan 25 16:21:29 2017 +0000 |
| tree | 2f2601f3fa11d295c653c898c867da4efadcfa98 | |
| parent | 8116003cc9dd1e74fac1682eec547b8bb0afb061 [diff] |
Preserve verification invariant after compile-time verification.
After the verification step of the compiler, all classes in the
dex file that are being compiled should be either erroneous,
verified, or verify at runtime.
vdex used to break that invariant by only setting the status of
verified classes.
bug: 34691602
bug: 34691854
test: 634-vdex-duplicate, which breaks for the newly added
EnsureVerifiedOrVerifyAtRuntime check.
Change-Id: I67bd57880ed3238525f36fde484e36ca535ae5d5