WG: Static vs dynamic evaluation anomaly?

["Grein, Christoph (Fa. ESG)" <Christoph.Grein@eurocopter.com>]

No, this program is absolute correct. Modular types do not overflow,
they use modular arithmetic.

with Ada.Text_IO;
use  Ada.Text_IO;
procedure test271 is
  type Six_Bits is mod 2**6;
  X: constant Six_Bits := 31;
  Z: constant Integer  := 31;
begin
  for J in 0..5 loop
    Put_Line (Integer 'Image         (J) &
              Six_Bits'Image  (X * 2**J) &
              Integer 'Image ((X * 2**J) mod Six_Bit'Modulus));
  end loop;
end test271;