gcc/testsuite/gnat.dg/specs/access_constant_decl.ads

   1 -- { dg-do compile }
   2 package Access_Constant_Decl 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    x : access integer := cp; -- { dg-error "access-to-constant" }
  10
  11 end Access_Constant_Decl;