summaryrefslogtreecommitdiffstats
path: root/test/450-checker-types/src
Commit message (Collapse)AuthorAgeFilesLines
* Improve type propagation with if-contextsCalin Juravle2015-02-201-0/+164
| | | | | | | | 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
* Reference type propagationCalin Juravle2015-02-191-0/+181
- propagate reference types between instructions - remove checked casts when possible - add StackHandleScopeCollection to manage an arbitrary number of stack handles (see comments) Change-Id: I31200067c5e7375a5ea8e2f873c4374ebdb5ee60