|
3774 | 3774 | \item |
3775 | 3775 | Otherwise, \tcode{r} represents a data member description |
3776 | 3776 | $(T, N, A, W, \mathit{NUA})$\iref{class.mem.general}; |
3777 | | - \tcode{true} if $N$ is not $\perp$. |
| 3777 | + \tcode{true} if $N$ is not $\bot$. |
3778 | 3778 | Otherwise, \tcode{false}. |
3779 | 3779 | \end{itemize} |
3780 | 3780 | \end{itemdescr} |
|
4213 | 4213 | \tcode{true} if \tcode{r} represents a bit-field, |
4214 | 4214 | or if \tcode{r} represents a data member description |
4215 | 4215 | $(T, N, A, W, \mathit{NUA})$\iref{class.mem.general} |
4216 | | -for which $W$ is not $\perp$. |
| 4216 | +for which $W$ is not $\bot$. |
4217 | 4217 | Otherwise, \tcode{false}. |
4218 | 4218 | \end{itemdescr} |
4219 | 4219 |
|
|
5740 | 5740 | non-static data member that is not a bit-field, |
5741 | 5741 | direct base class relationship, or |
5742 | 5742 | data member description $(T, N, A, W, \mathit{NUA})$\iref{class.mem.general} |
5743 | | -where $W$ is not $\perp$. |
| 5743 | +where $W$ is not $\bot$. |
5744 | 5744 | If \tcode{dealias(r)} represents a type, |
5745 | 5745 | then \tcode{is_complete_type(r)} is \tcode{true}. |
5746 | 5746 | \end{itemdescr} |
|
5772 | 5772 | \item |
5773 | 5773 | Otherwise, \tcode{r} represents a data member description |
5774 | 5774 | $(\mathit{TR}, N, A, W, \mathit{NUA})$\iref{class.mem.general}. |
5775 | | - If $A$ is not $\perp$, |
| 5775 | + If $A$ is not $\bot$, |
5776 | 5776 | then the value of $A$. |
5777 | 5777 | Otherwise, \tcode{alignment_of(\reflexpr{$T$})}. |
5778 | 5778 | \end{itemize} |
|
5809 | 5809 | \item |
5810 | 5810 | Otherwise, if \tcode{r} represents a data member description |
5811 | 5811 | $(T, N, A, W, \mathit{NUA})$\iref{class.mem.general} |
5812 | | - and $W$ is not $\perp$, |
| 5812 | + and $W$ is not $\bot$, |
5813 | 5813 | then $W$. |
5814 | 5814 | \item |
5815 | 5815 | Otherwise, \tcode{CHAR_BIT * size_of(r)}. |
|
6375 | 6375 | $T$ is the type represented by \tcode{dealias(type)}, |
6376 | 6376 | \item |
6377 | 6377 | $N$ is either the identifier encoded by \tcode{options.name} |
6378 | | - or $\perp$ if \tcode{options.name} does not contain a value, |
| 6378 | + or $\bot$ if \tcode{options.name} does not contain a value, |
6379 | 6379 | \item |
6380 | 6380 | $A$ is either the alignment value held by \tcode{options.alignment} |
6381 | | - or $\perp$ if \tcode{options.alignment} does not contain a value, |
| 6381 | + or $\bot$ if \tcode{options.alignment} does not contain a value, |
6382 | 6382 | \item |
6383 | 6383 | $W$ is either the value held by \tcode{options.bit_width} |
6384 | | - or $\perp$ if \tcode{options.bit_width} does not contain a value, and |
| 6384 | + or $\bot$ if \tcode{options.bit_width} does not contain a value, and |
6385 | 6385 | \item |
6386 | 6386 | $\mathit{NUA}$ is the value held by \tcode{options.no_unique_address}. |
6387 | 6387 | \end{itemize} |
|
6489 | 6489 | \tcode{is_complete_type($T_K$)} is \tcode{true} for every $r_K$; and |
6490 | 6490 | \item |
6491 | 6491 | for every pair $(r_K, r_L)$ where $K < L$, |
6492 | | - if $N_K$ is not $\perp$ and $N_L$ is not $\perp$, |
| 6492 | + if $N_K$ is not $\bot$ and $N_L$ is not $\bot$, |
6493 | 6493 | then either: |
6494 | 6494 | \begin{itemize} |
6495 | 6495 | \item |
|
6531 | 6531 | with the following properties: |
6532 | 6532 | \begin{itemize} |
6533 | 6533 | \item |
6534 | | - If $N_K$ is $\perp$, |
| 6534 | + If $N_K$ is $\bot$, |
6535 | 6535 | $M_K$ is an unnamed bit-field. |
6536 | 6536 | Otherwise, $M_K$ is a non-static data member whose name is the identifier |
6537 | 6537 | determined by the character sequence encoed by $N_K$ in UTF-8. |
|
6541 | 6541 | $M_K$ is declared with the attribute \tcode{[[no_unique_address]]} |
6542 | 6542 | if and only if $\mathit{NUA}_K$ is \tcode{true}. |
6543 | 6543 | \item |
6544 | | - If $W_K$ is not $\perp$, |
| 6544 | + If $W_K$ is not $\bot$, |
6545 | 6545 | $M_K$ is a bit-field whose width is that value. |
6546 | 6546 | Otherwise, $M_K$ is not a bit-field. |
6547 | 6547 | \item |
6548 | | - If $A_K$ is not $\perp$, |
| 6548 | + If $A_K$ is not $\bot$, |
6549 | 6549 | $M_K$ has the \grammarterm{alignment-specifier} \tcode{alignas($A_K$)}. |
6550 | 6550 | Otherwise, $M_K$ has no \grammarterm{alignment-specifier}. |
6551 | 6551 | \end{itemize} |
|
0 commit comments