diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-11-30 11:29:28 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-11-30 11:29:28 +0000 |
| commit | 138d552796cb9408d77696543e8f0d7226ef3204 (patch) | |
| tree | 7f7a170e1b8fa4ce7f697fa329b90ff8cc1a63df /gcc/ada/gnat_rm.texi | |
| parent | 70ac00ce596c08420e1e9f6bbc9f56af04d73833 (diff) | |
| download | ppe42-gcc-138d552796cb9408d77696543e8f0d7226ef3204.tar.gz ppe42-gcc-138d552796cb9408d77696543e8f0d7226ef3204.zip | |
2009-11-30 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document pragma Short_Circuit
2009-11-30 Emmanuel Briot <briot@adacore.com>
* prj-conf.adb, prj-tree.adb, prj-tree.ads (Create_Attribute): Now set
the index either on the attribute or on its value, depending on the
kind of the attribute. Done to match recent changes in Prj.PP that were
not synchronized with this function.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@154789 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index b79b87a197e..7744f155b56 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -182,6 +182,7 @@ Implementation Defined Pragmas * Pragma Pure_Function:: * Pragma Restriction_Warnings:: * Pragma Shared:: +* Pragma Short_Circuit_And_Or:: * Pragma Source_File_Name:: * Pragma Source_File_Name_Project:: * Pragma Source_Reference:: @@ -794,6 +795,7 @@ consideration, the use of these pragmas should be minimized. * Pragma Pure_Function:: * Pragma Restriction_Warnings:: * Pragma Shared:: +* Pragma Short_Circuit_And_Or:: * Pragma Source_File_Name:: * Pragma Source_File_Name_Project:: * Pragma Source_Reference:: @@ -4254,6 +4256,20 @@ if the restriction is violated. This pragma is provided for compatibility with Ada 83. The syntax and semantics are identical to pragma Atomic. +@node Pragma Short_Circuit_And_Or +@unnumberedsec Pragma Short_Circuit_And_Or +@findex Short_Circuit_And_Or + +@noindent +This configuration pragma causes any occurrence of the AND operator applied to +operands of type Standard.Boolean to be short-circuited (i.e. the AND operator +is treated as if it were AND THEN). Or is similarly treated as OR ELSE. This +may be useful in the context of certification protocols requiring the use of +short-circuited logical operators. If this configuration pragma occurs locally +within the file being compiled, it applies only to the file being compiled. +There is no requirement that all units in a partition use this option. + +semantics are identical to pragma Atomic. @node Pragma Source_File_Name @unnumberedsec Pragma Source_File_Name @findex Source_File_Name |
