gcc-4.8.3/gcc/testsuite/gnat.dg/assign_from_packed.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

-- { dg-do run }

with assign_from_packed_pixels;
use assign_from_packed_pixels;

procedure assign_from_packed is

   A : Integer := Minus_One;
   Pos : Position;
begin
   Pos := Pix.Pos;
   if A /= Minus_One then
      raise Program_Error;
   end if;
end;