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