1-- { dg-do run }
2
3with Atomic7_Pkg2; use Atomic7_Pkg2;
4
5procedure Atomic7_1 is
6
7  I : Integer := Stamp;
8  pragma Atomic (I);
9
10  J : Integer := Stamp;
11
12begin
13  if I /= 1 then
14    raise Program_Error;
15  end if;
16end;
17