A parameter of a type without actual data components, that is only used for
dispatching, gives:
warning: formal parameter "X" is not referenced
But the type is a null record, so there is nothing that could be referenced.
And the parameter is actually used to select which function to call. Sample
code will be attached.
--
Summary: parameter used for dispatching gives warning: formal
parameter "X" is not referenced
Product: gcc
Version: 4.2.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: esigra at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37618
