diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-06-22 13:28:59 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-06-22 13:28:59 +0000 |
| commit | 1cf3e68fce1617b528b52884a6e32e0692a33bb0 (patch) | |
| tree | 4b42ff27b8bbc52a2a7f6a8d4867f75dbaf294aa /gcc/ada/gnat_rm.texi | |
| parent | 0c6022602c0531dbafa2e9f9411ca805bacaa7bb (diff) | |
| download | ppe42-gcc-1cf3e68fce1617b528b52884a6e32e0692a33bb0.tar.gz ppe42-gcc-1cf3e68fce1617b528b52884a6e32e0692a33bb0.zip | |
2009-06-22 Jose Ruiz <ruiz@adacore.com>
* sysdep.c (__gnat_localtime_tzoff for RTX):
SystemTimeToTzSpecificLocalTime is not supported by RTX. Use
GetTimeZoneInformation instead.
2009-06-22 Robert Dewar <dewar@adacore.com>
* sem_res.adb (Check_No_Direct_Boolean_Operators): New procedure
2009-06-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Collect_Previous_Instances): Do not collect
instantiations declared in a previous generic package body.
2009-06-22 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Add doc that X=True and X=False is allowed for the
restriction No_Direct_Boolean_Operators.
2009-06-22 Thomas Quinot <quinot@adacore.com>
* bindusg.adb: Minor fixes to gnatbind usage message
* sem_eval.adb: Minor reformatting
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@148794 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gnat_rm.texi')
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index ba84ee17cb7..97c4d2b583d 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -8431,7 +8431,9 @@ This restriction ensures that no logical (and/or/xor) or comparison operators are used on operands of type Boolean (or any type derived from Boolean). This is intended for use in safety critical programs where the certification protocol requires the use of short-circuit -(and then, or else) forms for all composite boolean operations. +(and then, or else) forms for all composite boolean operations. An +exception is that an explicit equality test with True or False as the +right operand is not considered to violate this restriction. @item No_Dispatching_Calls @findex No_Dispatching_Calls |
