+2015-05-26 Bob Duff <duff@adacore.com>
+
+ * s-rpc.ads (Partition_ID): Increase maximum Partition_ID to
+ some huge number.
+ * a-except-2005.adb, a-except-2005.ads, a-except.adb,
+ a-except.ads, a-exexda.adb, a-exstat.adb: Minor comment fixes.
+
+2015-05-26 Robert Dewar <dewar@adacore.com>
+
+ * sinfo.adb: Minor comment addition.
+ * einfo.adb: Minor whitespace and punctuation fix.
+ * sem_util.adb: Minor editing of comments.
+
2015-05-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch7.adb (Install_Private_Declarations,
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- --
------------------------------------------------------------------------------
--- This version of Ada.Exceptions fully supports both Ada 95 and Ada 2005.
--- It is used in all situations except for the build of the compiler and
--- other basic tools. For these latter builds, we use an Ada 95-only version.
-
--- The reason for this splitting off of a separate version is that bootstrap
--- compilers often will be used that do not support Ada 2005 features, and
--- Ada.Exceptions is part of the compiler sources.
-
pragma Style_Checks (All_Checks);
-- No subprogram ordering check, due to logical grouping
--
-- Exception_Name: <exception name> (as in Exception_Name)
-- Message: <message> (only if Exception_Message is empty)
- -- PID=nnnn (only if != 0)
+ -- PID=nnnn (only if nonzero)
-- Call stack traceback locations: (only if at least one location)
-- <0xyyyyyyyy 0xyyyyyyyy ...> (is recorded)
--
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
-- --
------------------------------------------------------------------------------
--- This version of Ada.Exceptions fully supports both Ada 95 and Ada 2005.
--- It is used in all situations except for the build of the compiler and
--- other basic tools. For these latter builds, we use an Ada 95-only version.
+-- This version of Ada.Exceptions fully supports Ada 95 and later language
+-- versions. It is used in all situations except for the build of the
+-- compiler and other basic tools. For these latter builds, we use an
+-- Ada 95-only version.
--- The reason for this splitting off of a separate version is that bootstrap
--- compilers often will be used that do not support Ada 2005 features, and
+-- The reason for this splitting off of a separate version is to support
+-- older bootstrap compilers that do not support Ada 2005 features, and
-- Ada.Exceptions is part of the compiler sources.
pragma Polling (Off);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- --
------------------------------------------------------------------------------
--- This version of Ada.Exceptions is a full Ada 95 version, and Ada 2005
--- features such as the additional definitions of Exception_Name returning
--- Wide_[Wide_]String.
-
--- It is used for building the compiler and the basic tools, since these
--- builds may be done with bootstrap compilers that cannot handle these
--- additions. The full version of Ada.Exceptions can be found in the files
--- a-except-2005.ads/adb, and is used for all other builds where full Ada
--- 2005 functionality is required. In particular, it is used for building
--- run times on all targets.
-
pragma Compiler_Unit_Warning;
pragma Style_Checks (All_Checks);
--
-- Exception_Name: <exception name> (as in Exception_Name)
-- Message: <message> (only if Exception_Message is empty)
- -- PID=nnnn (only if != 0)
+ -- PID=nnnn (only if nonzero)
-- Call stack traceback locations: (only if at least one location)
-- <0xyyyyyyyy 0xyyyyyyyy ...> (is recorded)
--
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
-- --
------------------------------------------------------------------------------
--- This version of Ada.Exceptions is a full Ada 95 version. It omits Ada 2005
--- features such as the additional definitions of Exception_Name returning
--- Wide_[Wide_]String. It differs from the Ada 95 version only in that it is
--- declared Preelaborate (see declaration below for why this is done).
-
--- It is used for building the compiler and the basic tools, since these
--- builds may be done with bootstrap compilers that cannot handle these
--- additions. The full version of Ada.Exceptions can be found in the files
+-- This version of Ada.Exceptions is used only for building the compiler
+-- and certain basic tools. The "real" version of Ada.Exceptions is in
-- a-except-2005.ads/adb, and is used for all other builds where full Ada
--- 2005 functionality is required. In particular, it is used for building
--- run times on all targets.
+-- functionality is required. In particular, it is used for building run
+-- times on all targets.
+
+-- This version is limited to Ada 95 features. It omits Ada 2005 features
+-- such as the additional definitions of Exception_Name returning
+-- Wide_[Wide_]String. It differs from the version specified in the Ada 95 RM
+-- only in that it is declared Preelaborate (see declaration below for why
+-- this is done).
+
+-- The reason for this splitting off of a separate version is to support
+-- older bootstrap compilers that do not support Ada 2005 features, and
+-- Ada.Exceptions is part of the compiler sources.
pragma Compiler_Unit_Warning;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- o--
-- (B_E_I) | Exception_Name: <exception name> (as in Exception_Name)
-- | Message: <message> (or a null line if no message)
- -- | PID=nnnn (if != 0)
+ -- | PID=nnnn (if nonzero)
-- o--
-- (U_E_TB) | Call stack traceback locations:
-- | <0xyyyyyyyy 0xyyyyyyyy ...>
end if;
end if;
- -- Output PID line if non-zero
+ -- Output PID line if nonzero
if X.Pid /= 0 then
Append_Info_String (BEI_PID_Header, Info, Ptr);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
"bad exception occurrence in stream input");
-- The following junk raise of Program_Error is required because
- -- this is a No_Return function, and unfortunately Raise_Exception
+ -- this is a No_Return procedure, and unfortunately Raise_Exception
-- can return (this particular call can't, but the back end is not
-- clever enough to know that).
-- Scope Node3
-- Etype Node5
- -- Remaining fields are present only in extended nodes (i.e. entities)
+ -- Remaining fields are present only in extended nodes (i.e. entities).
-- The following fields are present in all entities
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
package System.RPC is
- type Partition_ID is range 0 .. 63;
- -- This type must not be modified without checking the code in
- -- a-except.adb, since it expects a Partition_ID whose string
- -- representation fits on two characters.
+ type Partition_ID is range 0 .. Integer'Last;
Communication_Error : exception;
then
return Skip;
- -- For rewriten nodes we continue the traversal in the original
- -- subtree. Needed to handle in aggregates original expressions
+ -- For rewritten nodes, continue the traversal in the original
+ -- subtree. Needed to handle aggregates in original expressions
-- extracted from the tree by Remove_Side_Effects.
elsif Is_Rewrite_Substitution (N) then
end if;
end;
- -- For an array aggregate a discrete_choice_list that has a
- -- nonstatic range, is considered as two or more separate
- -- occurrences of the expression (RM 6.20/3)
+ -- For an array aggregate, a discrete_choice_list that has
+ -- a nonstatic range is considered as two or more separate
+ -- occurrences of the expression (RM 6.4.1(20/3)).
elsif Is_Array_Type (Etype (N))
and then Nkind (N) = N_Aggregate
end if;
end if;
- -- For the purposes of this check it is enough to
- -- consider that we cover a single component since
- -- since the RM rule is violated as far as I find
- -- more than one component.
+ -- The RM rule is violated if there is more than
+ -- a single choice in a component association.
else
Count_Components := Count_Components + 1;
-- Field Access Functions --
----------------------------
+ -- Note: The use of Assert (False or else ...) is just a device to allow
+ -- uniform format of the conditions following this. Note that csinfo
+ -- expects this uniform format.
+
function ABE_Is_Certain
(N : Node_Id) return Boolean is
begin
projects / gcc.git / commitdiff