gcc/testsuite/gnat.dg/volatile3.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2" }
   3
   4 procedure volatile3 is
   5
   6    v1 : Integer := 0;
   7    v2 : Integer := 0;
   8    pragma Volatile (v1);
   9    pragma Volatile (v2);
  10 begin
  11    if v1 /= v2 then
  12       raise Program_Error;
  13    end if;
  14 end;
  15
  16 -- { dg-final { scan-assembler "__gnat_rcheck" } }