+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.
-- 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
-- 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
-- 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.
-- -- 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
-- Socket_Level,
-- (Reuse_Address, True));
- -- -- Force Pong to block
+ -- -- Force Ping to block
-- delay 0.2;
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
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;
-- 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
if not Relaxed_RM_Semantics
and then
(Val < 0
- or else Val > Expr_Value (Expression
- (Parent (RTE (RE_Max_Priority)))))
+ or else Val > Expr_Value (Expression
+ (Parent (RTE (RE_Max_Priority)))))
then
Error_Pragma_Arg
("main subprogram priority is out of range", Arg1);
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;
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;