[libc++] Fix bug in atomic_ref<T*> test

Author: dalg24

libcxx/test/std/atomics/atomics.ref/increment_decrement.pass.cpp

@@ -42,21 +42,21 @@ constexpr bool does_not_have_increment_nor_decrement_operators() {
 
 template <typename T>
 struct TestDoesNotHaveIncrementDecrement {
-  void operator()() const { static_assert(does_not_have_increment_nor_decrement_operators<T>()); }
+  void operator()() const { static_assert(does_not_have_increment_nor_decrement_operators<std::atomic_ref<T>>()); }
 };
 
 template <typename T>
 struct TestIncrementDecrement {
   void operator()() const {
-    static_assert(std::is_integral_v<T>);
+    static_assert(std::is_integral_v<T> || std::is_pointer_v<T>);
 
     T x(T(1));
     std::atomic_ref<T> const a(x);
 
     {
       std::same_as<T> decltype(auto) y = ++a;
-      assert(y == T(2));
-      assert(x == T(2));
+      assert(y == T(1) + 1);
+      assert(x == T(1) + 1);
       ASSERT_NOEXCEPT(++a);
     }
 
@@ -70,13 +70,13 @@ struct TestIncrementDecrement {
     {
       std::same_as<T> decltype(auto) y = a++;
       assert(y == T(1));
-      assert(x == T(2));
+      assert(x == T(1) + 1);
       ASSERT_NOEXCEPT(a++);
     }
 
     {
       std::same_as<T> decltype(auto) y = a--;
-      assert(y == T(2));
+      assert(y == T(1) + 1);
       assert(x == T(1));
       ASSERT_NOEXCEPT(a--);
     }
@@ -88,7 +88,7 @@ int main(int, char**) {
 
   TestEachFloatingPointType<TestDoesNotHaveIncrementDecrement>()();
 
-  TestEachPointerType<TestDoesNotHaveIncrementDecrement>()();
+  TestEachPointerType<TestIncrementDecrement>()();
 
   TestDoesNotHaveIncrementDecrement<bool>()();
   TestDoesNotHaveIncrementDecrement<UserAtomicType>()();