gcc/testsuite/gnat.dg/test_oconst.adb

   1 --  { dg-do run }
   2
   3 with OCONST1, OCONST2, OCONST3, OCONST4, OCONST5;
   4
   5 procedure Test_Oconst is
   6 begin
   7   OCONST1.check (OCONST1.My_R);
   8   OCONST2.check (OCONST2.My_R);
   9   OCONST3.check (OCONST3.My_R);
  10   OCONST4.check (OCONST4.My_R);
  11   OCONST5.check (OCONST5.My_R0, 0);
  12   OCONST5.check (OCONST5.My_R1, 1);
  13 end;