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
diff --git a/test/530-checker-loops2/expected.txt b/test/530-checker-loops2/expected.txt
index e69de29..b0aad4d 100644
--- a/test/530-checker-loops2/expected.txt
+++ b/test/530-checker-loops2/expected.txt
@@ -0,0 +1 @@
+passed