[cfe-commits] r55417 - in /cfe/trunk: include/clang/AST/ASTContext.h include/clang/AST/Type.h include/clang/Basic/DiagnosticKinds.def include/clang/Basic/LangOptions.h include/clang/Parse/DeclSpec.h lib/AST/ASTContext.cpp lib/AST/Type.cpp lib/AST

[Chris Lattner]

On Aug 27, 2008, at 9:52 PM, Eli Friedman wrote:

> On Wed, Aug 27, 2008 at 8:41 PM, Chris Lattner <clattner at apple.com>  
> wrote:
>>
>> On Aug 27, 2008, at 6:30 PM, Eli Friedman wrote:
>>
>>> On Wed, Aug 27, 2008 at 9:04 AM, Steve Naroff <snaroff at apple.com>  
>>> wrote:
>>>>
>>>> +      if (DeclType.Cls.TypeQuals)
>>>> +        Diag(D.getIdentifierLoc(),
>>>> diag::err_qualified_block_pointer_type);
>>
>> the only thing a block pointer can point to is a function.   
>> Functions can't
>> be volatile, restrict etc.
>
> Right.
>
>> The pointer itself can of course
>
> Which is why the diagnostic is bogus.


This:
typedef int F();
F^ volatile P;

passes 'clang -parse-noop' just fine,

-Chris