'i8 full-range' sign extended to i16 should equal [-128, 128) not [-128, 127).
authorNick Lewycky <nicholas@mxc.ca>
Mon, 13 Jul 2009 04:17:23 +0000 (04:17 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 13 Jul 2009 04:17:23 +0000 (04:17 +0000)
commitff84de767a9baded740abd1e846938477a4b285a
treeac55837ffd97afa396f19f7ac992b70e0e0167bd
parent0a5372ed3e8cda10d724feda3c1a1c998db05ca0
'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
lib/Support/ConstantRange.cpp
unittests/Support/ConstantRangeTest.cpp