<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Jan 14, 2014 at 5:23 PM, Alp Toker <span dir="ltr"><<a href="mailto:alp@nuanti.com" target="_blank">alp@nuanti.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
This patch generalizes C++11 attributes for use in C and C-like dialects, and additionally enables the new syntax as an extension to C11.<br></blockquote><div><br></div><div><div>Why do you allow this by default in C11? And conversely, why not in C90 / C99?</div>
<div><br></div><div>If we're going to allow these anywhere by default, C++98 would seem like a good place to start. I don't believe they introduce any ambiguities outside of Objective-C(++), and we already disambiguate those cases. (There's an ambiguity with lambdas, but we don't need to address that until/unless we allow lambdas in C++98.)</div>
</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
All features are carried forward from C++11, including usage on declarations, attributed statements, scoped attribute names, GNU attribute aliases and the clang-specific attribute namespace.<br>
<br>
A new feature detection macro is provided, breaking from the usual c/cxx prefix convention in order to facilitate portable detection in C++ and C modes:<br>
<br>
__has_feature(attributes) - 1 in C++11, otherwise 0.<br>
__has_extension(attributes) - 1 in C++11 and C11, otherwise 0.<br></blockquote><div><br></div><div>This is already available as __has_feature(cxx_attributes); using __has_extension(cxx_attributes) in C would seem to be the right approach here (we're allowing C++ attributes as an extension in C). This is what we already do for C99 and C11 features which we accept in C++.</div>
<div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
The new warning flag -W(no-)generalized-attributes suppresses the new extension warning in C. The same flag can also be used to selectively disable attribute compatibility warnings produced by the pre-existing -Wc++98-compat option.<br>
</blockquote><div><br></div><div>OK, so this is why you wanted us to pick a name for this feature; you're going to use it as a diagnostic name. I think this should be called -Wc++-attributes, to match our existing compatible-for-all-time feature name cxx_attributes. We can add an alias to a better name if we ever need one, but for now, we're pretty clearly allowing a C++ feature in C, so calling it "c++-something" makes sense to me.</div>
<div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Newly added tests have been shared with C++11 where possible to ensure consistency between language modes.</blockquote>
<div><br></div><div>Does this do the right thing for (for instance)</div><div><br></div><div>  struct S {</div><div>    [[ gnu::aligned(8) ]] int n;</div><div>  };</div><div><br></div><div>? (Structs use different parsing code in C and C++. )</div>
</div></div></div>