Subversion Repositories openrisc_2011-10-31

-- { dg-do run }

-- { dg-options "-gnatws" }

with Unchecked_Conversion;

procedure biased_uc is

begin

    --  Case (f) target type is biased, source is unbiased

    declare

       type a is new integer range 0 .. 255;

       for a'size use 8;

       type b is new integer range 200 .. 455;

       for b'size use 8;

       av : a;

       bv : b;

       for av'size use 8;

       for bv'size use 8;

       function a2b is new Unchecked_Conversion (a,b);

    begin

       bv := a2b (200);

       if bv = 200 then

          raise Program_Error;

       end if;

    end;

    --  Case (g) target type is biased, source object is biased

    declare

       type a is new integer range 1 .. 256;

       for a'size use 16;

       type b is new integer range 1 .. 65536;

       for b'size use 16;

       av : a;

       bv : b;

       for av'size use 8;

       for bv'size use 16;

       function a2b is new Unchecked_Conversion (a,b);

    begin

       bv := a2b (1);

       if bv /= 2 then

          raise Program_Error;

       end if;

    end;

end;