From 138d552796cb9408d77696543e8f0d7226ef3204 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 30 Nov 2009 11:29:28 +0000 Subject: 2009-11-30 Robert Dewar * gnat_rm.texi: Document pragma Short_Circuit 2009-11-30 Emmanuel Briot * 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 --- gcc/ada/gnat_rm.texi | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'gcc/ada/gnat_rm.texi') 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 -- cgit v1.2.1