gcc/testsuite/gnat.dg/opt71b.adb

   1 -- { dg-do compile }
   2 -- { dg-require-effective-target store_merge }
   3 -- { dg-options "-O2 -fdump-tree-store-merging" }
   4
   5 with Opt71_Pkg; use Opt71_Pkg;
   6
   7 procedure Opt71b (X : not null access Rec; Y : not null access Rec) is
   8 begin
   9    X.all := (Flag => True, Size => Y.Size);
  10 end;
  11
  12 -- { dg-final { scan-tree-dump "Merging successful" "store-merging" } }