[multiple changes]
2014-02-19 Robert Dewar <dewar@adacore.com> * sem_ch5.adb, sem_prag.adb, sem_attr.adb: Minor reformatting. * debug.adb: Remove -gnatd.X switch, no longer used. * styleg.adb (Check_Then): Remove check of -gnatd.X, check is now always made. 2014-02-19 Bob Duff <duff@adacore.com> * g-socket.ads: Minor: Correct some comments. From-SVN: r207907
This commit is contained in:
parent
53f697ee80
commit
d7cb47b448
|
@ -1,3 +1,14 @@
|
|||
2014-02-19 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* sem_ch5.adb, sem_prag.adb, sem_attr.adb: Minor reformatting.
|
||||
* debug.adb: Remove -gnatd.X switch, no longer used.
|
||||
* styleg.adb (Check_Then): Remove check of -gnatd.X, check is
|
||||
now always made.
|
||||
|
||||
2014-02-19 Bob Duff <duff@adacore.com>
|
||||
|
||||
* g-socket.ads: Minor: Correct some comments.
|
||||
|
||||
2014-02-19 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_ch5.adb: Inhibit iterator rewriting in ASIS mode.
|
||||
|
|
|
@ -141,7 +141,7 @@ package body Debug is
|
|||
-- d.U Ignore indirect calls for static elaboration
|
||||
-- d.V
|
||||
-- d.W Print out debugging information for Walk_Library_Items
|
||||
-- d.X Activate check on THEN appearing in wrong place
|
||||
-- d.X
|
||||
-- d.Y
|
||||
-- d.Z
|
||||
|
||||
|
@ -664,10 +664,6 @@ package body Debug is
|
|||
-- the order in which units are walked. This is primarily for use in
|
||||
-- debugging CodePeer mode.
|
||||
|
||||
-- d.X Activates check for proper placement of THEN in -gnatyi mode. A
|
||||
-- THEN keyword must appear on the same line as IF, or on a separate
|
||||
-- line all on its own, lined up with the IF.
|
||||
|
||||
-- d1 Error messages have node numbers where possible. Normally error
|
||||
-- messages have only source locations. This option is useful when
|
||||
-- debugging errors caused by expanded code, where the source location
|
||||
|
|
|
@ -107,8 +107,6 @@ package GNAT.Sockets is
|
|||
-- Channel : Stream_Access;
|
||||
|
||||
-- begin
|
||||
-- accept Start;
|
||||
--
|
||||
-- -- Get an Internet address of a host (here the local host name).
|
||||
-- -- Note that a host can have several addresses. Here we get
|
||||
-- -- the first one which is supposed to be the official one.
|
||||
|
@ -145,6 +143,8 @@ package GNAT.Sockets is
|
|||
-- -- represents the server side of the connection. Server remains
|
||||
-- -- available to receive further connections.
|
||||
|
||||
-- accept Start;
|
||||
|
||||
-- Accept_Socket (Server, Socket, Address);
|
||||
|
||||
-- -- Return a stream associated to the connected socket
|
||||
|
@ -278,7 +278,7 @@ package GNAT.Sockets is
|
|||
-- Socket_Level,
|
||||
-- (Reuse_Address, True));
|
||||
|
||||
-- -- Force Pong to block
|
||||
-- -- Force Ping to block
|
||||
|
||||
-- delay 0.2;
|
||||
|
||||
|
|
|
@ -9694,8 +9694,7 @@ package body Sem_Attr is
|
|||
|
||||
elsif Ekind (Entity (P)) = E_Enumeration_Literal then
|
||||
Error_Msg_F
|
||||
("prefix of % attribute cannot be enumeration literal",
|
||||
P);
|
||||
("prefix of % attribute cannot be enumeration literal", P);
|
||||
Set_Etype (N, Any_Type);
|
||||
|
||||
-- An attempt to take 'Access of a function that renames an
|
||||
|
@ -9706,13 +9705,12 @@ package body Sem_Attr is
|
|||
and then Ekind (Alias (Entity (P))) = E_Enumeration_Literal
|
||||
then
|
||||
Error_Msg_F
|
||||
("prefix of % attribute cannot be function renaming " &
|
||||
"an enumeration literal", P);
|
||||
("prefix of % attribute cannot be function renaming "
|
||||
& "an enumeration literal", P);
|
||||
Set_Etype (N, Any_Type);
|
||||
|
||||
elsif Convention (Entity (P)) = Convention_Intrinsic then
|
||||
Error_Msg_F
|
||||
("prefix of % attribute cannot be intrinsic", P);
|
||||
Error_Msg_F ("prefix of % attribute cannot be intrinsic", P);
|
||||
Set_Etype (N, Any_Type);
|
||||
end if;
|
||||
|
||||
|
|
|
@ -1727,7 +1727,7 @@ package body Sem_Ch5 is
|
|||
|
||||
-- Do not perform this expansion in SPARK mode, since the formal
|
||||
-- verification directly deals with the source form of the iterator.
|
||||
-- Ditto for ASIS, where the temporary amy hide the transformation
|
||||
-- Ditto for ASIS, where the temporary may hide the transformation
|
||||
-- of a selected component into a prefixed function call.
|
||||
|
||||
and then not GNATprove_Mode
|
||||
|
|
|
@ -30,7 +30,6 @@
|
|||
with Atree; use Atree;
|
||||
with Casing; use Casing;
|
||||
with Csets; use Csets;
|
||||
with Debug; use Debug;
|
||||
with Einfo; use Einfo;
|
||||
with Err_Vars; use Err_Vars;
|
||||
with Opt; use Opt;
|
||||
|
@ -1019,9 +1018,7 @@ package body Styleg is
|
|||
begin
|
||||
if If_Line = Then_Line then
|
||||
null;
|
||||
elsif Debug_Flag_Dot_XX
|
||||
and then Token_Ptr /= First_Non_Blank_Location
|
||||
then
|
||||
elsif Token_Ptr /= First_Non_Blank_Location then
|
||||
Error_Msg_SC ("(style) misplaced THEN");
|
||||
end if;
|
||||
end;
|
||||
|
|
Loading…
Reference in New Issue