gcc/testsuite/gnat.dg/bit_packed_array5.adb

   1 -- { dg-do compile }
   2
   3 with System;
   4
   5 package body Bit_Packed_Array5 is
   6
   7    function Inv (Word : Word_Type) return Word_Type is
   8       W : Word_Type := Word;
   9       pragma Volatile (W);
  10
  11       A_W : constant System.Address := W'Address;
  12
  13       V : Short_Bit_Array_Type;
  14       for V'Address use A_W;
  15       pragma Volatile (V);
  16    begin
  17       for I in V'Range loop
  18           V (I) := not V (I);
  19       end loop;
  20       return W;
  21    end;
  22
  23 end Bit_Packed_Array5;