+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
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;
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.
-- --
-- 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- --
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