[dcl.attr.depend] also requires [[carries_dependency]] appear at most once in an attribute list; same for [[noreturn]]. Should this be implemented as part of semantic analysis for both attributes as well?
Michael On Mon, Jan 28, 2013 at 2:42 PM, Richard Smith <[email protected]>wrote: > Author: rsmith > Date: Mon Jan 28 16:42:45 2013 > New Revision: 173726 > > URL: http://llvm.org/viewvc/llvm-project?rev=173726&view=rev > Log: > Finish semantic analysis for [[carries_dependency]] attribute. > > This required plumbing through a new flag to determine whether a > ParmVarDecl is > actually a parameter of a function declaration (as opposed to a function > typedef etc, where the attribute is prohibited). Weirdly, this attribute > (just > like [[noreturn]]) cannot be applied to a function type, just to a function > declaration (and its parameters). > > Added: > cfe/trunk/test/CXX/dcl.dcl/dcl.attr/dcl.attr.depend/p2.cpp > Modified: > cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td > cfe/trunk/include/clang/Sema/DeclSpec.h > cfe/trunk/include/clang/Sema/Scope.h > cfe/trunk/lib/Parse/ParseCXXInlineMethods.cpp > cfe/trunk/lib/Parse/ParseDecl.cpp > cfe/trunk/lib/Parse/ParseExprCXX.cpp > cfe/trunk/lib/Parse/ParseObjc.cpp > cfe/trunk/lib/Parse/Parser.cpp > cfe/trunk/lib/Sema/SemaDecl.cpp > cfe/trunk/lib/Sema/SemaDeclAttr.cpp > cfe/trunk/test/CXX/dcl.dcl/dcl.attr/dcl.attr.depend/p1.cpp > > Modified: cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td > URL: > http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/DiagnosticSemaKinds.td?rev=173726&r1=173725&r2=173726&view=diff > > ============================================================================== >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
