scudo: Limit the number of bytes tested in a realloc test.
authorPeter Collingbourne <peter@pcc.me.uk>
Wed, 27 Nov 2019 02:18:14 +0000 (18:18 -0800)
committerPeter Collingbourne <peter@pcc.me.uk>
Wed, 27 Nov 2019 18:32:34 +0000 (10:32 -0800)
This test was previously effectively doing:
P = malloc(X); write X bytes to P; P = realloc(P, X - Y); P = realloc(P, X)
and expecting that all X bytes stored to P would still be identical after
the final realloc.

This happens to be true for the current scudo implementation of realloc,
but is not guaranteed to be true by the C standard ("Any bytes in the new
object beyond the size of the old object have indeterminate values.").
This implementation detail will change with the new memory tagging support,
which unconditionally zeros newly allocated granules when memory tagging
is enabled. Fix this by limiting the number of bytes that we test to the
minimum size that we realloc the allocation to.

Differential Revision: https://reviews.llvm.org/D70761

compiler-rt/lib/scudo/standalone/tests/combined_test.cpp

index 849fa71..f38e982 100644 (file)
@@ -111,7 +111,7 @@ template <class Config> static void testAllocator() {
     const scudo::uptr NewSize = DataSize + Delta;
     void *NewP = Allocator->reallocate(P, NewSize);
     EXPECT_EQ(NewP, P);
-    for (scudo::uptr I = 0; I < scudo::Min(DataSize, NewSize); I++)
+    for (scudo::uptr I = 0; I < DataSize - 32; I++)
       EXPECT_EQ((reinterpret_cast<char *>(NewP))[I], Marker);
   }
   Allocator->deallocate(P, Origin);