aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-07-29 17:23:04 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2014-07-29 17:23:04 +0200
commite1ea35da691b74cd1ba071abad1dc1ded738cb92 (patch)
treedd361d6c93e9f024fd0883c7f927e711d341d34d
parent20e3f942cca8ab06dda66be598b3166066679234 (diff)
downloadgcc-e1ea35da691b74cd1ba071abad1dc1ded738cb92.zip
gcc-e1ea35da691b74cd1ba071abad1dc1ded738cb92.tar.gz
gcc-e1ea35da691b74cd1ba071abad1dc1ded738cb92.tar.bz2
Minor doc update.
From-SVN: r213214
-rw-r--r--gcc/ada/gnat_rm.texi12
1 files changed, 9 insertions, 3 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 8f3767d..e08b14d 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -4493,7 +4493,10 @@ end IO_Card;
@findex Lock_Free
@noindent
Syntax:
-PLEASE ADD DOCUMENTATION HERE???
+This pragma may be specified for protected types or objects. It specifies that
+the implementation of protected operations must be implemented without locks.
+Compilation fails if the compiler cannot generate lock-free code for the
+operations.
@node Pragma Long_Float
@unnumberedsec Pragma Long_Float
@@ -8991,7 +8994,9 @@ this attribute.
@unnumberedsec Attribute Fast_Math
@findex Fast_Math
@noindent
-PLEASE ADD DOCUMENTATION HERE???
+@code{Standard'Fast_Math} (@code{Standard} is the only allowed
+prefix) yields a static Boolean value that is True if pragma
+@code{Fast_Math} is active, and False otherwise.
@node Attribute Fixed_Value
@unnumberedsec Attribute Fixed_Value
@@ -9162,7 +9167,8 @@ end Gen;
@unnumberedsec Attribute Lock_Free
@findex Lock_Free
@noindent
-PLEASE ADD DOCUMENTATION HERE???
+@code{P'Lock_Free}, where P is a protected object, returns True if a
+pragma @code{Lock_Free} applies to P.
@node Attribute Loop_Entry
@unnumberedsec Attribute Loop_Entry