Commit d58fb3be by Arnaud Charlet

(Output_Non_Modifed_In_Out_Warnings, Warn_On_Unassigned_Out_Parameter):

	New functions.

From-SVN: r127472
parent 434632ce
...@@ -105,6 +105,13 @@ package Sem_Warn is ...@@ -105,6 +105,13 @@ package Sem_Warn is
-- Output Routines -- -- Output Routines --
--------------------- ---------------------
procedure Output_Non_Modifed_In_Out_Warnings;
-- Warnings about IN OUT parameters that could be IN are collected till
-- the end of the compilation process (see body of this routine for a
-- discussion of why this is done). This procedure outputs the warnings.
-- Note: this should be called before Output_Unreferenced_Messages, since
-- if we have an IN OUT warning, that's the one we want to see!
procedure Output_Obsolescent_Entity_Warnings (N : Node_Id; E : Entity_Id); procedure Output_Obsolescent_Entity_Warnings (N : Node_Id; E : Entity_Id);
-- N is a reference to obsolescent entity E, for which appropriate warning -- N is a reference to obsolescent entity E, for which appropriate warning
-- messages are to be generated (caller has already checked that warnings -- messages are to be generated (caller has already checked that warnings
...@@ -160,6 +167,14 @@ package Sem_Warn is ...@@ -160,6 +167,14 @@ package Sem_Warn is
-- a warning is generated that the subscripting operation is possibly -- a warning is generated that the subscripting operation is possibly
-- incorrectly assuming a lower bound of 1. -- incorrectly assuming a lower bound of 1.
procedure Warn_On_Unassigned_Out_Parameter
(Return_Node : Node_Id;
Scope_Id : Entity_Id);
-- Called when processing a return statement given by Return_Node. Scope_Id
-- is the Entity_Id for the procedure in which the return statement lives.
-- A check is made for the case of a procedure with out parameters that
-- have not yet been assigned, and appropriate warnings are given.
procedure Warn_On_Useless_Assignment procedure Warn_On_Useless_Assignment
(Ent : Entity_Id; (Ent : Entity_Id;
Loc : Source_Ptr := No_Location); Loc : Source_Ptr := No_Location);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment