tree 9b1be00c3684703e6a062052a634daa859068333
parent 697fe5cc6ce0e9c72c3681152a99a5d5bab4253c
author Alex Light <allight@google.com> 1571333567 -0700
committer Alex Light <allight@google.com> 1571413894 +0000

Class redefinition sometimes needs to update verification

In cases where class redefinition moves a class from having no
verification failures to having soft verification failures we need to
update the methods with new verification class flags. For example if
a method is modified to have unbalanced monitors we need to make sure
that future invokes of that method count locks and use the
interpreter.

Previously we would simply keep the same verification state as the
original implementation, causing us to try to compile in situations
the compiler cannot handle or leave monitors in inconsistent states.

Test: ./test.py --host
Bug: 142876078
Change-Id: I8adf59158639bdf237d691b20fad223f0a34db1f