diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-01-02 10:04:26 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 11:04:26 +0100 |
| commit | 347c766a006ceda2e65ff5edb17c5a9fc7bfab6e (patch) | |
| tree | b51fd5c23782fafcb56e62685b349b83b9750051 /gcc/ada/tree_io.ads | |
| parent | 685bc70fd8dfd17fa62266c2ad05567b37540119 (diff) | |
| download | gcc-347c766a006ceda2e65ff5edb17c5a9fc7bfab6e.zip gcc-347c766a006ceda2e65ff5edb17c5a9fc7bfab6e.tar.gz gcc-347c766a006ceda2e65ff5edb17c5a9fc7bfab6e.tar.bz2 | |
checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
2013-01-02 Robert Dewar <dewar@adacore.com>
* checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.
* opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config].
* par-prag.adb: Add dummy entry for pragma Check_Float_Overflow.
* sem_prag.adb: Implement pragma Check_Float_Overflow.
* snames.ads-tmpl: Add entries for pragma Check_Float_Overflow.
* switch-c.adb: Recognize -gnateF switch.
* tree_io.ads: Update ASIS version number.
* gnat_rm.texi: Add documentation of pragma Check_Float_Overflow.
From-SVN: r194788
Diffstat (limited to 'gcc/ada/tree_io.ads')
| -rw-r--r-- | gcc/ada/tree_io.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/tree_io.ads b/gcc/ada/tree_io.ads index 9fa2121..1f5b900 100644 --- a/gcc/ada/tree_io.ads +++ b/gcc/ada/tree_io.ads @@ -47,7 +47,7 @@ package Tree_IO is Tree_Format_Error : exception; -- Raised if a format error is detected in the input file - ASIS_Version_Number : constant := 29; + ASIS_Version_Number : constant := 30; -- ASIS Version. This is used to check for consistency between the compiler -- used to generate trees and an ASIS application that is reading the -- trees. It must be incremented whenever a change is made to the tree @@ -58,6 +58,7 @@ package Tree_IO is -- 28 Changes in Snames -- 29 Changes in Sem_Ch3 (tree copying in case of discriminant constraint -- for concurrent types). + -- 30 Add Check_Float_Overflow boolean to tree file procedure Tree_Read_Initialize (Desc : File_Descriptor); -- Called to initialize reading of a tree file. This call must be made |