tree 08e6eb7b36f4f612fbdb4809cfe21d9cfd41a6d8
parent a9f64d7b6857532bb871a7bf1d3c9c9a44ed5917
author Andreas Gampe <agampe@google.com> 1402952812 -0700
committer Andreas Gampe <agampe@google.com> 1402964825 +0000

ART: Make verifier check invocation args of unresolved methods

In the case of unresolvable methods it is not enough to bail out
with a soft verifier failure, as the compiler relies on the
invocation being well-formed. Check all arguments against the
proto id in such a case.

Also make sure to complete parsing arguments in the case the
method was resolved.

Refactored code to unite these two cases.

Bug: 15616104
Change-Id: I5ec58cbfbf6b09eaaf07ddf15edae7c6a8b62b17