view gcc/testsuite/gnat.dg/specs/access_constant.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }
package Access_Constant is

   c: aliased constant integer := 3;

   type const_ptr is access constant integer;
   cp : const_ptr := c'access;

   procedure inc (var_ptr: access integer :=
     cp)  -- { dg-error "access-to-constant" }
      is abstract;

end Access_Constant;