diff --git a/source/conversions.tex b/source/conversions.tex index ee24842454..a5776c936d 100644 --- a/source/conversions.tex +++ b/source/conversions.tex @@ -358,7 +358,7 @@ A prvalue of an unscoped enumeration type whose underlying type is not fixed~(\ref{dcl.enum}) can be converted to a prvalue of the first of the following types that can represent all the values of the enumeration (i.e., the values in the -range $b_\mathit{min}$ to $b_\mathit{max}$ as described in~\ref{dcl.enum}): \tcode{int}, +range $b_\text{min}$ to $b_\text{max}$ as described in~\ref{dcl.enum}): \tcode{int}, \tcode{unsigned int}, \tcode{long} \tcode{int}, \tcode{unsigned long} \tcode{int}, \tcode{long long int}, or \tcode{unsigned long long int}. If none of the types in that list can represent all the values of the enumeration, a prvalue of an unscoped diff --git a/source/declarations.tex b/source/declarations.tex index 24a4fc9bbe..4f4146fc7b 100644 --- a/source/declarations.tex +++ b/source/declarations.tex @@ -2127,16 +2127,16 @@ \indextext{signed integer representation!signed magnitude}% For an enumeration whose underlying type is fixed, the values of the enumeration are the values of the underlying type. Otherwise, -for an enumeration where $e_\mathit{min}$ is the smallest enumerator and -$e_\mathit{max}$ is the largest, the values of the enumeration are the -values in the range $b_{min}$ to $b_{max}$, defined as follows: Let $K$ +for an enumeration where $e_\text{min}$ is the smallest enumerator and +$e_\text{max}$ is the largest, the values of the enumeration are the +values in the range $b_\text{min}$ to $b_\text{max}$, defined as follows: Let $K$ be 1 for a two's complement representation and 0 for a ones' complement -or sign-magnitude representation. $b_{max}$ is the smallest value -greater than or equal to $max(|e_{min}| - K, |e_{max}|)$ and equal to -$2^M-1$, where $M$ is a non-negative integer. $b_{min}$ is zero if -$e_{min}$ is non-negative and $-(b_{max}+K)$ otherwise. The size of the +or sign-magnitude representation. $b_\text{max}$ is the smallest value +greater than or equal to $max(|e_\text{min}| - K, |e_\text{max}|)$ and equal to +$2^M-1$, where $M$ is a non-negative integer. $b_\text{min}$ is zero if +$e_\text{min}$ is non-negative and $-(b_\text{max}+K)$ otherwise. The size of the smallest bit-field large enough to hold all the values of the -enumeration type is $max(M,1)$ if $b_{min}$ is zero and $M+1$ otherwise. +enumeration type is $max(M,1)$ if $b_\text{min}$ is zero and $M+1$ otherwise. It is possible to define an enumeration that has values not defined by any of its enumerators. If the \grammarterm{enumerator-list} is empty, the values of the enumeration are as if the enumeration had a single enumerator with