aec0aab155
Rationale: Finds general bounds on an induction variable by looking at loop exits that use strict comparisons. An intended client is bounds-check-elimination (AOT). Change-Id: Icfd6481aad9669c15b78630e4322667cfce7c1ef Reviewed-on: https://dart-review.googlesource.com/c/87485 Commit-Queue: Aart Bik <ajcbik@google.com> Reviewed-by: Alexander Markov <alexmarkov@google.com>