From 5af46aa9c5a32ba14603a49d3c4ebe029c5e3cd9 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 23 Apr 2013 11:59:41 +0200 Subject: [PATCH] [multiple changes] 2013-04-23 Yannick Moy * exp_ch5.adb: Minor typo. 2013-04-23 Thomas Quinot * gnat_ugn.texi: Fix typo. 2013-04-23 Ed Schonberg * einfo.ads: Minor documentation clarification. 2013-04-23 Bob Duff * types.ads: Fix incorrect comment. From-SVN: r198189 --- gcc/ada/ChangeLog | 16 ++++++++++++++++ gcc/ada/einfo.ads | 11 ++++++----- gcc/ada/exp_ch5.adb | 2 +- gcc/ada/gnat_ugn.texi | 15 ++++++++------- gcc/ada/types.ads | 2 +- 5 files changed, 32 insertions(+), 14 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 793b02e7fde..c563eb23828 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,19 @@ +2013-04-23 Yannick Moy + + * exp_ch5.adb: Minor typo. + +2013-04-23 Thomas Quinot + + * gnat_ugn.texi: Fix typo. + +2013-04-23 Ed Schonberg + + * einfo.ads: Minor documentation clarification. + +2013-04-23 Bob Duff + + * types.ads: Fix incorrect comment. + 2013-04-23 Ed Schonberg * sem_aux.adb sem_aux.ads (Effectively_has_Constrained_Partial_View): diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 62ae8bf5d0e..f3be43d504c 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -1429,11 +1429,12 @@ package Einfo is -- type has no discriminants and the full view has discriminants with -- defaults. In Ada 2005 heap-allocated objects of such types are not -- constrained, and can change their discriminants with full assignment. --- Sem_Aux.Effectively_Has_Constrained_Partial_View should be always --- used by callers, rather than reading this attribute directly because, --- according to RM 3.10.2 (27/2), untagged generic formal private types --- and subtypes are also considered to have a constrained partial view --- [when in a generic body]. + +-- Ada 2012 has an additional rule (3.3. (23/10.3)) concerning objects +-- declared in a generic package body. Objects whose type is an untagged +-- generic formal private type are considered to have a constrained +-- partial view. The predicate Object_Type_Has_Constrained_Partial_View +-- in sem_aux is used to test for this case. -- Has_Contiguous_Rep (Flag181) -- Defined in enumeration types. True if the type as a representation diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index 825ea1bd18d..999ded7d0c5 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -1818,7 +1818,7 @@ package body Exp_Ch5 is LE := Node (LE_Elmt); Typ := Etype (Prefix (LE)); - -- Declare a constant to capture the value of the previx of each + -- Declare a constant to capture the value of the prefix of each -- Loop_Entry attribute. -- Generate: diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 2a8610b28c8..31d8fd7ea80 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -4529,7 +4529,7 @@ Additional details on incorrect parameters @item -gnatjnn @cindex @option{-gnatjnn} (@command{gcc}) -In normal operation mode (or if @option{-gnatj0} is used, then error messages +In normal operation mode (or if @option{-gnatj0} is used), then error messages with continuation lines are treated as though the continuation lines were separate messages (and so a warning with two continuation lines counts as three warnings, and is listed as three separate messages). @@ -9448,12 +9448,13 @@ object and ALI files in the directory where it found the dummy file. @item ^-j^/PROCESSES=^@var{n} @cindex @option{^-j^/PROCESSES^} (@command{gnatmake}) @cindex Parallel make -Use @var{n} processes to carry out the (re)compilations. On a -multiprocessor machine compilations will occur in parallel. In the -event of compilation errors, messages from various compilations might -get interspersed (but @command{gnatmake} will give you the full ordered -list of failing compiles at the end). If this is problematic, rerun -the make process with n set to 1 to get a clean list of messages. +Use @var{n} processes to carry out the (re)compilations. On a multiprocessor +machine compilations will occur in parallel. If @var{n} is 0, then the +maximum number of parallel compilations is the number of core processors +on the platform. In the event of compilation errors, messages from various +compilations might get interspersed (but @command{gnatmake} will give you the +full ordered list of failing compiles at the end). If this is problematic, +rerun the make process with n set to 1 to get a clean list of messages. @item ^-k^/CONTINUE_ON_ERROR^ @cindex @option{^-k^/CONTINUE_ON_ERROR^} (@command{gnatmake}) diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads index 19e3269c570..df6f97e6eb5 100644 --- a/gcc/ada/types.ads +++ b/gcc/ada/types.ads @@ -577,7 +577,7 @@ package Types is -- the source file (we assume that the host system has the concept of a -- file time stamp which is modified when a file is modified). These -- time stamps are used to ensure consistency of the set of units that - -- constitutes a library. Time stamps are 12 character strings with + -- constitutes a library. Time stamps are 14-character strings with -- with the following format: -- YYYYMMDDHHMMSS