[multiple changes]

2009-10-28  Thomas Quinot  <quinot@adacore.com>

	* s-crtl.ads (System.CRTL.strerror): New function.

2009-10-28  Ed Schonberg  <schonberg@adacore.com>

	* sem_type.adb: Add guard to recover some type errors.

From-SVN: r153662

gcc/ada/ChangeLog

+2009-10-28  Thomas Quinot  <quinot@adacore.com>
+
+	* s-crtl.ads (System.CRTL.strerror): New function.
+
+2009-10-28  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_type.adb: Add guard to recover some type errors.
+
 2009-10-28  Vincent Celier  <celier@adacore.com>
 
 	* prj-nmsc.adb (Add_To_Or_Remove_From_List): New name of procedure

gcc/ada/s-crtl.ads

@@ -202,4 +202,7 @@ package System.CRTL is
    function write (fd : int; buffer : chars; nbytes : int) return int;
    pragma Import (C, write, "write");
 
+   function strerror (errno : int) return chars;
+   pragma Import (C, strerror, "strerror");
+
 end System.CRTL;

gcc/ada/sem_type.adb

@@ -970,10 +970,16 @@ package body Sem_Type is
       then
          return Covers (Corresponding_Remote_Type (T2), T1);
 
-      elsif Is_Record_Type (T1) and then Is_Concurrent_Type (T2) then
+      elsif Is_Record_Type (T1)
+        and then Is_Concurrent_Type (T2)
+        and then Present (Corresponding_Record_Type (T2))
+      then
          return Covers (T1, Corresponding_Record_Type (T2));
 
-      elsif Is_Concurrent_Type (T1) and then Is_Record_Type (T2) then
+      elsif Is_Concurrent_Type (T1)
+        and then Present (Corresponding_Record_Type (T1))
+        and then Is_Record_Type (T2)
+      then
          return Covers (Corresponding_Record_Type (T1), T2);
 
       elsif Ekind (T2) = E_Access_Attribute_Type