gcc/testsuite/gnat.dg/loop_boolean.adb

   1 -- { dg-do run }
   2 -- { dg-options "-gnatVaM" }
   3
   4 procedure Loop_Boolean is
   5
   6   type R is record
   7     B : Boolean;
   8   end record;
   9
  10   procedure proc (X : R) is
  11     B : Boolean;
  12   begin
  13     B := X.B;
  14   end;
  15
  16 begin
  17   for I in reverse Boolean loop
  18     Proc ((B => I));
  19   end loop;
  20 end;