1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/loop_boolean.adb b/gcc/testsuite/gnat.dg/loop_boolean.adb
new file mode 100644
index 000000000..f2836c393
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/loop_boolean.adb
@@ -0,0 +1,20 @@
+-- { dg-do run }
+-- { dg-options "-gnatVaM" }
+
+procedure Loop_Boolean is
+
+  type R is record
+    B : Boolean;
+  end record;
+
+  procedure proc (X : R) is
+    B : Boolean;
+  begin
+    B := X.B;
+  end;
+
+begin
+  for I in reverse Boolean loop
+    Proc ((B => I));
+  end loop;
+end;