gcc/testsuite/gnat.dg/deferred_const3_pkg.adb

   1 with System; use System;
   2
   3 package body Deferred_Const3_Pkg is
   4
   5   procedure Dummy is begin null; end;
   6
   7 begin
   8   if C1'Address /= C'Address then
   9     raise Program_Error;
  10   end if;
  11
  12   if C2'Address /= C'Address then
  13     raise Program_Error;
  14   end if;
  15
  16   if C3'Address /= C'Address then
  17     raise Program_Error;
  18   end if;
  19 end Deferred_Const3_Pkg;