From e1ea35da691b74cd1ba071abad1dc1ded738cb92 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 29 Jul 2014 17:23:04 +0200 Subject: [PATCH] Minor doc update. From-SVN: r213214 --- gcc/ada/gnat_rm.texi | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 8f3767d4fbc..e08b14d531a 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 -- 2.30.2