diff options
| author | Calin Juravle <calin@google.com> | 2015-02-16 13:13:29 +0000 |
|---|---|---|
| committer | Calin Juravle <calin@google.com> | 2015-02-20 14:26:08 +0000 |
| commit | b1498f67b444c897fa8f1530777ef118e05aa631 (patch) | |
| tree | 7ff4709329b0ba752a6111103a76fcea896a3adb /test/MultiDex/Second.java | |
| parent | acf735c13998ad2a175f5a17e7bfce220073279d (diff) | |
Improve type propagation with if-contexts
This works by adding a new instruction (HBoundType) after each `if (a
instanceof ClassA) {}` to bound the type that `a` can take in the True-
dominated blocks.
Change-Id: Iae6a150b353486d4509b0d9b092164675732b90c
Diffstat (limited to 'test/MultiDex/Second.java')
0 files changed, 0 insertions, 0 deletions