2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
[official-gcc.git] / gcc / testsuite / gnat.dg / volatile7.adb
blob9b468e2565cae94033c054dd07f458c3be34d39c
1 -- { dg-do compile }
2 -- { dg-options "-O2 -fdump-tree-optimized" }
4 function Volatile7 return Integer is
6 type Vol is new Integer;
7 pragma Volatile (Vol);
9 type R is record
10 X : Vol := 0;
11 end record;
13 V : R;
15 begin
16 for J in 1 .. 10 loop
17 V.X := V.X + 1;
18 end loop;
20 return Integer (V.X);
21 end;
23 -- { dg-final { scan-tree-dump "goto" "optimized" } }