| commit | 0d345cf8db01f40db250f80de5104e0df24234fa | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Wed Mar 16 10:49:38 2016 -0700 |
| committer | Aart Bik <ajcbik@google.com> | Mon Mar 21 12:53:33 2016 -0700 |
| tree | ebeac7adff399e908e5dcd3c855505ed02fe72b8 | |
| parent | 4485c6964ad414d5c6d0535622cfad1c0a6b640f [diff] |
Generalize induction and range analysis across type conversions. Rationale: This changelist implements allowing narrowing conversions within inductions and loop control. More induction and loops recognized, more bounds eliminated. We all win. The basic idea is pretty simple (record type with detected induction) but one has to get all the details right, as illustrated by the many new unit tests. BUG=27151098 Change-Id: I254020bfa5fa623799b31bbbb5ccc97d4d5a0100