gcc/testsuite/gnat.dg/warn18.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-Wuninitialized" }
   3
   4 with Ada.Text_IO; use Ada.Text_IO;
   5
   6 procedure Warn18 is
   7    type Set is array (Natural range <>) of Boolean;
   8    pragma Pack (Set);
   9
  10    O : constant Set (0 .. 255) := (28 => True, others => False);
  11 begin
  12    Put_Line (O (1)'Img);
  13 end Warn18;