r173726 - Finish semantic analysis for [[carries_dependency]] attribute.

[Richard Smith]

This is already implemented, see test in r173645.

On Mon, Jan 28, 2013 at 3:42 PM, Michael Han <fragmentshaders at gmail.com> wrote:
> [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 <richard-llvm at metafoo.co.uk>
> 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
>>
>> ==============================================================================