comp.lang.ada
 help / color / mirror / Atom feed
From: Gautier.DeMontmollin@maths.unine.ch
Subject: Re: Ada or C++ acting 'correctly' here?
Date: 1999/02/27
Date: 1999-02-27T00:00:00+00:00	[thread overview]
Message-ID: <ssHFvpV7d3X2@nedcu4> (raw)
In-Reply-To: 7b8c7u$sj1@drn.newsguy.com

> compare these 2 little programs, do same thing, one in C++
> and one in Ada. The C++ program compiles Ok, but result is
> negative, the Ada program refused to compile:

(...)
> {
>   cout<<(500000000*7);
>   return 0;
> }

(...)
>   begin
>    Put( 500000000*7 );
>   end Test_Multi;

(...)
> Now. Which would you consider the correct language behaviour?
> (same machine, Pentium pro, Linux.

This could be a bright example of how a strong-typed language
helps you finding errors already at compile time (here: a 32-bit
overflow). If accepted by the compiler, such a bug, lost in a large
program, could take days to locate! 

-- 
Gautier




  reply	other threads:[~1999-02-27  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 ` Gautier.DeMontmollin [this message]
1999-02-27  0:00 ` Matthew Heaney
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
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-28  0:00 ` robert_dewar
1999-02-28  0:00 ` William McKenzie
1999-03-01  0:00   ` fraser
1999-03-01  0:00   ` Hubert B. Keller
1999-03-02  0:00 ` Willliam V
1999-03-02  0:00   ` Gautier.DeMontmollin
1999-03-02  0:00     ` kvisko
1999-03-02  0:00   ` Pascal Obry
1999-03-02  0:00   ` SpamSpamSpam
1999-03-02  0:00   ` robert_dewar
replies disabled

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