diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:24:18 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-12-05 11:24:18 +0100 |
| commit | 3565684abb01b478601fdc20a161f9f7558ac732 (patch) | |
| tree | 34cc58fe86a531417d38eebdc7646b02264162b3 | |
| parent | 15c94a55b13ad6c4c2e4178d2df7a4fe2ad8c54b (diff) | |
| download | gcc-3565684abb01b478601fdc20a161f9f7558ac732.zip gcc-3565684abb01b478601fdc20a161f9f7558ac732.tar.gz gcc-3565684abb01b478601fdc20a161f9f7558ac732.tar.bz2 | |
[multiple changes]
2012-12-05 Arnaud Charlet <charlet@adacore.com>
* gnat_ugn.texi: Fix typo.
2012-12-05 Tristan Gingold <gingold@adacore.com>
* gnatbind.adb: Minor comment update.
2012-12-05 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that
CodePeer backend deals with divide and overflow checks.
From-SVN: r194194
| -rw-r--r-- | gcc/ada/ChangeLog | 13 | ||||
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 7 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 2 | ||||
| -rw-r--r-- | gcc/ada/gnatbind.adb | 5 |
4 files changed, 23 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index be53a76..eb3616f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,16 @@ +2012-12-05 Arnaud Charlet <charlet@adacore.com> + + * gnat_ugn.texi: Fix typo. + +2012-12-05 Tristan Gingold <gingold@adacore.com> + + * gnatbind.adb: Minor comment update. + +2012-12-05 Yannick Moy <moy@adacore.com> + + * gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that + CodePeer backend deals with divide and overflow checks. + 2012-12-05 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Update overflow description. Pragma Overflow_Checks diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 798acf1..4948e1b 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -210,6 +210,13 @@ procedure Gnat1drv is Suppress_Options.Overflow_Mode_Assertions := Strict; end if; + -- CodePeer handles division and overflow checks directly, based on + -- the marks set by the frontend, hence no special expansion should + -- be performed in the frontend for division and overflow checks. + + Backend_Divide_Checks_On_Target := True; + Backend_Overflow_Checks_On_Target := True; + -- Kill debug of generated code, since it messes up sloc values Debug_Generated_Code := False; diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index c5434fb..30bff66 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -25894,7 +25894,7 @@ The pragma @code{Suppress (Overflow_Check)} disables overflow checking, but it has no effect on the method used for computing intermediate results. -The pragam @code{Unsuppress (Overflow_Check)} enables overflow +The pragma @code{Unsuppress (Overflow_Check)} enables overflow checking, but it has no effect on the method used for computing intermediate results. diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index 0382371..afe74ec 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -557,8 +557,7 @@ begin Bindusg.Display; end if; - -- Check that the Ada binder file specified has extension .adb and that - -- the C binder file has extension .c + -- Check that the binder file specified has extension .adb if Opt.Output_File_Name_Present and then Output_File_Name_Seen |