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