From d58fb3be4284dcbfbf423a8df4fa3736e6f5fb61 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 14 Aug 2007 11:01:52 +0200 Subject: (Output_Non_Modifed_In_Out_Warnings, Warn_On_Unassigned_Out_Parameter): New functions. From-SVN: r127472 --- gcc/ada/sem_warn.ads | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'gcc/ada') diff --git a/gcc/ada/sem_warn.ads b/gcc/ada/sem_warn.ads index 86c36a9..c6c139b 100644 --- a/gcc/ada/sem_warn.ads +++ b/gcc/ada/sem_warn.ads @@ -105,6 +105,13 @@ package Sem_Warn is -- 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); -- N is a reference to obsolescent entity E, for which appropriate warning -- messages are to be generated (caller has already checked that warnings @@ -160,6 +167,14 @@ package Sem_Warn is -- a warning is generated that the subscripting operation is possibly -- 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 (Ent : Entity_Id; Loc : Source_Ptr := No_Location); -- cgit v1.1