Subversion Repositories openrisc

-- { dg-do compile }
-- { dg-options "-O2" }
 
with Unchecked_Conversion;
 
procedure Warn4 is
 
   type POSIX_Character is new Standard.Character;
   type POSIX_String is array (Positive range <>) of aliased POSIX_Character;
 
   type String_Ptr is access all String;
   type POSIX_String_Ptr is access all POSIX_String;
 
   function sptr_to_psptr is new Unchecked_Conversion -- { dg-warning "aliasing problem" }
     (String_Ptr, POSIX_String_Ptr); -- { dg-warning "" "" { target *-*-* } 14 }
 
   function To_POSIX_String (Str : String) return POSIX_String;
   function To_POSIX_String (Str : String)
      return POSIX_String is
   begin
      return sptr_to_psptr (Str'Unrestricted_Access).all;
   end To_POSIX_String;
 
   A : Boolean;
   S : String := "ABCD/abcd";
   P : Posix_String := "ABCD/abcd";
 
begin
   A := To_POSIX_String (S) = P;
end;