From: Adam Beneschan <adam@irvine.com>
Subject: Re: Feature or Bug? 2#1111# shifted by 4 is 224
Date: Tue, 3 Jun 2008 10:56:13 -0700 (PDT)
Date: 2008-06-03T10:56:13-07:00 [thread overview]
Message-ID: <da3aafdb-8bd8-44fa-b21b-ad56111727a0@y22g2000prd.googlegroups.com> (raw)
In-Reply-To: lA01k.191627$yE1.62906@attbi_s21
On Jun 2, 5:51 pm, "Jeffrey R. Carter"
<spam.jrcarter....@spam.acm.org> wrote:
> Dennis Hoppe wrote:
>
> > The same behaviour can be reproduced by the code I posted above.
> > Again, if I compile my source mit the -gnato flag, the program
> > compute the shift operation correct.
>
> With[out] -gnato and -fstack-check (and some would say -gnatE), GNAT is not an Ada
> compiler.
So how is that relevant? Without those flags, the compiler will
violate Ada semantics in some specific and well-defined cases, but
users can still rightly expect Ada semantics to be followed in every
other case.
-- Adam
next prev parent reply other threads:[~2008-06-03 17:56 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-02 15:17 Feature or Bug? 2#1111# shifted by 4 is 224 Dennis Hoppe
2008-06-02 16:11 ` Tero Koskinen
2008-06-02 17:59 ` Ludovic Brenta
2008-06-02 18:52 ` Dennis Hoppe
2008-06-03 0:51 ` Jeffrey R. Carter
2008-06-03 4:26 ` Gautier
2008-06-03 19:36 ` Jeffrey R. Carter
2008-06-03 17:56 ` Adam Beneschan [this message]
2008-06-03 19:39 ` Jeffrey R. Carter
2008-06-03 8:10 ` Ludovic Brenta
2008-06-03 12:59 ` Samuel Tardieu
2008-06-04 3:36 ` Tero Koskinen
2008-06-02 22:32 ` Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox