gcc/testsuite/gnat.dg/deferred_const3.adb

   1 -- { dg-do run }
   2
   3 with System; use System;
   4 with Deferred_Const3_Pkg; use Deferred_Const3_Pkg;
   5
   6 procedure Deferred_Const3 is
   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;