This syntax is authorized by GCC/Clang and used in some libraries, such as
glib.

For now, we simply discard these attributes with a warning, since the examples
found so far are currently useless for Frama-C (e.g. 'deprecated').