1-- { dg-do compile }
2package Access_Constant is
3
4   c: aliased constant integer := 3;
5
6   type const_ptr is access constant integer;
7   cp : const_ptr := c'access;
8
9   procedure inc (var_ptr: access integer :=
10     cp)  -- { dg-error "access-to-constant" }
11      is abstract;
12
13end Access_Constant;
14