gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization14.ads


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

package Loop_Optimization14 is

   type Rec is record
      A : Boolean;
      pragma Atomic (A);

      B : Boolean;

   end record;

   procedure Finalize_Pool (Pool : in out Rec);

end Loop_Optimization14;