From: Arnaud Charlet Date: Wed, 5 Dec 2012 10:24:18 +0000 (+0100) Subject: [multiple changes] X-Git-Tag: upstream/12.2.0~72367 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=3565684abb01b478601fdc20a161f9f7558ac732;p=platform%2Fupstream%2Fgcc.git [multiple changes] 2012-12-05 Arnaud Charlet * gnat_ugn.texi: Fix typo. 2012-12-05 Tristan Gingold * gnatbind.adb: Minor comment update. 2012-12-05 Yannick Moy * gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that CodePeer backend deals with divide and overflow checks. From-SVN: r194194 --- 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 + + * gnat_ugn.texi: Fix typo. + +2012-12-05 Tristan Gingold + + * gnatbind.adb: Minor comment update. + +2012-12-05 Yannick Moy + + * gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that + CodePeer backend deals with divide and overflow checks. + 2012-12-05 Robert Dewar * 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