tree 7f897d8b0545e43da6b6059718685a8e396b3b70
parent d1665b7a689086ec5b33a69a05313c46ea1a95e4
author Calin Juravle <calin@google.com> 1436967689 +0100
committer Calin Juravle <calin@google.com> 1437485613 +0100

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