[multiple changes]

2009-04-20  Arnaud Charlet  <charlet@adacore.com>

	* opt.ads (Inspector_Mode): Update documentation of this flag.

2009-04-20  Thomas Quinot  <quinot@adacore.com>

	* g-socket.ads: Minor reformatting

	* socket.c, gsocket.h (__gnat_get_h_errno, VxWorks case): No need to
	consider S_resolvLib error codes since we only use the hostLib wrappers.

2009-04-20  Eric Botcazou  <ebotcazou@adacore.com>

	* sem_ch3.adb (Build_Derived_Private_Type): Insert the declaration
	of the Underlying_Record_View after that of the derived type.

From-SVN: r146371

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 447a783e23708322e1908c02c55fd8a8e4beea99..99f5be04c5ac538bdb527942eb5cd52e4ce45e24 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,19 @@
+2009-04-20  Arnaud Charlet  <charlet@adacore.com>
+
+       * opt.ads (Inspector_Mode): Update documentation of this flag.
+
+2009-04-20  Thomas Quinot  <quinot@adacore.com>
+
+       * g-socket.ads: Minor reformatting
+
+       * socket.c, gsocket.h (__gnat_get_h_errno, VxWorks case): No need to
+       consider S_resolvLib error codes since we only use the hostLib wrappers.
+
+2009-04-20  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch3.adb (Build_Derived_Private_Type): Insert the declaration
+       of the Underlying_Record_View after that of the derived type.
+
 2009-04-20  Arnaud Charlet  <charlet@adacore.com>
 
        * switch-c.adb (Scan_Front_End_Switches): Disable front-end inlining

diff --git a/gcc/ada/g-socket.ads b/gcc/ada/g-socket.ads
index f8dd6bfecfca6ce69e9e409f86729d98aaf36fff..009f5672456fe11691437ed00a790ee98c9a581a 100644 (file)
--- a/gcc/ada/g-socket.ads
+++ b/gcc/ada/g-socket.ads
@@ -1082,9 +1082,9 @@ package GNAT.Sockets is
       Status       : out Selector_Status;
       Timeout      : Selector_Duration := Forever);
    --  This refined version of Check_Selector allows to watch for exception
-   --  events (that is notifications of out-of-band transmission and
-   --  reception). As above, all of R_Socket_Set, W_Socket_Set and
-   --  E_Socket_Set must be different objects.
+   --  events (i.e. notifications of out-of-band transmission and reception).
+   --  As above, all of R_Socket_Set, W_Socket_Set and E_Socket_Set must be
+   --  different objects.
 
    procedure Abort_Selector (Selector : Selector_Type);
    --  Send an abort signal to the selector

diff --git a/gcc/ada/gsocket.h b/gcc/ada/gsocket.h
index 4a746ad70c67a0413e94cacbcba946abea76dbf5..7e88eea47500c68ffcd1270fb4c205a1b8e9bde1 100644 (file)
--- a/gcc/ada/gsocket.h
+++ b/gcc/ada/gsocket.h
@@ -65,9 +65,6 @@
 #include <vxWorks.h>
 #include <ioLib.h>
 #include <hostLib.h>
-#if (_WRS_VXWORKS_MAJOR != 6) && ! defined (__RTP__)
-#include <resolvLib.h>
-#endif
 #define SHUT_RD                0
 #define SHUT_WR                1
 #define SHUT_RDWR      2

diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index 57ddd06ce286f45c5a4f9d6921f7db5ee80ccd7a..496453457b021afac095ef7780c3da9f87af4e45 100644 (file)
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -640,9 +640,10 @@ package Opt is
    Inspector_Mode : Boolean renames Debug.Debug_Flag_Dot_II;
    --  GNAT
    --  True if compiling in inspector mode (-gnatd.I switch).
-   --  Only relevant when VM_Target /= None. The compiler will attempt to
-   --  generate code even in case of unsupported construct, so that the byte
-   --  code can be used by static analysis tools.
+   --  Enable inspector mode, in particular SCIL generation.
+   --  When VM_Target /= None, the compiler will also attempt to
+   --  generate code even in case of unsupported construct instead of
+   --  displaying an error.
 
    Invalid_Value_Used : Boolean := False;
    --  GNAT

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index b4e57b22ac19c748895dd071456d782bf0328a3c..d53cb88cbc69c85a63236c258d88084259b5bdcb 100644 (file)
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -5552,7 +5552,10 @@ package body Sem_Ch3 is
                  (N, Parent_Type, Derived_Type, Derive_Subps);
 
                --  Build anonymous completion, as a derivation from the full
-               --  view of the parent.
+               --  view of the parent. Because it is used as a placeholder
+               --  to convey information to the back-end, it must be declared
+               --  after the original type so the back-end knows that it needs
+               --  to disregard the declaration.
 
                Decl :=
                  Make_Full_Type_Declaration (Loc,
@@ -5574,11 +5577,9 @@ package body Sem_Ch3 is
 
                --  Freeze the underlying record view, to prevent generation
                --  of useless dispatching information, which is simply shared
-               --  with the real derived type. The underlying view must be
-               --  treated as an itype by the back-end.
+               --  with the real derived type.
 
                Set_Is_Frozen (Full_Der);
-               Set_Is_Itype (Full_Der);
                Set_Underlying_Record_View (Derived_Type, Full_Der);
             end;
 
@@ -13495,7 +13496,7 @@ package body Sem_Ch3 is
                   elsif No (Interface_List (N)) then
                      Error_Msg_N
                         ("completion of tagged private type must be tagged",
-                           N);
+                         N);
                   end if;
 
                elsif Nkind (N) = N_Full_Type_Declaration
@@ -13504,8 +13505,7 @@ package body Sem_Ch3 is
                  and then Interface_Present (Type_Definition (N))
                then
                   Error_Msg_N
-                    ("completion of private type canot be an interface",
-                       N);
+                    ("completion of private type cannot be an interface", N);
                end if;
 
             --  Ada 2005 (AI-251): Private extension declaration of a task

diff --git a/gcc/ada/socket.c b/gcc/ada/socket.c
index a49f087c2ef552a3d1b97681993c70f06df203de..33a06397467bb011642b4ec6a0a7c6f191f7ab63 100644 (file)
--- a/gcc/ada/socket.c
+++ b/gcc/ada/socket.c
@@ -351,36 +351,17 @@ __gnat_get_h_errno (void) {
     case 0:
       return 0;
 
-#ifdef S_resolvLib_HOST_NOT_FOUND
-    case S_resolvLib_HOST_NOT_FOUND:
-#endif
 #ifdef S_hostLib_HOST_NOT_FOUND
     case S_hostLib_HOST_NOT_FOUND:
 #endif
     case S_hostLib_UNKNOWN_HOST:
       return HOST_NOT_FOUND;
 
-#ifdef S_resolvLib_TRY_AGAIN
-    case S_resolvLib_TRY_AGAIN:
-      return TRY_AGAIN;
-#endif
 #ifdef S_hostLib_TRY_AGAIN
     case S_hostLib_TRY_AGAIN:
       return TRY_AGAIN;
 #endif
 
-#ifdef S_resolvLib_NO_RECOVERY
-    case S_resolvLib_NO_RECOVERY:
-#endif
-#ifdef S_resolvLib_BUFFER_2_SMALL
-    case S_resolvLib_BUFFER_2_SMALL:
-#endif
-#ifdef S_resolvLib_INVALID_PARAMETER
-    case S_resolvLib_INVALID_PARAMETER:
-#endif
-#ifdef S_resolvLib_INVALID_ADDRESS
-    case S_resolvLib_INVALID_ADDRESS:
-#endif
 #ifdef S_hostLib_NO_RECOVERY
     case S_hostLib_NO_RECOVERY:
 #endif
@@ -390,11 +371,6 @@ __gnat_get_h_errno (void) {
     case S_hostLib_INVALID_PARAMETER:
       return NO_RECOVERY;
 
-#ifdef S_resolvLib_NO_DATA
-    case S_resolvLib_NO_DATA:
-      return NO_DATA;
-#endif
-
     default:
       return -1;
   }