OSDN Git Service

Fix verifier crash on abstract final class.
authorVladimir Marko <vmarko@google.com>
Fri, 21 Apr 2017 12:31:41 +0000 (13:31 +0100)
committerVladimir Marko <vmarko@google.com>
Fri, 21 Apr 2017 12:54:00 +0000 (13:54 +0100)
commit9cb0c46402117e5fa83680289c8c097041296fb6
treee315160be2ee9052e460d6b4b2f9b825057ff0f4
parent38870a8a2717ccf1bcd3faddc53b1999985bb29f
Fix verifier crash on abstract final class.

Remove a check for erroneous class. It should not matter to
the verifier whether the class is just resolved, initialized
or resolved erroneous. The check was also inherently racy
and could yield different behavior based on the timing of
the verification.

Test: 161-final-abstract-class
Test: testrunner.py --host
Bug: 37248840
Change-Id: Ic4d964050bbe52e3de4438ada9e75676956cb6b4
runtime/verifier/method_verifier.cc
test/161-final-abstract-class/expected.txt [new file with mode: 0644]
test/161-final-abstract-class/info.txt [new file with mode: 0644]
test/161-final-abstract-class/smali/AbstractFinal.smali [new file with mode: 0644]
test/161-final-abstract-class/smali/TestClass.smali [new file with mode: 0644]
test/161-final-abstract-class/src/Main.java [new file with mode: 0644]