http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53528
Michal Malecki <ethouris at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ethouris at gmail dot com
--- Comment #2 from Michal Malecki <ethouris at gmail dot com> 2012-06-25
08:11:16 UTC ---
If this feature is going to be used also for extended GNU attributes, it can be
done via a special extension:
[[gnu init_priority(200)]]
[[gnu format(printf, 2, 3)]]
would be same as:
__attribute__ ((init_priority (200)))
__attribute__ ((format(printf, 2, 3)))
Some standard attributes can be also implemented as alias to existing gnu
attributes, for example [[gnu noreturn]] would be the same as [[noreturn]].
Currently the only standard attributes are "noreturn" and "carries_dependency".
They don't get any arguments, so I don't think the difference to current
attribute syntax matters.
