This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH: Ada fixes for mingw32- adaint.c (6/6)
Arnaud Charlet <charlet@ACT-Europe.FR> writes:
>> All __attribute__((unused)) does is turn off the warnings -- note the
>> 'possibly' in excerpt from gcc.info.
>
> This kind of attribute also act as documentation, and in this case, this
> would be a partly misleading documentation.
The existing style in GCC is to use __attribute__((unused)) when a
parameter is unused only sometimes. This will not be misleading.
zw