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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194194 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index be53a76..eb3616f 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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 (file)
--- 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