From ff84de767a9baded740abd1e846938477a4b285a Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Mon, 13 Jul 2009 04:17:23 +0000 Subject: 'i8 full-range' sign extended to i16 should equal [-128, 128) not [-128, 127). Found by Daniel Dunbar and KLEE. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75448 91177308-0d34-0410-b5e6-96231b3b80d8 --- unittests/Support/ConstantRangeTest.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'unittests/Support/ConstantRangeTest.cpp') diff --git a/unittests/Support/ConstantRangeTest.cpp b/unittests/Support/ConstantRangeTest.cpp index 2b073d8203..f929425e54 100644 --- a/unittests/Support/ConstantRangeTest.cpp +++ b/unittests/Support/ConstantRangeTest.cpp @@ -175,7 +175,7 @@ TEST_F(ConstantRangeTest, SExt) { ConstantRange SSome = Some.signExtend(20); ConstantRange SWrap = Wrap.signExtend(20); EXPECT_EQ(SFull, ConstantRange(APInt(20, INT16_MIN, true), - APInt(20, INT16_MAX, true))); + APInt(20, INT16_MAX + 1, true))); EXPECT_TRUE(SEmpty.isEmptySet()); EXPECT_EQ(SOne, ConstantRange(APInt(One.getLower()).sext(20), APInt(One.getUpper()).sext(20))); -- cgit v1.2.3