[cfe-commits] r64239 - in /cfe/trunk: include/clang/Basic/DiagnosticSemaKinds.def lib/Sema/SemaType.cpp test/Sema/array-constraint.c test/Sema/flexible-array-init.c

[Chris Lattner]

On Feb 10, 2009, at 2:47 PM, Daniel Dunbar wrote:

> Agh! Do we really need to accept this!?
>
> What does f0 compute:
> --
> struct S0 {
>  int a;
>  int b[];
> };
>
> struct S1 {
>  struct S0 x;
>  struct S0 y;
> };
>
> int f0(struct S1 a) {
>  return a.y.b[0];
> }
> --
>
> I haven't studied this issue closely, but this seems to be a GNU
> extension which defies having any reasonable semantics.

FWIW, this occurs in some leopard system headers afaik.  Yes, I know  
it makes no sense :)

-Chris