Skip to content

Commit bc7a8d9

Browse files
committed
[conv.(prom, fpprom, integral, double)] Fix promotion conversions
1 parent ea10e25 commit bc7a8d9

File tree

1 file changed

+5
-8
lines changed

1 file changed

+5
-8
lines changed

source/expressions.tex

+5-8
Original file line numberDiff line numberDiff line change
@@ -884,20 +884,17 @@
884884

885885
\pnum
886886
\indextext{conversion!bool@\tcode{bool}}%
887-
If the destination type is \tcode{bool}, see~\ref{conv.bool}. If the
888-
source type is \tcode{bool}, the value \tcode{false} is converted to
889-
zero and the value \tcode{true} is converted to one.
890-
891-
\pnum
892887
\indextext{conversion!to unsigned}%
893888
\indextext{conversion!to signed}%
889+
If the source type is \tcode{bool}, the value \tcode{false} is converted to
890+
zero and the value \tcode{true} is converted to one.
894891
Otherwise, the result is the unique value of the destination type
895892
that is congruent to the source integer modulo $2^N$,
896893
where $N$ is the width of the destination type.
897894

898895
\pnum
899-
The conversions allowed as integral promotions are excluded from the set
900-
of integral conversions.
896+
The conversions performed by integral promotions and boolean conversions are
897+
excluded from the set of integral conversions.
901898

902899
\rSec2[conv.double]{Floating-point conversions}
903900

@@ -912,7 +909,7 @@
912909
Otherwise, the behavior is undefined.
913910

914911
\pnum
915-
The conversions allowed as floating-point promotions are excluded from
912+
The conversion performed by floating-point promotion is excluded from
916913
the set of floating-point conversions.
917914

918915
\rSec2[conv.fpint]{Floating-integral conversions}

0 commit comments

Comments
 (0)