Fix broken MinGW build of gcc.c
[official-gcc.git] / gcc / testsuite / gnat.dg / discr43.adb
blobe0d43904eca4b850e30abdb2c19f73e13bc5a598
1 -- { dg-do compile }
3 with Text_IO; use Text_IO;
5 procedure Discr43 is
7 type Arr is array (Short_Integer range <>) of Boolean;
9 type Rec (LB : Short_Integer; UB : Short_Integer) is record
10 A : Arr (LB .. UB);
11 end record;
13 begin
14 Put_Line ("Arr'Max_Size =" & Arr'Max_Size_In_Storage_Elements'Img);
15 Put_Line ("Rec'Max_Size =" & Rec'Max_Size_In_Storage_Elements'Img);
16 end;