gcc/testsuite/gnat.dg/loop_optimization14.ads

   1 package Loop_Optimization14 is
   2
   3    type Rec is record
   4       A : Boolean;
   5       pragma Atomic (A);
   6
   7       B : Boolean;
   8
   9    end record;
  10
  11    procedure Finalize_Pool (Pool : in out Rec);
  12
  13 end Loop_Optimization14;