[ub] What does "The function main shall not be used within a program" mean?

Gabriel Dos Reis gdr at microsoft.com
Wed Jan 22 18:33:52 CET 2014



>> 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


More information about the ub mailing list