gcc/testsuite/gnat.dg/opt11.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 package body Opt11 is
   5
   6    procedure Proc is
   7       R : Rec;
   8    begin
   9       R := (others => <>);  --  { dg-warning "aggregate not fully initialized" }
  10    end;
  11
  12 end Opt11;