On 01/12/2016 11:11 AM, Martin Sebor wrote:
On 01/11/2016 10:20 PM, Jason Merrill wrote:
On 12/22/2015 09:32 PM, Martin Sebor wrote:
+ if (is_attribute_p ("aligned", name)
+ || is_attribute_p ("vector_size", name))
+ {
+ /* Attribute argument may be a dependent indentifier. */
+ if (tree t = args ? TREE_VALUE (args) : NULL_TREE)
+ if (value_dependent_expression_p (t)
+ || type_dependent_expression_p (t))
+ return true;
+ }
Instead of this, is_late_template_attribute should be fixed to check
attribute_takes_identifier_p.
attribute_takes_identifier_p() returns false for the aligned
attribute and for vector_size (it returns true only for
attributes cleanup, format, and mode, and none others).
Are you suggesting to also change attribute_takes_identifier_p
to return true for these attributes? That would likely mean
changes to the C front end as well.)
Jason, can you please clarify what you had in mind? I realize this
isn't as severe as a codegen problem but I'd like to try to wrap it
up in between higher priority tasks.
Thanks
Martin
