gcc/testsuite/gnat.dg/assign_from_packed.adb

   1 -- { dg-do run }
   2
   3 with assign_from_packed_pixels;
   4 use assign_from_packed_pixels;
   5
   6 procedure assign_from_packed is
   7
   8    A : Integer := Minus_One;
   9    Pos : Position;
  10 begin
  11    Pos := Pix.Pos;
  12    if A /= Minus_One then
  13       raise Program_Error;
  14    end if;
  15 end;