gcc/testsuite/gnat.dg/deferred_const2_pkg.adb

   1 with System; use System;
   2
   3 package body Deferred_Const2_Pkg is
   4
   5   procedure Dummy is begin null; end;
   6
   7 begin
   8   if S'Address /= I'Address then
   9     raise Program_Error;
  10   end if;
  11 end Deferred_Const2_Pkg;