| commit | 666d9b4706a81a3406b6f3e3e043056b8786abc1 | [log] [tgz] |
|---|---|---|
| author | jeffhao <jeffhao@google.com> | Tue Jun 12 11:36:38 2012 -0700 |
| committer | jeffhao <jeffhao@google.com> | Tue Jun 12 11:59:58 2012 -0700 |
| tree | df67b99845d82398b06a6ed8cc36ecdb39231770 | |
| parent | f421588631bd97023da23d3aaf720cad411c81e4 [diff] |
Verifier treats unresolved return types as a soft error. It's ok for the type of a returned register to be an unresolved class, even if the return type derived from the descriptor is resolved, when the descriptor type is a super and the register type is a sub. It's also ok for both types to be resolved, but it's not ok for the derived return type to be unresolved while the register's type is resolved. Change-Id: If0ac5ba33ccef61e754382b7d9918deac7f05448