rjmccall added a comment. The purpose of this analysis is not to compute the theoretical information content of the computation result. We are conservative about bounds precisely so that we do not warn in situations like these. Repository: rC Clang https://reviews.llvm.org/D44559