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