Patchwork [Ada] PR ada/60411

login
register
mail settings
Submitter Arnaud Charlet
Date March 7, 2014, 8:38 p.m.
Message ID <20140307203804.GA9034@adacore.com>
Download mbox | patch
Permalink /patch/328081/
State New
Headers show

Comments

Arnaud Charlet - March 7, 2014, 8:38 p.m.
This change enables ZCX on armel linux, and should fix PR ada/60411, at least
for the native part reported in comment #1

	PR ada/60411
	* system-linux-armel.ads (Backend_Overflow_Checks): Set to True.
	(Support_64_Bit_Divides): Removed, no longer used.   
	(ZCX_By_Default): Enabled.

Patch

Index: system-linux-armel.ads
===================================================================
--- system-linux-armel.ads	(revision 208067)
+++ system-linux-armel.ads	(working copy)
@@ -7,7 +7,7 @@ 
 --                                 S p e c                                  --
 --                        (GNU-Linux/ARMEL Version)                         --
 --                                                                          --
---          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2014, 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 --
@@ -124,7 +124,7 @@ 
    --  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;
@@ -139,7 +139,6 @@ 
    Stack_Check_Default       : constant Boolean := False;
    Stack_Check_Probes        : constant Boolean := True;
    Stack_Check_Limits        : constant Boolean := False;
-   Support_64_Bit_Divides    : constant Boolean := True;
    Support_Aggregates        : constant Boolean := True;
    Support_Composite_Assign  : constant Boolean := True;
    Support_Composite_Compare : constant Boolean := True;
@@ -147,6 +146,6 @@ 
    Always_Compatible_Rep     : constant Boolean := False;
    Suppress_Standard_Library : constant Boolean := False;
    Use_Ada_Main_Program_Name : constant Boolean := False;
-   ZCX_By_Default            : constant Boolean := False;
+   ZCX_By_Default            : constant Boolean := True;
 
 end System;