Commit ff2e7c1e by Arnaud Charlet

[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
parent 26a43556
2009-04-20 Arnaud Charlet <charlet@adacore.com> 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 * switch-c.adb (Scan_Front_End_Switches): Disable front-end inlining
in inspector mode. in inspector mode.
...@@ -1082,9 +1082,9 @@ package GNAT.Sockets is ...@@ -1082,9 +1082,9 @@ package GNAT.Sockets is
Status : out Selector_Status; Status : out Selector_Status;
Timeout : Selector_Duration := Forever); Timeout : Selector_Duration := Forever);
-- This refined version of Check_Selector allows to watch for exception -- This refined version of Check_Selector allows to watch for exception
-- events (that is notifications of out-of-band transmission and -- events (i.e. notifications of out-of-band transmission and reception).
-- reception). As above, all of R_Socket_Set, W_Socket_Set and -- As above, all of R_Socket_Set, W_Socket_Set and E_Socket_Set must be
-- E_Socket_Set must be different objects. -- different objects.
procedure Abort_Selector (Selector : Selector_Type); procedure Abort_Selector (Selector : Selector_Type);
-- Send an abort signal to the selector -- Send an abort signal to the selector
......
...@@ -65,9 +65,6 @@ ...@@ -65,9 +65,6 @@
#include <vxWorks.h> #include <vxWorks.h>
#include <ioLib.h> #include <ioLib.h>
#include <hostLib.h> #include <hostLib.h>
#if (_WRS_VXWORKS_MAJOR != 6) && ! defined (__RTP__)
#include <resolvLib.h>
#endif
#define SHUT_RD 0 #define SHUT_RD 0
#define SHUT_WR 1 #define SHUT_WR 1
#define SHUT_RDWR 2 #define SHUT_RDWR 2
......
...@@ -640,9 +640,10 @@ package Opt is ...@@ -640,9 +640,10 @@ package Opt is
Inspector_Mode : Boolean renames Debug.Debug_Flag_Dot_II; Inspector_Mode : Boolean renames Debug.Debug_Flag_Dot_II;
-- GNAT -- GNAT
-- True if compiling in inspector mode (-gnatd.I switch). -- True if compiling in inspector mode (-gnatd.I switch).
-- Only relevant when VM_Target /= None. The compiler will attempt to -- Enable inspector mode, in particular SCIL generation.
-- generate code even in case of unsupported construct, so that the byte -- When VM_Target /= None, the compiler will also attempt to
-- code can be used by static analysis tools. -- generate code even in case of unsupported construct instead of
-- displaying an error.
Invalid_Value_Used : Boolean := False; Invalid_Value_Used : Boolean := False;
-- GNAT -- GNAT
......
...@@ -5552,7 +5552,10 @@ package body Sem_Ch3 is ...@@ -5552,7 +5552,10 @@ package body Sem_Ch3 is
(N, Parent_Type, Derived_Type, Derive_Subps); (N, Parent_Type, Derived_Type, Derive_Subps);
-- Build anonymous completion, as a derivation from the full -- 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 := Decl :=
Make_Full_Type_Declaration (Loc, Make_Full_Type_Declaration (Loc,
...@@ -5574,11 +5577,9 @@ package body Sem_Ch3 is ...@@ -5574,11 +5577,9 @@ package body Sem_Ch3 is
-- Freeze the underlying record view, to prevent generation -- Freeze the underlying record view, to prevent generation
-- of useless dispatching information, which is simply shared -- of useless dispatching information, which is simply shared
-- with the real derived type. The underlying view must be -- with the real derived type.
-- treated as an itype by the back-end.
Set_Is_Frozen (Full_Der); Set_Is_Frozen (Full_Der);
Set_Is_Itype (Full_Der);
Set_Underlying_Record_View (Derived_Type, Full_Der); Set_Underlying_Record_View (Derived_Type, Full_Der);
end; end;
...@@ -13495,7 +13496,7 @@ package body Sem_Ch3 is ...@@ -13495,7 +13496,7 @@ package body Sem_Ch3 is
elsif No (Interface_List (N)) then elsif No (Interface_List (N)) then
Error_Msg_N Error_Msg_N
("completion of tagged private type must be tagged", ("completion of tagged private type must be tagged",
N); N);
end if; end if;
elsif Nkind (N) = N_Full_Type_Declaration elsif Nkind (N) = N_Full_Type_Declaration
...@@ -13504,8 +13505,7 @@ package body Sem_Ch3 is ...@@ -13504,8 +13505,7 @@ package body Sem_Ch3 is
and then Interface_Present (Type_Definition (N)) and then Interface_Present (Type_Definition (N))
then then
Error_Msg_N Error_Msg_N
("completion of private type canot be an interface", ("completion of private type cannot be an interface", N);
N);
end if; end if;
-- Ada 2005 (AI-251): Private extension declaration of a task -- Ada 2005 (AI-251): Private extension declaration of a task
......
...@@ -351,36 +351,17 @@ __gnat_get_h_errno (void) { ...@@ -351,36 +351,17 @@ __gnat_get_h_errno (void) {
case 0: case 0:
return 0; return 0;
#ifdef S_resolvLib_HOST_NOT_FOUND
case S_resolvLib_HOST_NOT_FOUND:
#endif
#ifdef S_hostLib_HOST_NOT_FOUND #ifdef S_hostLib_HOST_NOT_FOUND
case S_hostLib_HOST_NOT_FOUND: case S_hostLib_HOST_NOT_FOUND:
#endif #endif
case S_hostLib_UNKNOWN_HOST: case S_hostLib_UNKNOWN_HOST:
return HOST_NOT_FOUND; return HOST_NOT_FOUND;
#ifdef S_resolvLib_TRY_AGAIN
case S_resolvLib_TRY_AGAIN:
return TRY_AGAIN;
#endif
#ifdef S_hostLib_TRY_AGAIN #ifdef S_hostLib_TRY_AGAIN
case S_hostLib_TRY_AGAIN: case S_hostLib_TRY_AGAIN:
return TRY_AGAIN; return TRY_AGAIN;
#endif #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 #ifdef S_hostLib_NO_RECOVERY
case S_hostLib_NO_RECOVERY: case S_hostLib_NO_RECOVERY:
#endif #endif
...@@ -390,11 +371,6 @@ __gnat_get_h_errno (void) { ...@@ -390,11 +371,6 @@ __gnat_get_h_errno (void) {
case S_hostLib_INVALID_PARAMETER: case S_hostLib_INVALID_PARAMETER:
return NO_RECOVERY; return NO_RECOVERY;
#ifdef S_resolvLib_NO_DATA
case S_resolvLib_NO_DATA:
return NO_DATA;
#endif
default: default:
return -1; return -1;
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment