forked from OSchip/llvm-project
Fix a bug in an assert that would never trigger.
llvm-svn: 33005
This commit is contained in:
parent
52b15458d4
commit
23414c0033
|
@ -355,7 +355,7 @@ ConstantRange ConstantRange::zeroExtend(const Type *Ty) const {
|
|||
/// truncated to the specified type.
|
||||
ConstantRange ConstantRange::truncate(const Type *Ty) const {
|
||||
unsigned SrcTySize = getLower()->getType()->getPrimitiveSizeInBits();
|
||||
assert(SrcTySize > Ty->getPrimitiveSize() && "Not a value truncation");
|
||||
assert(SrcTySize > Ty->getPrimitiveSizeInBits() && "Not a value truncation");
|
||||
uint64_t Size = 1ULL << Ty->getPrimitiveSizeInBits();
|
||||
if (isFullSet() || getSetSize() >= Size)
|
||||
return ConstantRange(getType());
|
||||
|
|
Loading…
Reference in New Issue