comp.lang.ada
 help / color / mirror / Atom feed
From: robert_dewar@my-dejanews.com
Subject: Re: Ada or C++ acting 'correctly' here?
Date: 1999/02/28
Date: 1999-02-28T00:00:00+00:00	[thread overview]
Message-ID: <7baig1$mg1$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 36D85A54.2A0E6283@ibm.net

In article <36D85A54.2A0E6283@ibm.net>,
  bijuthom@ibm.net wrote:
> No. The C++ compiler is non-conforming. The C++ standard
> says that if a constant expression cannot be represented
> in the target type, the program is ill-formed. (Chapter
> 5, paragraph 5.) A C++ compiler is required to issue a
> diagnostic message while compiling an ill-formed
> program. (It is *not* an undefined behaviour.)

Interesting, this is new to me, is this something that
has been in informal C++ definitions from the start, or
was it something added for the ISO standard?

By the way, I still think this shows an advantage of
Ada, one cannot imagine bumping into a non-conforming
Ada 95 compiler that would not reject the Ada example
here. I suspect the C++ situation is precisely an
indication of the fact that C++ compilers are not
yet generally fully conforming with the ISO standard.


-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    




  reply	other threads:[~1999-02-28  0:00 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-02-27  0:00 Ada or C++ acting 'correctly' here? bill
1999-02-27  0:00 ` Steve Doiel
1999-02-27  0:00 ` Claudius Proculus
1999-02-27  0:00   ` Biju Thomas
1999-02-28  0:00     ` robert_dewar [this message]
1999-02-28  0:00       ` Florian Weimer
1999-03-01  0:00         ` dewar
1999-02-27  0:00 ` Florian Weimer
     [not found]   ` <36e8e201.48455851@netnews.worldnet.att.net>
1999-03-18  0:00     ` bglbv
1999-02-27  0:00 ` Gautier.DeMontmollin
1999-02-27  0:00 ` Matthew Heaney
1999-02-28  0:00 ` robert_dewar
1999-02-28  0:00 ` William McKenzie
1999-03-01  0:00   ` Hubert B. Keller
1999-03-01  0:00   ` fraser
1999-03-02  0:00 ` Willliam V
1999-03-02  0:00   ` SpamSpamSpam
1999-03-02  0:00   ` robert_dewar
1999-03-02  0:00   ` Gautier.DeMontmollin
1999-03-02  0:00     ` kvisko
1999-03-02  0:00   ` Pascal Obry
replies disabled

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