summaryrefslogtreecommitdiff
path: root/gcc/ada/s-fatgen.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2015-01-07 11:13:15 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2015-01-07 11:13:15 +0000
commit56e11f1214108d81c908076214fe6429f345b83d (patch)
tree7e29f04a9f5e7c2488ad2c344c01a8bcdefe2514 /gcc/ada/s-fatgen.ads
parentc06a893fd03d290ae7c72bbb8a7160db05a83889 (diff)
downloadgcc-56e11f1214108d81c908076214fe6429f345b83d.tar.gz
2015-01-07 Bob Duff <duff@adacore.com>
* usage.adb (Usage): Document -gnatw.f switch. 2015-01-07 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up and minor reformatting. 2015-01-07 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Type_Conversion): Add guard for Raise_Accessibility_Error call. * s-valllu.ads (Scan_Raw_Long_Long_Unsigned): Add documentation on handling of invalid digits in based constants. * s-fatgen.ads: Minor reformatting. * sem_attr.adb (Analyze_Attribute, case Unrestricted_Access): Avoid noting bogus modification for Valid test. * snames.ads-tmpl (Name_Attr_Long_Float): New Name. * einfo.ads: Minor reformatting. * sem_warn.adb: Minor comment clarification. * sem_ch12.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@219296 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-fatgen.ads')
-rw-r--r--gcc/ada/s-fatgen.ads13
1 files changed, 6 insertions, 7 deletions
diff --git a/gcc/ada/s-fatgen.ads b/gcc/ada/s-fatgen.ads
index d8d761eaaed..88f641b5f7f 100644
--- a/gcc/ada/s-fatgen.ads
+++ b/gcc/ada/s-fatgen.ads
@@ -88,13 +88,12 @@ package System.Fat_Gen is
function Unbiased_Rounding (X : T) return T;
function Valid (X : not null access T) return Boolean;
- -- This function checks if the object of type T referenced by X
- -- is valid, and returns True/False accordingly. The parameter is
- -- passed by reference (access) here, as the object of type T may
- -- be an abnormal value that cannot be passed in a floating-point
- -- register, and the whole point of 'Valid is to prevent exceptions.
- -- Note that the object of type T must have the natural alignment
- -- for type T.
+ -- This function checks if the object of type T referenced by X is valid,
+ -- and returns True/False accordingly. The parameter is passed by reference
+ -- (access) here, as the object of type T may be an abnormal value that
+ -- cannot be passed in a floating-point register, and the whole point of
+ -- 'Valid is to prevent exceptions. Note that the object of type T must
+ -- have the natural alignment for type T.
type S is new String (1 .. T'Size / Character'Size);
type P is access all S with Storage_Size => 0;