tree ebeac7adff399e908e5dcd3c855505ed02fe72b8
parent 4485c6964ad414d5c6d0535622cfad1c0a6b640f
author Aart Bik <ajcbik@google.com> 1458150578 -0700
committer Aart Bik <ajcbik@google.com> 1458590013 -0700

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