OSDN Git Service

(root) / android-x86 / art.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8116003) | patch
Preserve verification invariant after compile-time verification.
authorNicolas Geoffray <ngeoffray@google.com>
Wed, 25 Jan 2017 16:18:54 +0000 (16:18 +0000)
committerNicolas Geoffray <ngeoffray@google.com>
Wed, 25 Jan 2017 16:21:29 +0000 (16:21 +0000)
commit0a27fd0e1177c58a344e7321fcae716c94c127eb
tree2f2601f3fa11d295c653c898c867da4efadcfa98tree | snapshot
parent8116003cc9dd1e74fac1682eec547b8bb0afb061commit | 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
compiler/driver/compiler_driver.cc diff | blob | history
art
About OSDN
Find Software
Develop Software
Help