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