Re: Static vs dynamic evaluation anomaly?

["Adam Beneschan" <adam@irvine.com>]

On Feb 6, 9:29 am, Matt Jaffe <jaf...@cableone.net> wrote:

> Any further help in explaining these anomalies would be much appreciated.  (It's always possible we've stumbled across a compiler bug; but I am reluctant to come to that conclusion prematurely.)

I'm not so reluctant.  It's a compiler bug.

The following program produces incorrect results on GNAT, or at least
on the version I'm using:

with Ada.Text_IO;
procedure test271 is
    type Six_Bits is mod 2**6;
    package Six_Bit_IO is new Ada.Text_IO.Modular_IO(Six_Bits);
    X : Six_Bits := 31;
begin
    for J in 0..5 loop
        Ada.Text_IO.Put ("When J=" & Integer'image(J));
        Ada.Text_IO.Put (", X*2**J =");
        Six_Bit_IO.Put(X*2**J);
        Ada.Text_IO.New_Line;
    end loop;
end test271;

                      -- Adam