diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-07 11:13:15 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-01-07 11:13:15 +0000 |
commit | 56e11f1214108d81c908076214fe6429f345b83d (patch) | |
tree | 7e29f04a9f5e7c2488ad2c344c01a8bcdefe2514 /gcc/ada/s-fatgen.ads | |
parent | c06a893fd03d290ae7c72bbb8a7160db05a83889 (diff) | |
download | gcc-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.ads | 13 |
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; |