From 99df70529fddc458fade6b3b63a56588d100385a Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sat, 3 May 2025 10:43:15 +0200
Subject: [PATCH 1/3] [basic.align] Add "suitably aligned" indextext

---
 source/basic.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/basic.tex b/source/basic.tex
index 733d6699d0..a2212e68df 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -3547,6 +3547,7 @@
 \indextext{object model|)}
 
 \rSec2[basic.align]{Alignment}
+\indextext{suitably aligned}%
 
 \pnum
 Object types have \defnx{alignment requirements}{alignment requirement!implementation-defined}\iref{basic.fundamental,basic.compound}

From f47a2cd042bdc64c11b2486919f8c68284341d9d Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sat, 3 May 2025 10:45:15 +0200
Subject: [PATCH 2/3] [obj.lifetime] Add references for "suitably aligned"

---
 source/memory.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/memory.tex b/source/memory.tex
index dfa3087c95..e50ca36f2d 100644
--- a/source/memory.tex
+++ b/source/memory.tex
@@ -948,7 +948,7 @@
 that is
 a subset of the region of storage
 reachable through\iref{basic.compound} \tcode{p} and
-suitably aligned for the type \tcode{T}.
+suitably aligned\iref{basic.align} for the type \tcode{T}.
 
 \pnum
 \effects
@@ -995,7 +995,7 @@
 
 \pnum
 \expects
-\tcode{p} is suitably aligned for an array of \tcode{T} or is null.
+\tcode{p} is suitably aligned\iref{basic.align} for an array of \tcode{T} or is null.
 \tcode{n <= size_t(-1) / sizeof(T)} is \tcode{true}.
 If \tcode{n > 0} is \tcode{true},
 \range{(char*)p}{(char*)p + (n * sizeof(T))} denotes
@@ -1039,7 +1039,7 @@
 \item
   \range{result}{result + (last - first)} denotes a region of storage that
   is a subset of the region reachable through \tcode{result}\iref{basic.compound}
-  and suitably aligned for the type \tcode{T}.
+  and suitably aligned\iref{basic.align} for the type \tcode{T}.
 \item
   No element in the range \range{first}{last} is a potentially-overlapping subobject.
 \end{itemize}
@@ -1101,7 +1101,7 @@
 \item
   \range{result}{result + (last - first)} denotes a region of storage that is
   a subset of the region reachable through \tcode{result}\iref{basic.compound}
-  and suitably aligned for the type \tcode{T}.
+  and suitably aligned\iref{basic.align} for the type \tcode{T}.
 \item
   No element in the range \range{first}{last} is a potentially-overlapping
   subobject.

From be2cdf7360c2eacdb63a6b3980b21b14bae02c51 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sat, 3 May 2025 10:46:15 +0200
Subject: [PATCH 3/3] [new.delete] Clarify "suitably aligned storage"

---
 source/support.tex | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/source/support.tex b/source/support.tex
index 7d53612aad..517059ddad 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -2452,7 +2452,8 @@
 
 \pnum
 \required
-Return a non-null pointer to suitably aligned storage\iref{basic.stc.dynamic},
+Return a non-null pointer to storage
+aligned as described in \ref{basic.stc.dynamic.allocation},
 or else throw a
 \tcode{bad_alloc}
 \indexlibraryglobal{bad_alloc}%
@@ -2510,7 +2511,8 @@
 
 \pnum
 \required
-Return a non-null pointer to suitably aligned storage\iref{basic.stc.dynamic},
+Return a non-null pointer to storage
+aligned as described in \ref{basic.stc.dynamic.allocation},
 or else return a null pointer.
 Each of these nothrow versions of
 \tcode{operator new}
@@ -2762,7 +2764,8 @@
 
 \pnum
 \required
-Return a non-null pointer to suitably aligned storage\iref{basic.stc.dynamic},
+Return a non-null pointer to storage
+aligned as described in \ref{basic.stc.dynamic.allocation},
 or else return a null pointer.
 Each of these nothrow versions of
 \tcode{operator new[]}