comp.lang.ada
 help / color / mirror / Atom feed
From: Warren <ve3wwg@gmail.com>
Subject: Re: Ada Smileys in C++ lib Conversion
Date: Wed, 18 Aug 2010 17:31:59 +0000 (UTC)
Date: 2010-08-18T17:31:59+00:00	[thread overview]
Message-ID: <Xns9DD889AA89673WarrensBlatherings@188.40.43.230> (raw)
In-Reply-To: 1b64e5c2-f3d5-41e9-99cb-70e92c074d33@q22g2000yqm.googlegroups.com

Maciej Sobczak expounded in news:1b64e5c2-f3d5-41e9-99cb-70e92c074d33
@q22g2000yqm.googlegroups.com:

>> >> Further, the switch statement doesn't tell you about the
>> >> cases which are missing.
>>
>> > Try g++ -Wswitch.
>>
>> GCC extension.
> 
> No, it is not an extension. It is a compiler option.
> The language standard does not define what options the compiler should
> support, so it does not make much sense to declare that some option is
> an extension. All options are features of respective products and
> products compete by offering different sets of features.
...
>> Try it on HP or AIX C compiler.
> 
> And your point is?
> It is true that the language standard does not mandate such coverage
> check (unlike in Ada), but that does not make such analysis unfeasible
> or forbidden.

Now you understand my point, exactly.

Warren



  parent reply	other threads:[~2010-08-18 17:31 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-08-13 14:20 Ada Smileys in C++ lib Conversion Warren
2010-08-13 15:06 ` Yannick Duchêne (Hibou57)
2010-08-13 16:53 ` Anh Vo
2010-08-14  1:36   ` Warren
2010-08-14  9:52     ` Georg Bauhaus
2010-08-14 10:57     ` Brian Drummond
2010-08-14 20:34       ` Maciej Sobczak
2010-08-14 21:01         ` Dmitry A. Kazakov
2010-08-15  1:16         ` Brian Drummond
2010-08-15 10:04           ` Maciej Sobczak
2010-08-16 12:08             ` Brian Drummond
2010-08-16 12:13               ` Georg Bauhaus
2010-08-16 12:30             ` Brian Drummond
2010-08-16 12:39               ` Maciej Sobczak
2010-08-16 21:39                 ` Brian Drummond
2010-08-16 22:53                   ` Robert A Duff
2010-08-24 10:12           ` David Thompson
2010-08-30  9:51             ` Brian Drummond
2010-08-16 14:54       ` Warren
2010-08-16 20:27         ` Maciej Sobczak
2010-08-17 12:57           ` Warren
2010-08-17 13:37             ` Maciej Sobczak
2010-08-17 15:07               ` Georg Bauhaus
2010-08-18 17:31               ` Warren [this message]
2010-08-24 10:12             ` David Thompson
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox