nikic added a comment. I've created D59193 <https://reviews.llvm.org/D59193> to implement just the raw overflow checking logic based on ConstantRanges (without using it in ValueTracking). CHANGES SINCE LAST ACTION https://reviews.llvm.org/D59071/new/ https://reviews.llvm.org/D59071