From dc1847cdfb4b79ee1082f1cc3b26f9221f49f4b6 Mon Sep 17 00:00:00 2001 From: Vlad Serebrennikov Date: Mon, 17 Feb 2025 19:57:50 +0400 Subject: [PATCH 1/2] [expr.sub] Add missing cross-references --- source/expressions.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index aa7b9b6761..da4cd46b24 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -3241,12 +3241,12 @@ a possibly empty, comma-separated list of \grammarterm{initializer-clause}s that constitute the arguments to the subscript operator. The \grammarterm{postfix-expression} and -the initialization of the object parameter of -any applicable subscript operator function is sequenced before +the initialization of the object parameter\iref{dcl.fct} of +any applicable subscript operator function\iref{over.sub} is sequenced before each expression in the \grammarterm{expression-list} and also before -any default argument. +any default argument\iref{dcl.fct.default}. The initialization of a non-object parameter of -a subscript operator function \tcode{S}\iref{over.sub}, +a subscript operator function \tcode{S}, including every associated value computation and side effect, is indeterminately sequenced with respect to that of any other non-object parameter of \tcode{S}. @@ -3257,7 +3257,7 @@ consisting of a single \grammarterm{assignment-expression}. One of the expressions shall be a glvalue of type ``array of \tcode{T}'' or a prvalue of type ``pointer -to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration or integral type. +to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration\iref{dcl.enum} or integral type. The result is of type ``\tcode{T}''. \indextext{type!incomplete}% The type ``\tcode{T}'' shall be a completely-defined object type.% From 9e2c67ff4f10bbe913ac40d7b543b9c53a6fc2a4 Mon Sep 17 00:00:00 2001 From: Vlad Serebrennikov Date: Mon, 17 Feb 2025 21:36:46 +0400 Subject: [PATCH 2/2] Drop cross-reference to [dcl.enum] --- source/expressions.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/expressions.tex b/source/expressions.tex index da4cd46b24..d73a99da88 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -3257,7 +3257,7 @@ consisting of a single \grammarterm{assignment-expression}. One of the expressions shall be a glvalue of type ``array of \tcode{T}'' or a prvalue of type ``pointer -to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration\iref{dcl.enum} or integral type. +to \tcode{T}'' and the other shall be a prvalue of unscoped enumeration or integral type. The result is of type ``\tcode{T}''. \indextext{type!incomplete}% The type ``\tcode{T}'' shall be a completely-defined object type.%