projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33decf8) | patch
vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
authorRobert Dewar <dewar@adacore.com>
Wed, 2 Jan 2013 10:14:19 +0000 (10:14 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 2 Jan 2013 10:14:19 +0000 (11:14 +0100)
commit2dbdd821d6a7d75afdc640b6fd7207545b520430
treef5859d2116f4de9dd0f4a19feca54eb8b36ec26btree
parent33decf816ebea16a53b4e5b7665bbeb6bbc26a44commit | diff
vms_data.ads: Add entry for Float_Check_Valid (-gnateF).

2013-01-02  Robert Dewar  <dewar@adacore.com>

* vms_data.ads: Add entry for Float_Check_Valid (-gnateF).
* ug_words: Add entry for Float_Check_Overflow.
* usage.adb: Minor reformatting.
* gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow).

From-SVN: r194790
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_ugn.texi diff | blob | history
gcc/ada/ug_words diff | blob | history
gcc/ada/usage.adb diff | blob | history
gcc/ada/vms_data.ads diff | blob | history