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