gcc/testsuite/gnat.dg/deferred_const3_pkg.adb

with System; use System;

package body Deferred_Const3_Pkg is

  procedure Dummy is begin null; end;

begin
  if C1'Address /= C'Address then
    raise Program_Error;
  end if;

  if C2'Address /= C'Address then
    raise Program_Error;
  end if;

  if C3'Address /= C'Address then
    raise Program_Error;
  end if;
end Deferred_Const3_Pkg;