| commit | 16e3d2cee40f3305f29f3ce0d2857ecc815e57bc | [log] [tgz] |
|---|---|---|
| author | Ian Rogers <irogers@google.com> | Fri Jun 07 12:57:00 2013 -0700 |
| committer | Ian Rogers <irogers@google.com> | Fri Jun 07 13:04:17 2013 -0700 |
| tree | 2c529f1777d351dfff8ef95edf95a3dd84358bf4 | |
| parent | d090cf4f2420a228251e27dbae600f4f44ae2c57 [diff] |
Check interface assignability strictly for check-cast elision. Objects are assignable to interfaces in the verifier as described in the long RegType::ClassJoin comment. Using IsAssignableFrom therefore brought about a bug where all check-casts where the cast type was an interface were being elided. Introduce a new strict is assignable from routine that follows the runtime rather than the verifier is assignable from behavior. Change-Id: Iac30f71ce9116f2ef16c22acd73eea1c19c79d89