gcc/testsuite/gnat.dg/deferred_const2.adb

   1 -- { dg-do run }
   2
   3 with System; use System;
   4 with Deferred_Const2_Pkg; use Deferred_Const2_Pkg;
   5
   6 procedure Deferred_Const2 is
   7 begin
   8   if I'Address /= S'Address then
   9     raise Program_Error;
  10   end if;
  11 end;