commit | b49035706fceb2b13e8154668f175af624cf88f4 | [log] [tgz] |
---|---|---|
author | Ian Rogers <irogers@google.com> | Thu Oct 11 11:52:56 2012 -0700 |
committer | Ian Rogers <irogers@google.com> | Thu Oct 11 11:52:56 2012 -0700 |
tree | 2da009e751d7ab90b3ca028767f6302358c70539 | |
parent | 1aae273f8827bcbfff6b00c5babd77a111852272 [diff] |
Add notion of precise register types to verifier. When a class may have sub-classes we don't know if a method is overridden. Add an ability to the verifier to track when we have precise type information. This allows the verifier differentiate the case of having something that must be of the type from the case where something is that type or its sub-classes. Change-Id: I9995be7d6c147db3b22aa390b776d9c2eb93edd8