ISO/IEC JTC1/SC22/WG14 N504

Proposal UK005a - Minor alterations to type descriptions
Clive D.W. Feather


Summary
-------
The descriptions of the types fpos_t and va_list allow perverse
implementations. These should be corrected.


Conformance
-----------
No strictly conforming program is affected by this proposal. Only perverse
implementations are affected.


Discussion
----------
In the case of va_list, there is no indication that the type must be an
object type. In the case of fpos_t, there is no requirement for the type to
be assignable (that is, not an array). If fpos_t were an array, then a
function would not be able to handle fpos_t parameters in the same manner
as other fpos_t variables.

These seem to be the only cases where a perverse implementation is possible.
All other types defined by the Standard appear to have sensible properties.


Detailed proposal
-----------------
In subclause 7.8, change:

        va_list
    which is a type
to:
        va_list
    which is an object type

In subclause 7.9.1, change:

        fpos_t
    which is an object type
to:
        fpos_t
    which is an object type other than an array type