[PATCH] D22430: Don't do uint64_t(1) << 64 in maxUIntN.
Justin Lebar via llvm-commits
llvm-commits at lists.llvm.org
Fri Jul 15 17:41:02 PDT 2016
jlebar created this revision.
jlebar added a reviewer: mkuper.
jlebar added subscribers: rsmith, jroelofs, llvm-commits.
This shift is undefined behavior (and, as compiled by clang, gives the
wrong answer for maxUIntN(64)).
https://reviews.llvm.org/D22430
Files:
include/llvm/Support/MathExtras.h
unittests/Support/MathExtrasTest.cpp
Index: unittests/Support/MathExtrasTest.cpp
===================================================================
--- unittests/Support/MathExtrasTest.cpp
+++ unittests/Support/MathExtrasTest.cpp
@@ -131,6 +131,7 @@
TEST(MathExtras, maxUIntN) {
EXPECT_EQ(0xffffULL, maxUIntN(16));
EXPECT_EQ(0xffffffffULL, maxUIntN(32));
+ EXPECT_EQ(0xffffffffffffffffULL, maxUIntN(64));
EXPECT_EQ(1ULL, maxUIntN(1));
EXPECT_EQ(0x0fULL, maxUIntN(4));
}
Index: include/llvm/Support/MathExtras.h
===================================================================
--- include/llvm/Support/MathExtras.h
+++ include/llvm/Support/MathExtras.h
@@ -316,6 +316,9 @@
inline uint64_t maxUIntN(uint64_t N) {
assert(N > 0 && N <= 64 && "integer width out of range");
+ // uint64_t(1) << 64 is undefined behavior.
+ if (N == 64)
+ return std::numeric_limits<uint64_t>::max();
return (UINT64_C(1) << N) - 1;
}
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22430.64213.patch
Type: text/x-patch
Size: 909 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160716/d3bc1c35/attachment.bin>
More information about the llvm-commits
mailing list