In sanitizer mode, detect when references become invalidated after reserved growth runs out.

PiperOrigin-RevId: 502625638
Change-Id: I1c06b2162dbdaaa6a36cea503ac6d07cd157b2e2

1 files changed, 8 insertions, 1 deletions

diff --git a/absl/container/internal/raw_hash_set_test.cc b/absl/container/internal/raw_hash_set_test.cc
index 801b758e..3d3b089c 100644
--- a/absl/container/internal/raw_hash_set_test.cc
+++ b/absl/container/internal/raw_hash_set_test.cc
@@ -20,6 +20,7 @@
 #include <cstdint>
 #include <deque>
 #include <functional>
+#include <iostream>
 #include <iterator>
 #include <list>
 #include <map>
@@ -2286,14 +2287,20 @@ TEST(Iterator, InvalidUseWithReserveCrashesWithSanitizers) {
     t.insert(i);
     EXPECT_EQ(*it, 0);
   }
+  // ptr will become invalidated on rehash.
+  const int64_t* ptr = &*it;
+
   // erase decreases size but does not decrease reserved growth so the next
   // insertion still invalidates iterators.
   t.erase(0);
-  // Unreserved growth can rehash.
+  // The first insert after reserved growth is 0 is guaranteed to rehash when
+  // generations are enabled.
   t.insert(10);
   EXPECT_DEATH_IF_SUPPORTED(*it, kInvalidIteratorDeathMessage);
   EXPECT_DEATH_IF_SUPPORTED(void(it == t.begin()),
                             kInvalidIteratorDeathMessage);
+  EXPECT_DEATH_IF_SUPPORTED(std::cout << *ptr,
+                            "heap-use-after-free|use-of-uninitialized-value");
 }
 
 TEST(Table, ReservedGrowthUpdatesWhenTableDoesntGrow) {