| commit | 43b06bc2d11c5fcd69c3554c0e525abad8480fab | [log] [tgz] |
|---|---|---|
| author | jeffhao <jeffhao@google.com> | Wed Aug 10 14:58:39 2011 -0700 |
| committer | jeffhao <jeffhao@google.com> | Fri Aug 12 13:41:04 2011 -0700 |
| tree | 04f7f3be224967f88e49751046e89aa47d3b9a1f | |
| parent | 76166696d18dc019b9ab6ccf212f9420df143c51 [diff] |
Dexopt verifier checks that int/float and double/long uses do not mix. Added new types to dexopt indicating a type is derived from a constant, which may or may not be floating point. After such a value is used, its type can be determined, and the verifier enforces that it is always used that way afterwards. Change-Id: I150deaa162aec17bcc9c3e3200bc0350ae5b3f24