gcc/testsuite/gnat.dg/bit_packed_array5.adb

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