commit | dd3c27eeb8286ab53d8a2f1aec76a7a919ba353a | [log] [tgz] |
---|---|---|
author | Jeff Hao <jeffhao@google.com> | Wed Sep 04 16:11:55 2013 -0700 |
committer | Brian Carlstrom <bdc@google.com> | Fri Sep 06 13:09:14 2013 -0700 |
tree | f03ff1b2e3d5a22710aa085d8b24502998b93d8b | |
parent | 8438ed31e10f3881ed92f03877d5edaca7d5b48c [diff] |
Fix verifier upcasting type after instance_of. The verifier automatically changed the type of a register to be the checked type in an instance_of instruction, even if the checked type was the register type's superclass. This would loosen the type information of the register and cause problems later. Bug: 10614872 (cherry picked from commit c642ec8987746a2a44b990bd5354306242d709da) Change-Id: Ib447557d3582dad6ac01f0e3b4ee497a27a45172