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