system-linux-armeb.ads (Backend_Overflow_Checks): Change to True.
authorEric Botcazou <ebotcazou@gcc.gnu.org>
Tue, 11 Oct 2016 19:50:31 +0000 (19:50 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Tue, 11 Oct 2016 19:50:31 +0000 (19:50 +0000)
* 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.

From-SVN: r241003

gcc/ada/ChangeLog
gcc/ada/system-linux-armeb.ads
gcc/ada/system-linux-mips.ads
gcc/ada/system-linux-mips64el.ads
gcc/ada/system-linux-mipsel.ads
gcc/ada/system-linux-sparcv9.ads
gcc/ada/system-rtems.ads

index b3b1955c92c47373e979e6f3eed7155161b983f0..7e71e44b2698fbd89766a8c68159b9d97d1785a9 100644 (file)
@@ -1,32 +1,42 @@
+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.
+
 2016-10-11  Andris Pavenis  <andris.pavenis@iki.fi>
 
        * adaint.c: Include process.h, signal.h, dir.h and utime.h for DJGPP.
-       ISALPHA: include <ctype.h> and define to isalpha for DJGPP when IN_RTS is defined.
+       ISALPHA: include <ctype.h> and define to isalpha for DJGPP when IN_RTS
+       is defined.
        (DIR_SEPARATOR) define to '\\' for DJGPP.
-       (__gnat_get_file_names_case_sensitive): return 0 for DJGPP unless
-       overriden in environment
-       (__gnat_is_absolute_path): Support MS-DOS style absolute paths for DJGPP.
+       (__gnat_get_file_names_case_sensitive): Return 0 for DJGPP unless
+       overriden in environment.
+       (__gnat_is_absolute_path): Support MS-DOS absolute paths for DJGPP.
        (__gnat_portable_spawn): Use spewnvp for DJGPP.
        (__gnat_portable_no_block_spawn): Use spawnvp for DJGPP.
        (__gnat_portable_wait): Return 0 for DJGPP.
 
 2016-10-11  Andris Pavenis  <andris.pavenis@iki.fi>
 
-       * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP target
-       (EH_MECHANISM): Define to -gcc for DJGPP
-       * system-djgpp.ads: New file
+       * gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Define for DJGPP.
+       (EH_MECHANISM): Define to -gcc for DJGPP.
+       * system-djgpp.ads: New file.
 
 2016-10-11  Andris Pavenis  <andris.pavenis@iki.fi>
 
        * ctrl_c.c: Do not use macro SA_RESTART for DJGPP.
        * gsocket.h: Do not support sockets for DJGPP.
-       * init.c (__gnat_install_handler): Implememt for DJGPP
-       * sysdep.c: Include <io.h> for DJGPP
-       (_setmode): Define to setmode for DJGPP
-       (__gnat_set_mode): Add implementation for DJGPP
-       (__gnat_localtime_tzoff): Use localtime_r for DJGPP
+       * init.c (__gnat_install_handler): Implememt for DJGPP.
+       * sysdep.c: Include <io.h> for DJGPP.
+       (_setmode): Define to setmode for DJGPP.
+       (__gnat_set_mode): Add implementation for DJGPP.
+       (__gnat_localtime_tzoff): Use localtime_r for DJGPP.
        * terminals.c: Add DJGPP to list of unsupported platforms.
-       * env.c (__gnat_clearenv): use _gnat_unsetenv on all entries for DJGPP
+       * env.c (__gnat_clearenv): Use _gnat_unsetenv on all entries for DJGPP.
 
 2016-10-11  Pierre-Marie de Rodat  <derodat@adacore.com>
 
index e855eb20cf336d557ce103557f4be88022977d83..6c08d42862464ab1a9160514c9ff0d10e31638e5 100644 (file)
@@ -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 d5dc2cd2897c109a8c88e2d4377c060f56cb065e..8b56a30a3b3074c920191896300bbbe93693d2c8 100644 (file)
@@ -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 995fb8161e842afddc4ce41b0cf279ab19cbdb15..a4d98f57ee3e57f9f461f1cac3672fa9dbfed998 100644 (file)
@@ -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 405ab7a0f95cbb79b3113dbf2146a84520f3847e..91a9dbbb12e32fc72de4fb700260f69f7ab178c9 100644 (file)
@@ -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 e4d11560d2091b78eead33799802baac015ff7b3..575619aa72cb88d4ef17a9cb2a37c8aaa11f1591 100644 (file)
@@ -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 664c228038ed6e0fff5d84bb9e0fc6f3b57ecd20..261a588725d8295dbd41f83de6aebb61ae25f8ab 100644 (file)
@@ -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;