[cfe-dev] Semantics for dereferencing incomplete types?

[Neil Booth]

Eli Friedman wrote:-

> The place in the source where clang outputs the error,
> Sema::CheckIndirectionOperand, justifies the error by pointing to C99
> 6.5.3.2p4, "If the operand points to a function, the result is a
> function designator; if it points to an object, the result is an
> lvalue designating the object.", and the comment concludes that this
> means dereferencing an incomplete type is illegal.

Certainly in

extern int x[];

x is an object.

Neil.