[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

[Eli Friedman]

On Wed, Aug 27, 2008 at 10:47 PM, Chris Lattner <clattner at apple.com> wrote:
>
> 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,

Of course it does; -parse-noop doesn't call into Sema.

-Eli