1--  { dg-do run }
2--  { dg-options "-gnatws -gnata" }
3
4with GNAT.Random_Numbers;
5
6procedure Aggr27 is
7
8   Gen: GNAT.Random_Numbers.Generator;
9
10   function Random return Long_Long_Integer is
11      Rand : Integer := GNAT.Random_Numbers.Random(Gen);
12   begin
13      return Long_Long_Integer(Rand);
14   end Random;
15
16   type Values is range 1 .. 4;
17
18   Seq_LLI : array (Values) of Long_Long_Integer := (others => Random);
19   Seq_I   : array (Values) of Integer           := (others => Integer(Random));
20
21begin
22   --  Verify that there is at least two  different entries in each.
23
24   pragma Assert (For some E of Seq_LLI => E /= Seq_LLI (Values'First));
25   pragma Assert (For some E of Seq_I => E /= Seq_I (Values'First));
26end Aggr27;
27