Make std::pair trivial

test/libcxx/BUILD.mk

@@ -0,0 +1,40 @@
+#-*-mode:makefile-gmake;indent-tabs-mode:t;tab-width:8;coding:utf-8-*-┐
+#── vi: set noet ft=make ts=8 sw=8 fenc=utf-8 :vi ────────────────────┘
+
+PKGS += TEST_LIBCXX
+
+TEST_LIBCXX_FILES := $(wildcard test/libcxx/*)
+TEST_LIBCXX_SRCS = $(filter %.cc,$(TEST_LIBCXX_FILES))
+TEST_LIBCXX_OBJS = $(TEST_LIBCXX_SRCS:%.cc=o/$(MODE)/%.o)
+TEST_LIBCXX_COMS = $(TEST_LIBCXX_OBJS:%.o=%.com)
+TEST_LIBCXX_BINS = $(TEST_LIBCXX_COMS) $(TEST_LIBCXX_COMS:%=%.dbg)
+TEST_LIBCXX_CHECKS = $(TEST_LIBCXX_COMS:%=%.runs)
+TEST_LIBCXX_TESTS = $(TEST_LIBCXX_COMS:%=%.ok)
+
+TEST_LIBCXX_DIRECTDEPS =				\
+	LIBC_INTRIN					\
+	LIBC_NEXGEN32E					\
+	LIBC_RUNTIME					\
+	THIRD_PARTY_LIBCXX
+
+TEST_LIBCXX_DEPS :=					\
+	$(call uniq,$(foreach x,$(TEST_LIBCXX_DIRECTDEPS),$($(x))))
+
+o/$(MODE)/test/libcxx/libcxx.pkg:			\
+		$(TEST_LIBCXX_OBJS)			\
+		$(foreach x,$(TEST_LIBCXX_DIRECTDEPS),$($(x)_A).pkg)
+
+o/$(MODE)/test/libcxx/%.com.dbg:			\
+		$(TEST_LIBCXX_DEPS)			\
+		o/$(MODE)/test/libcxx/%.o		\
+		o/$(MODE)/test/libcxx/libcxx.pkg	\
+		$(CRT)					\
+		$(APE_NO_MODIFY_SELF)
+	@$(APELINK)
+
+$(TEST_LIBCXX_OBJS): private CCFLAGS += -fexceptions -frtti
+
+.PHONY: o/$(MODE)/test/libcxx
+o/$(MODE)/test/libcxx:					\
+		$(TEST_LIBCXX_BINS)			\
+		$(TEST_LIBCXX_CHECKS)

test/libcxx/trivial_test.cc

@@ -0,0 +1,29 @@
+/*-*-mode:c++;indent-tabs-mode:nil;c-basic-offset:2;tab-width:8;coding:utf-8-*-│
+│ vi: set et ft=c++ ts=2 sts=2 sw=2 fenc=utf-8                             :vi │
+╞══════════════════════════════════════════════════════════════════════════════╡
+│ Copyright 2024 Justine Alexandra Roberts Tunney                              │
+│                                                                              │
+│ Permission to use, copy, modify, and/or distribute this software for         │
+│ any purpose with or without fee is hereby granted, provided that the         │
+│ above copyright notice and this permission notice appear in all copies.      │
+│                                                                              │
+│ THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL                │
+│ WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED                │
+│ WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE             │
+│ AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL         │
+│ DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR        │
+│ PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER               │
+│ TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR             │
+│ PERFORMANCE OF THIS SOFTWARE.                                                │
+╚─────────────────────────────────────────────────────────────────────────────*/
+#include <type_traits>
+#include <utility>
+
+static_assert(std::is_trivially_copyable<int>::value);
+static_assert(std::is_trivially_copyable<const int>::value);
+static_assert(std::is_trivially_copyable<std::pair<int *, const int>>::value);
+static_assert(
+    std::is_trivially_copyable<std::pair<const int, const int>>::value);
+
+int main(int argc, char *argv[]) {
+}