[PATCH] D67339: [ConstantRange] add helper function addWithNoWrap

[ChenZheng via Phabricator via llvm-commits]

shchenz added a comment.

> In this case, you should get [10, 0) as the result. The wrapped range will be treated as a full range by getUnsignedMin() and getUnsignedMax(), so this is the same as doing [10, 20) + full.

Ah, right, it should get [10, 0). my bad...


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67339/new/

https://reviews.llvm.org/D67339