From jhauser@jhauser.us  Sat Jun 19 02:35:54 2004
Return-Path: <jhauser@jhauser.us>
X-Original-To: embedded-c@open-std.org
Delivered-To: embedded-c@open-std.org
Received: from sccrmhc12.comcast.net (sccrmhc12.comcast.net [204.127.202.56])
	by ghz.klid.dk (Postfix) with ESMTP id DF08837609
	for <embedded-c@open-std.org>; Sat, 19 Jun 2004 02:35:52 +0200 (CEST)
Received: from cordia (c-67-169-124-82.client.comcast.net[67.169.124.82])
          by comcast.net (sccrmhc12) with ESMTP
          id <2004061900354501200hkcmte>; Sat, 19 Jun 2004 00:35:51 +0000
From: "John Hauser" <jhauser@jhauser.us>
To: embedded-c@open-std.org
Date: Fri, 18 Jun 2004 17:37:48 -0700
MIME-Version: 1.0
Subject: Re: Corrections on TR 18037
Message-ID: <40D3286C.12145.8C6B32@localhost>
Priority: normal
In-reply-to: <20040616140723.A19523760C@ghz.klid.dk>
X-mailer: Pegasus Mail for Windows (v4.12a)
Content-type: text/plain; charset=US-ASCII
Content-transfer-encoding: 7BIT
Content-description: Mail message body

> I have 2 corrections on the text of 18037; to be discussed in
> Redmond for a TC.

Those two don't look controversial.

Where do we stand with the other fixes?  Here's the list I know of:

 A. Rename "strtok" to "strto_k".  (Ugh.)

 B. Remove the definition of "additionally access-qualified version of a
    type" from the new text for 6.2.5, and rewrite 6.5 as spelled out in
    message embedded-c.195.  (Doug Gwyn has suggested replacing the word
    "minus" there by "without".)

Sadly, I also discovered a new problem:

 C. In the new text for 6.7.2.1, the TR adds a constraint:

        The _specifier-qualifier-list_ in the declaration of a member of
        a structure or union shall not include an address space
        qualifier.

    This is a mistake, because it keeps us from declaring something
    innocuous like

        struct onePointer { _X int *pX; };

    As written, the constraint would make the member declaration
    invalid, whereas we only intended to prohibit declarations such as
    this:

        struct oneInteger { _X int iX; };

    I propose we change the constraint to be:

        Within a structure or union specifier, the type of a member
        shall not be qualified by an address space qualifier.


Willem, will you be attending the Redmond meeting?  If not, I could 
volunteer to go and be responsible for the TR and/or a TC.

    - John Hauser