Re: Feature or Bug? 2#1111# shifted by 4 is 224

[Tero Koskinen <tero.koskinen@iki.fi>]

On Mon, 02 Jun 2008 19:59:33 +0200 Ludovic Brenta wrote:
> Tero Koskinen <tero.koskinen@iki.fi> writes:
> > On Mon, 02 Jun 2008 17:17:19 +0200 Dennis Hoppe wrote:
> >> In Example B, we limit the parameter N to Positive, because we do not 
> >> want "negative" shifts. The result of Shift_Left(2#1111#, 4) is 224
> >> (2#11100000#) !
> >
> > type Modular_Type is mod 2**4;
> > function Shift_Left (Item : in Modular_Type;
> >                      N    : in Positive) return Modular_Type is
> > begin
> >    return Item * (2**N);
> > end Shift_Left;
> 
> This looks like http://gcc.gnu.org/PR30740 which is fixed in Debian
> unstable :)
> 
> Could you confirm that this is the same bug indeed?

Applying org.debian.gcc-4.3/debian/patches/pr30740.dpatch (from
ada-france.org server) solves the problem for me (GCC 4.3.0,
OpenBSD/i386 as earlier). On Solaris the compiler used -gnato and
-fstack-check flags by default, so the bug didn't occur there.

-- 
Tero Koskinen - http://iki.fi/tero.koskinen/