gcc/testsuite/gnat.dg/opt71a.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 Opt71a (X : not null access Rec; Size : Positive) is
   8 begin
   9    X.all := (Flag => True, Size => Size);
  10 end;
  11
  12 -- { dg-final { scan-tree-dump "Merging successful" "store-merging" } }