[Bug ada/37618] New: parameter used for dispatching gives warning: formal parameter "X" is not referenced

["esigra at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

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