gcc/testsuite/gnat.dg/aggr27.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnatws -gnata" }
   3
   4 with GNAT.Random_Numbers;
   5
   6 procedure 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
  21 begin
  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));
  26 end Aggr27;