Defect Report #174
Submission Date: 16 Oct 95
Submittor: BSI
Source: Clive D.W. Feather
Question
Submitted to BSI by Clive D.W. Feather clive@sco.com .
In this Defect Report, identifiers lexically identical to those
declared in standard headers refer to the identifiers declared in those
standard headers, whether or not the header is explicitly mentioned.
This Defect Report has been prepared with considerable help from
Mark Brader, Jutta Degener, Ronald Guilmette, and a person whose
employment conditions require anonymity. However, except where stated,
opinions expressed or implied should not be assumed to be those of any
person other than myself.
Defect Report UK 022: Implicit conversions
The wording dealing with the usual arithmetic conversions contains
a number of errors; while the correct meaning is usually clear, a
strict reading of the C Standard shows some contradictions and/or
unwanted side-effects.
Subclause 6.2.1.5 reads in part:
Many binary operators that expect operands of arithmetic type
cause conversions and yield result types in a similar way. The purpose
is to yield a common type, which is also the type of the result.
Subclause 6.3.15 reads in part:
The second operand is evaluated only if the first compares unequal
to 0; the third operand is evaluated only if the first compares equal
to 0; the value of the second or third operand (whichever is evaluated)
is the result.
If both the second and third operands have arithmetic type, the
usual arithmetic conversions are performed to bring them to a common
type and the result has that type ... in which case the other operand
is converted to type pointer to void, and the result has that type.
These citations have several defects:
The relational and equality operators apply the usual arithmetic
conversions, but not to yield the type of result.
The conditional operator ?: is not a binary
operator, but is specified as performing the usual arithmetic
conversions.
The concept of conversions applies only to a value; subclause
6.3.15 is therefore contradicting itself when it calls for both the
second and third operands to be subject to conversion when only one of
them is evaluated.
The value of the result of the ?: operator is
not necessarily that of the second or third operand, as the value may
have been converted (possibly yielding a different value).
Suggested Technical Corrigendum
In subclause 6.2.1.5, change the cited sentences to:
Many operators cause the same pattern of conversions to be applied
to two operands of arithmetic type. The purpose is to yield a common
type, which, unless explicitly stated otherwise, is also the type of
the operator's result.
In 6.3.15, change the cited wording to:
The second operand is evaluated only if the first compares unequal
to 0; the third operand is evaluated only if the first compares equal
to 0; the result of the operator is the value of the second or third
operand (whichever is evaluated), converted to the type described
below.
If both the second and third operands have arithmetic type, the
type that the usual arithmetic conversions would yield if applied to
those two operands is the type of the result ... in which case the type
of the result is pointer to void.
Previous Defect Report
< - >
Next Defect Report