[Ada] kill warning on default_bit_order
Arnaud Charlet
charlet@adacore.com
Tue Oct 31 19:43:00 GMT 2006
Tested on i686-linux, committed on trunk.
This patch (made to all versions of the system*.ads file) kills all
constant condition warnings for Default_Bit_Order. This seems a good
idea since all tests of this switch are configuration tests, and it
is not interesting to get a warning that the value is constant in a
particular situation.
2006-10-31 Robert Dewar <dewar@adacore.com>
* system-vms_64.ads, system-darwin-ppc.ads, system-vxworks-x86.ads,
system-linux-hppa.ads, system-hpux-ia64.ads,
system-lynxos-ppc.ads, system-lynxos-x86.ads, system-tru64.ads,
system-vxworks-sparcv9.ads, system-solaris-x86.ads,
system-irix-o32.ads, system-irix-n32.ads, system-hpux.ads,
system-vxworks-m68k.ads, system-vxworks-mips.ads, system-interix.ads,
system-solaris-sparc.ads, system-solaris-sparcv9.ads, system-vms.ads,
system-mingw.ads, system-vms-zcx.ads, system-vxworks-ppc.ads,
system-vxworks-alpha.ads, system.ads: Add pragma Warnings(Off,
Default_Bit_Order) to kill constant condition warnings for references
to this switch.
-------------- next part --------------
Index: system-vms_64.ads
===================================================================
--- system-vms_64.ads (revision 118179)
+++ system-vms_64.ads (working copy)
@@ -108,6 +108,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-darwin-ppc.ads
===================================================================
--- system-darwin-ppc.ads (revision 118179)
+++ system-darwin-ppc.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (Darwin/PPC Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
@@ -124,7 +125,7 @@ package System is
range Priority'Last + 1 .. Max_Interrupt_Priority;
Default_Priority : constant Priority :=
- (Priority'Last - Priority'First) / 2;
+ (Priority'Last - Priority'First) / 2;
private
Index: system-vxworks-x86.ads
===================================================================
--- system-vxworks-x86.ads (revision 118179)
+++ system-vxworks-x86.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (VxWorks Version x86) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-linux-hppa.ads
===================================================================
--- system-linux-hppa.ads (revision 118179)
+++ system-linux-hppa.ads (working copy)
@@ -5,9 +5,9 @@
-- S Y S T E M --
-- --
-- S p e c --
--- (GNU/Linux-HPPA Version) --
+-- (GNU/Linux-HPPA Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-hpux-ia64.ads
===================================================================
--- system-hpux-ia64.ads (revision 118179)
+++ system-hpux-ia64.ads (working copy)
@@ -5,9 +5,9 @@
-- S Y S T E M --
-- --
-- S p e c --
--- (HP-UX/ia64 Version) --
+-- (HP-UX/ia64 Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-lynxos-ppc.ads
===================================================================
--- system-lynxos-ppc.ads (revision 118179)
+++ system-lynxos-ppc.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (LynxOS PPC Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
@@ -96,7 +97,7 @@ package System is
-- The standard (Rm 13.7) requires that Default_Priority has the value:
- -- (Priority'First + Priority'Last) / 2.
+ -- (Priority'First + Priority'Last) / 2
-- To allow an appropriate value for Default_Priority and expose a useful
-- range of priorities to the user, we use a range of 0 .. 34 for subtype
Index: system-lynxos-x86.ads
===================================================================
--- system-lynxos-x86.ads (revision 118179)
+++ system-lynxos-x86.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (LynxOS x86 Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
@@ -96,7 +97,7 @@ package System is
-- The standard (Rm 13.7) requires that Default_Priority has the value:
- -- (Priority'First + Priority'Last) / 2.
+ -- (Priority'First + Priority'Last) / 2
-- To allow an appropriate value for Default_Priority and expose a useful
-- range of priorities to the user, we use a range of 0 .. 34 for subtype
Index: system-tru64.ads
===================================================================
--- system-tru64.ads (revision 118179)
+++ system-tru64.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (DEC Unix Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-vxworks-sparcv9.ads
===================================================================
--- system-vxworks-sparcv9.ads (revision 118179)
+++ system-vxworks-sparcv9.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (VxWorks Version Sparc/64) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -90,6 +90,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-solaris-x86.ads
===================================================================
--- system-solaris-x86.ads (revision 118179)
+++ system-solaris-x86.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (x86 Solaris Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-irix-o32.ads
===================================================================
--- system-irix-o32.ads (revision 118179)
+++ system-irix-o32.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (SGI Irix, o32 ABI) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-irix-n32.ads
===================================================================
--- system-irix-n32.ads (revision 118179)
+++ system-irix-n32.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (SGI Irix, n32 ABI) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-hpux.ads
===================================================================
--- system-hpux.ads (revision 118179)
+++ system-hpux.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (HP-UX Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
@@ -133,7 +134,7 @@ private
Preallocated_Stacks : constant Boolean := False;
Signed_Zeros : constant Boolean := True;
Stack_Check_Default : constant Boolean := False;
- Stack_Check_Probes : constant Boolean := False;
+ Stack_Check_Probes : constant Boolean := True;
Support_64_Bit_Divides : constant Boolean := True;
Support_Aggregates : constant Boolean := True;
Support_Composite_Assign : constant Boolean := True;
Index: system-vxworks-m68k.ads
===================================================================
--- system-vxworks-m68k.ads (revision 118179)
+++ system-vxworks-m68k.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (VxWorks version M68K) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-vxworks-mips.ads
===================================================================
--- system-vxworks-mips.ads (revision 118179)
+++ system-vxworks-mips.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (VxWorks Version Mips) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-interix.ads
===================================================================
--- system-interix.ads (revision 118179)
+++ system-interix.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (OpenNT/Interix Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-solaris-sparc.ads
===================================================================
--- system-solaris-sparc.ads (revision 118179)
+++ system-solaris-sparc.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (SUN Solaris Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-solaris-sparcv9.ads
===================================================================
--- system-solaris-sparcv9.ads (revision 118179)
+++ system-solaris-sparcv9.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (Solaris Sparcv9 Version) --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-vms.ads
===================================================================
--- system-vms.ads (revision 118179)
+++ system-vms.ads (working copy)
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-mingw.ads
===================================================================
--- system-mingw.ads (revision 118179)
+++ system-mingw.ads (working copy)
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-vms-zcx.ads
===================================================================
--- system-vms-zcx.ads (revision 118179)
+++ system-vms-zcx.ads (working copy)
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-vxworks-ppc.ads
===================================================================
--- system-vxworks-ppc.ads (revision 118179)
+++ system-vxworks-ppc.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (VxWorks Version PPC) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := High_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system-vxworks-alpha.ads
===================================================================
--- system-vxworks-alpha.ads (revision 118179)
+++ system-vxworks-alpha.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (VxWorks Version Alpha) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -88,6 +88,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := Low_Order_First;
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
Index: system.ads
===================================================================
--- system.ads (revision 118179)
+++ system.ads (working copy)
@@ -7,7 +7,7 @@
-- S p e c --
-- (Compiler Version) --
-- --
--- Copyright (C) 1992-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, 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 --
@@ -94,6 +94,7 @@ package System is
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order :=
Bit_Order'Val (Standard'Default_Bit_Order);
+ pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
-- Priority-related Declarations (RM D.1)
More information about the Gcc-patches
mailing list