Skip to content

Commit 5ef31f3

Browse files
languagelawyertkoeppe
authored andcommitted
[expr.unary.op] Fix usage of "result"
1 parent 9e41a1c commit 5ef31f3

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed

source/expressions.tex

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4548,13 +4548,12 @@
45484548
\pnum
45494549
\indextext{expression!unary operator}%
45504550
\indextext{operator!unary}%
4551-
The unary \tcode{*} operator performs \defn{indirection}:
4551+
The unary \tcode{*} operator performs \defn{indirection}.
45524552
\indextext{dereferencing|see{indirection}}%
4553-
the expression to which it is applied shall be a pointer to an object
4554-
type, or a pointer to a function type and the result is an lvalue
4555-
referring to the object or function to which the expression points. If
4556-
the type of the expression is ``pointer to \tcode{T}'', the type of the
4557-
result is ``\tcode{T}''.
4553+
Its operand shall be a prvalue of type ``pointer to \tcode{T}'',
4554+
where \tcode{T} is an object or function type.
4555+
The operator yields an lvalue of type \tcode{T}
4556+
denoting the object or function to which the operand points.
45584557
\begin{note}
45594558
\indextext{type!incomplete}%
45604559
Indirection through a pointer to an incomplete type (other than
@@ -4564,7 +4563,7 @@
45644563
\end{note}
45654564

45664565
\pnum
4567-
The result of each of the following unary operators is a prvalue.
4566+
Each of the following unary operators yields a prvalue.
45684567

45694568
\pnum
45704569
\indextext{name!address of cv-qualified}%

0 commit comments

Comments
 (0)