>> On Jan 21, 2014, at 5:11 PM, "Ville Voutilainen" <ville.voutilainen_at_gmail.com> wrote:
>>
>> On 22 January 2014 02:55, David Krauss <david_work_at_me.com> wrote:
>> 1. Violation of “shall” is diagnosable unless otherwise specified (1.4/1).
>
> Ok. I don't think this is obviously clear.
>
>> 2. I would take “use” to mean ODR-use.
>
> I wouldn't, I would take "use" to mean any use, not just odr-use.
>
>> 3. Far as I know, the implementation is allowed to perform dynamic initialization of globals in main. So for all intents and purposes, it’s not really usable as a function because its body doesn’t describe what it does.
>
> Well, apparently some implementations think they can get away with it
> under the auspices
> of undefined behavior. :)

That is just plain implementation bug; don't let an implementer impress you with appeal to undefined behavior on this one :-)

-- Gaby