[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