aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2017-09-13 09:50:02 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2017-09-13 09:50:02 +0200
commitb12051b36bc41c3cdc3130e04f04aa3a91e4a3e3 (patch)
treed9d782b990f0a95053273b89d9810e6d90c87209 /gcc/ada
parent5194d58232698fa1fdd1f75e4dc8b71596a05a66 (diff)
downloadgcc-b12051b36bc41c3cdc3130e04f04aa3a91e4a3e3.zip
gcc-b12051b36bc41c3cdc3130e04f04aa3a91e4a3e3.tar.gz
gcc-b12051b36bc41c3cdc3130e04f04aa3a91e4a3e3.tar.bz2
Minor edits.
From-SVN: r252058
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst25
-rw-r--r--gcc/ada/doc/gnat_rm/standard_library_routines.rst3
2 files changed, 19 insertions, 9 deletions
diff --git a/gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst b/gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst
index f5f8463..bf9f0b9e 100644
--- a/gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst
+++ b/gcc/ada/doc/gnat_rm/intrinsic_subprograms.rst
@@ -12,7 +12,7 @@ GNAT allows a user application program to write the declaration:
.. code-block:: ada
pragma Import (Intrinsic, name);
-
+
providing that the name corresponds to one of the implemented intrinsic
subprograms in GNAT, and that the parameter profile of the referenced
@@ -49,19 +49,19 @@ You can use an intrinsic operator declaration as in the following example:
function "+" (X1 : Int1; X2 : Int2) return Int1;
function "+" (X1 : Int1; X2 : Int2) return Int2;
pragma Import (Intrinsic, "+");
-
+
This declaration would permit 'mixed mode' arithmetic on items
of the differing types ``Int1`` and ``Int2``.
It is also possible to specify such operators for private types, if the
full views are appropriate arithmetic types.
-.. _Compilation_Date:
+.. _Compilation_ISO_Date:
-Compilation_Date
-================
+Compilation_ISO_Date
+====================
-.. index:: Compilation_Date
+.. index:: Compilation_ISO_Date
This intrinsic subprogram is used in the implementation of the
library package ``GNAT.Source_Info``. The only useful use of the
@@ -70,6 +70,16 @@ application program should simply call the function
``GNAT.Source_Info.Compilation_ISO_Date`` to obtain the date of
the current compilation (in local time format YYYY-MM-DD).
+.. _Compilation_Date:
+
+Compilation_Date
+================
+
+.. index:: Compilation_Date
+
+Same as Compilation_ISO_Date, except the string is in the form
+MMM DD YYYY.
+
.. _Compilation_Time:
Compilation_Time
@@ -194,7 +204,7 @@ type (signed or modular), as in this example:
function Shift_Left
(Value : T;
Amount : Natural) return T;
-
+
The function name must be one of
Shift_Left, Shift_Right, Shift_Right_Arithmetic, Rotate_Left, or
@@ -222,4 +232,3 @@ intrinsic import in this case is the one in this unit, so an
application program should simply call the function
``GNAT.Source_Info.Source_Location`` to obtain the current
source file location.
-
diff --git a/gcc/ada/doc/gnat_rm/standard_library_routines.rst b/gcc/ada/doc/gnat_rm/standard_library_routines.rst
index e6fceeb..95d026d 100644
--- a/gcc/ada/doc/gnat_rm/standard_library_routines.rst
+++ b/gcc/ada/doc/gnat_rm/standard_library_routines.rst
@@ -209,7 +209,8 @@ the unit is not implemented.
``Ada.Execution_Time`` *(D.14)*
- Not implemented in GNAT.
+ This package provides CPU clock functionalities. It is not implemented on
+ all targets (see package spec for details).
``Ada.Execution_Time.Group_Budgets`` *(D.14.2)*