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