This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Remove partial support for unused entities in conditionals
- From: Geert Bosch <bosch at darwin dot gnat dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Wed, 5 Dec 2001 11:11:41 -0500 (EST)
- Subject: [Ada] Remove partial support for unused entities in conditionals
2001-12-05 Robert Dewar <dewar@gnat.com>
* sem_warn.adb: Remove stuff for conditionals, we are not going to
do this after all.
* sem_warn.ads: Remove stuff for conditionals, we are not going to
do this after all. Add 2001 to copyright notice
*** sem_warn.adb 2001/10/13 18:45:30 1.25
--- sem_warn.adb 2001/10/20 01:01:55 1.26
***************
*** 882,905 ****
end if;
end Check_Unused_Withs;
- ---------------------
- -- End_Conditional --
- ---------------------
-
- procedure End_Conditional is
- begin
- null;
- end End_Conditional;
-
- --------------
- -- End_Unit --
- --------------
-
- procedure End_Unit is
- begin
- null;
- end End_Unit;
-
----------------------------------
-- Output_Unreferenced_Messages --
----------------------------------
--- 882,887 ----
***************
*** 971,1003 ****
end if;
end loop;
end Output_Unreferenced_Messages;
-
- ------------------
- -- Start_Branch --
- ------------------
-
- procedure Start_Branch (Loc : Source_Ptr) is
- begin
- null;
- end Start_Branch;
-
- -----------------------
- -- Start_Conditional --
- -----------------------
-
- procedure Start_Conditional (If_Stmt : Boolean) is
- begin
- null;
- end Start_Conditional;
-
- ----------------
- -- Start_Unit --
- ----------------
-
- procedure Start_Unit is
- begin
- null;
- end Start_Unit;
-----------------------------
-- Warn_On_Known_Condition --
--- 953,958 ----
*** sem_warn.ads 2000/02/07 18:11:59 1.3
--- sem_warn.ads 2001/10/20 01:01:59 1.4
***************
*** 8,14 ****
-- --
-- $Revision$
-- --
! -- Copyright (C) 1999-2000 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- --
--- 8,14 ----
-- --
-- $Revision$
-- --
! -- Copyright (C) 1999-2001 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- --
***************
*** 86,124 ****
-- set to the default value of No_Unit) generates the required warnings
-- using the flags set by the initial call where appropriate to specialize
-- the text of the warning messages.
-
- ----------------------------------------
- -- Routines to Deal with Conditionals --
- ----------------------------------------
-
- -- These routines provide the necessary interfacing information to
- -- correctly handle references in conditional structures (if/then/end-if,
- -- or case/when/end-case). The issue here is that if a variable is only
- -- set in some but not all branches of a conditional, then it is not
- -- considered as being set by the conditional as a whole.
-
- procedure Start_Unit;
- -- Mark start of new unit to be analyzed, deals with fact that a call to
- -- Rtsfind may cause new unit to be analyzed in middle of conditional.
-
- procedure End_Unit;
- -- Mark end of unit corresponding to previous call to Start_Unit
-
- procedure Start_Conditional (If_Stmt : Boolean);
- -- Mark start of a new conditional structure (an if-elsif-else-endif
- -- or a case-when-end-case structure). If_Stmt is True for the IF
- -- statement case, and False for the CASE statement case.
-
- procedure Start_Branch (Loc : Source_Ptr);
- -- Start processing of one branch of conditional previously marked by
- -- a call to Start_Conditional (i.e. start of then/elsif/else statements
- -- or set of statements after a when condition). The Loc value is the
- -- source pointer to be used in warning messages concerning variables
- -- not properly initialized in this branch. A branch is terminated by
- -- either another Start_Branch or End_Conditional call.
-
- procedure End_Conditional;
- -- Terminate conditional started by previous Start_Conditional statement.
---------------------
-- Output Routines --
--- 86,91 ----