[ConstantRange] TestAddWithNo*WrapExhaustive: check that all overflow means empty set
authorRoman Lebedev <lebedev.ri@gmail.com>
Wed, 6 Nov 2019 22:16:01 +0000 (01:16 +0300)
committerRoman Lebedev <lebedev.ri@gmail.com>
Wed, 6 Nov 2019 22:30:53 +0000 (01:30 +0300)
commitb5ddcb9f1e41b142f89110fc9be78b3c6997f090
treec9384b9f8bc780e530a71cfc3bd648b568793e1b
parent76aee8a389447409905c58b178b0554c9bae8a0a
[ConstantRange] TestAddWithNo*WrapExhaustive: check that all overflow means empty set

As disscussed in https://reviews.llvm.org/D69918 / https://reviews.llvm.org/D67339
that is an implied postcondition, but it's not really fully tested.
llvm/unittests/IR/ConstantRangeTest.cpp