CWG2744 Multiple objects of the same type at the same address

tkoeppe · Apr 12, 2026 · Apr 4, 2026 · Apr 4, 2026 · Apr 4, 2026 · Apr 4, 2026
commit 5d6e9c84ce6d80b7e82c169a643fdaa65db42567
diff --git a/source/basic.tex b/source/basic.tex
@@ -3640,7 +3640,13 @@
 may have the same address if
 \begin{itemize}
 \item one is nested within the other,
-\item at least one is a subobject of zero size and they are not of similar types\iref{conv.qual},
+\item
+they are both nested within some complete object $o$,
+exactly one is a subobject of $o$, and the subobject is of zero size,
+\item
+they are both subobjects of the same complete object,
+at least one is a subobject of zero size, and
+they are not of similar types\iref{conv.qual},
 or
 \item they are both potentially non-unique objects;
 \end{itemize}