diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 17:23:04 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 17:23:04 +0200 |
commit | e1ea35da691b74cd1ba071abad1dc1ded738cb92 (patch) | |
tree | dd361d6c93e9f024fd0883c7f927e711d341d34d | |
parent | 20e3f942cca8ab06dda66be598b3166066679234 (diff) | |
download | gcc-e1ea35da691b74cd1ba071abad1dc1ded738cb92.zip gcc-e1ea35da691b74cd1ba071abad1dc1ded738cb92.tar.gz gcc-e1ea35da691b74cd1ba071abad1dc1ded738cb92.tar.bz2 |
Minor doc update.
From-SVN: r213214
-rw-r--r-- | gcc/ada/gnat_rm.texi | 12 |
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 |