diff mbox

[Ada] Set Backend_Overflow_Checks to True everywhere

Message ID 1818395.pvGU75V8mu@polaris
State New
Headers show

Commit Message

Eric Botcazou Oct. 11, 2016, 7:50 p.m. UTC 
It's not clear why this was set to False in some configuration files.

Applied on the mainline.


2016-10-11  Eric Botcazou  <ebotcazou@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.
diff mbox

Patch

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;