summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/opt71a.adb
blob: d2bd2b39840f1b4e8162a143113116f143cb9f30 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
-- { dg-do compile }
-- { dg-require-effective-target store_merge }
-- { dg-options "-O2 -fdump-tree-store-merging" }

with Opt71_Pkg; use Opt71_Pkg;

procedure Opt71a (X : not null access Rec; Size : Positive) is
begin
   X.all := (Flag => True, Size => Size);
end;

-- { dg-final { scan-tree-dump "Merging successful" "store-merging" } }