| /* _GL_UNUSED_PARAMETER is a marker that can be appended to function parameter |
| declarations for parameters that are not used. This helps to reduce |
| warnings, such as from GCC -Wunused-parameter. The syntax is as follows: |
| type param _GL_UNUSED_PARAMETER |
| or more generally |
| param_decl _GL_UNUSED_PARAMETER |
| For example: |
| int param _GL_UNUSED_PARAMETER |
| int *(*param)(void) _GL_UNUSED_PARAMETER |
| Other possible, but obscure and discouraged syntaxes: |
| int _GL_UNUSED_PARAMETER *(*param)(void) |
| _GL_UNUSED_PARAMETER int *(*param)(void) |
| */ |
| #ifndef _GL_UNUSED_PARAMETER |
| # if __GNUC__ >= 3 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 7) |
| # define _GL_UNUSED_PARAMETER __attribute__ ((__unused__)) |
| # else |
| # define _GL_UNUSED_PARAMETER |
| # endif |
| #endif |