tree f03ff1b2e3d5a22710aa085d8b24502998b93d8b
parent 8438ed31e10f3881ed92f03877d5edaca7d5b48c
author Jeff Hao <jeffhao@google.com> 1378336315 -0700
committer Brian Carlstrom <bdc@google.com> 1378498154 -0700

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