(Check_References.Publicly_Referenceable): A formal parameter is never publicly refer...

(Check_References.Publicly_Referenceable): A formal parameter is never publicly referenceable outside of its body.

	(Check_References.Publicly_Referenceable): A formal parameter is never
	publicly referenceable outside of its body.
	(Check_References): For an unreferenced formal parameter in an accecpt
	statement, use the same warning circuitry as for subprogram formal
	parameters.
	(Warn_On_Unreferenced_Entity): New subprogram, taken from
	Output_Unreferenced_Messages, containing the part of that routine that
	is now reused for entry formals as described above.
	(Has_Pragma_Unreferenced_Check_Spec): New function
	(Check_References): Clean up handling of unmodified IN OUT parameters

From-SVN: r127471