commit 5edc4592204d4d4ba85f59ecc607ef45db4ae416
author Nick Lewycky <nicholas@mxc.ca> Mon Jul 13 04:17:23 2009 +0000
committer Nick Lewycky <nicholas@mxc.ca> Mon Jul 13 04:17:23 2009 +0000
tree eeee796830a3dbec29082563d0feb72a3507015b
parent ae86c19e68d67d50d2c9cbef51e1129545634ece

'i8 full-range' sign extended to i16 should equal [-128, 128) not [-128, 127).
Found by Daniel Dunbar and KLEE.

llvm-svn: 75448

llvm/unittests/Support/ConstantRangeTest.cpp

diff --git a/llvm/unittests/Support/ConstantRangeTest.cpp b/llvm/unittests/Support/ConstantRangeTest.cpp
index 2b073d8..f929425 100644
--- a/llvm/unittests/Support/ConstantRangeTest.cpp
+++ b/llvm/unittests/Support/ConstantRangeTest.cpp
@@ -175,7 +175,7 @@
   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)));