[Ada] Set Backend_Overflow_Checks to True everywhere

[Eric Botcazou]

It's not clear why this was set to False in some configuration files.

Applied on the mainline.


2016-10-11  Eric Botcazou  <ebotca...@adacore.com>

        * system-linux-armeb.ads (Backend_Overflow_Checks): Change to True.
        * system-linux-mips.ads (Backend_Overflow_Checks): Likewise.
        * system-linux-mips64el.ads (Backend_Overflow_Checks): Likewise.
        * system-linux-mipsel.ads (Backend_Overflow_Checks): Likewise.
        * system-linux-sparcv9.ads (Backend_Overflow_Checks): Likewise.
        * system-rtems.ads: Likewise.

-- 
Eric Botcazou
Index: system-linux-armeb.ads
===================================================================
--- system-linux-armeb.ads	(revision 240962)
+++ system-linux-armeb.ads	(working copy)
@@ -7,7 +7,7 @@
 --                                 S p e c                                  --
 --                        (GNU-Linux/ARMEB Version)                         --
 --                                                                          --
---          Copyright (C) 1992-2015, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2016, Free Software Foundation, Inc.         --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -127,7 +127,7 @@ private
    --  of the individual switch values.
 
    Backend_Divide_Checks     : constant Boolean := False;
-   Backend_Overflow_Checks   : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
    Command_Line_Args         : constant Boolean := True;
    Configurable_Run_Time     : constant Boolean := False;
    Denorm                    : constant Boolean := True;
@@ -150,7 +150,7 @@ private
    Always_Compatible_Rep     : constant Boolean := False;
    Suppress_Standard_Library : constant Boolean := False;
    Use_Ada_Main_Program_Name : constant Boolean := False;
-   Frontend_Exceptions       : constant Boolean := True;
-   ZCX_By_Default            : constant Boolean := False;
+   Frontend_Exceptions       : constant Boolean := False;
+   ZCX_By_Default            : constant Boolean := True;
 
 end System;
Index: system-linux-mips.ads
===================================================================
--- system-linux-mips.ads	(revision 240962)
+++ system-linux-mips.ads	(working copy)
@@ -119,7 +119,7 @@ private
    --  of the individual switch values.
 
    Backend_Divide_Checks     : constant Boolean := False;
-   Backend_Overflow_Checks   : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
    Command_Line_Args         : constant Boolean := True;
    Configurable_Run_Time     : constant Boolean := False;
    Denorm                    : constant Boolean := True;
Index: system-linux-mips64el.ads
===================================================================
--- system-linux-mips64el.ads	(revision 240962)
+++ system-linux-mips64el.ads	(working copy)
@@ -119,7 +119,7 @@ private
    --  of the individual switch values.
 
    Backend_Divide_Checks     : constant Boolean := False;
-   Backend_Overflow_Checks   : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
    Command_Line_Args         : constant Boolean := True;
    Configurable_Run_Time     : constant Boolean := False;
    Denorm                    : constant Boolean := True;
Index: system-linux-mipsel.ads
===================================================================
--- system-linux-mipsel.ads	(revision 240962)
+++ system-linux-mipsel.ads	(working copy)
@@ -119,7 +119,7 @@ private
    --  of the individual switch values.
 
    Backend_Divide_Checks     : constant Boolean := False;
-   Backend_Overflow_Checks   : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
    Command_Line_Args         : constant Boolean := True;
    Configurable_Run_Time     : constant Boolean := False;
    Denorm                    : constant Boolean := True;
Index: system-linux-sparcv9.ads
===================================================================
--- system-linux-sparcv9.ads	(revision 240962)
+++ system-linux-sparcv9.ads	(working copy)
@@ -119,7 +119,7 @@ private
    --  of the individual switch values.
 
    Backend_Divide_Checks     : constant Boolean := False;
-   Backend_Overflow_Checks   : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
    Command_Line_Args         : constant Boolean := True;
    Configurable_Run_Time     : constant Boolean := False;
    Denorm                    : constant Boolean := True;
Index: system-rtems.ads
===================================================================
--- system-rtems.ads	(revision 240962)
+++ system-rtems.ads	(working copy)
@@ -138,7 +138,7 @@ private
    --  of the individual switch values.
 
    Backend_Divide_Checks     : constant Boolean := False;
-   Backend_Overflow_Checks   : constant Boolean := False;
+   Backend_Overflow_Checks   : constant Boolean := True;
    Command_Line_Args         : constant Boolean := True;
    Configurable_Run_Time     : constant Boolean := False;
    Denorm                    : constant Boolean := True;