2008-05-27 Thomas Quinot <quinot@adacore.com>

[pf3gnuchains/gcc-fork.git] / gcc / ada / validsw.adb

diff --git a/gcc/ada/validsw.adb b/gcc/ada/validsw.adb
index d61c97e..1c7d5cf 100644 (file)
--- a/gcc/ada/validsw.adb
+++ b/gcc/ada/validsw.adb
@@ -6,18 +6,17 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 2001-2003 Free Software Foundation, Inc.          --
+--          Copyright (C) 2001-2007, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
--- ware  Foundation;  either version 2,  or (at your option) any later ver- --
+-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
 -- for  more details.  You should have  received  a copy of the GNU General --
--- Public License  distributed with GNAT;  see file COPYING.  If not, write --
--- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
--- MA 02111-1307, USA.                                                      --
+-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
+-- http://www.gnu.org/licenses for a complete copy of the license.          --
 --                                                                          --
 -- GNAT was originally developed  by the GNAT team at  New York University. --
 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
@@ -34,6 +33,7 @@ package body Validsw is
 
    procedure Reset_Validity_Check_Options is
    begin
+      Validity_Check_Components     := False;
       Validity_Check_Copies         := False;
       Validity_Check_Default        := True;
       Validity_Check_Floating_Point := False;
@@ -75,6 +75,7 @@ package body Validsw is
       Add ('n', not Validity_Check_Default);
 
       Add ('c', Validity_Check_Copies);
+      Add ('e', Validity_Check_Components);
       Add ('f', Validity_Check_Floating_Point);
       Add ('i', Validity_Check_In_Params);
       Add ('m', Validity_Check_In_Out_Params);
@@ -103,7 +104,8 @@ package body Validsw is
    procedure Set_Validity_Check_Options (Options : String) is
       OK : Boolean;
       EC : Natural;
-
+      pragma Warnings (Off, OK);
+      pragma Warnings (Off, EC);
    begin
       Set_Validity_Check_Options (Options, OK, EC);
    end Set_Validity_Check_Options;
@@ -136,6 +138,9 @@ package body Validsw is
             when 'd' =>
                Validity_Check_Default        := True;
 
+            when 'e' =>
+               Validity_Check_Components     := True;
+
             when 'f' =>
                Validity_Check_Floating_Point := True;
 
@@ -166,6 +171,9 @@ package body Validsw is
             when 'D' =>
                Validity_Check_Default        := False;
 
+            when 'E' =>
+               Validity_Check_Components     := False;
+
             when 'I' =>
                Validity_Check_In_Params      := False;
 
@@ -191,6 +199,7 @@ package body Validsw is
                Validity_Check_Tests          := False;
 
             when 'a' =>
+               Validity_Check_Components     := True;
                Validity_Check_Copies         := True;
                Validity_Check_Default        := True;
                Validity_Check_Floating_Point := True;
@@ -203,6 +212,7 @@ package body Validsw is
                Validity_Check_Tests          := True;
 
             when 'n' =>
+               Validity_Check_Components     := False;
                Validity_Check_Copies         := False;
                Validity_Check_Default        := False;
                Validity_Check_Floating_Point := False;