mkazantsev requested changes to this revision. mkazantsev added a comment. This revision now requires changes to proceed. This is wrong when new bound = original bound. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D143705/new/ https://reviews.llvm.org/D143705