commit | b0d5fc0ac139da4aaa1440263416b9bde05630b0 | [log] [tgz] |
---|---|---|
author | Calin Juravle <calin@google.com> | Wed Jul 15 14:41:29 2015 +0100 |
committer | Calin Juravle <calin@google.com> | Tue Jul 21 14:33:33 2015 +0100 |
tree | 7f897d8b0545e43da6b6059718685a8e396b3b70 | |
parent | d1665b7a689086ec5b33a69a05313c46ea1a95e4 [diff] |
Fixes and improvements in ReferenceTypePropagation - Bound object types after a CheckCast. This increases the precision of (inlining) generic operations. - Make sure that the BoundType is exact when the class is final. - Make sure that we don't duplicate BoundTypes when we run the analysis more than once. Change-Id: Ic22b610766fae101f942c0d753ddcac32ac1844a