On Fri, Mar 18, 2016 at 05:11:19PM +0000, Richard Smith via cfe-commits wrote:
> rsmith added a comment.
> 
> Can you explain a bit more about the problem? It seems to me that if I have:
> 
>   struct Base {
>     char k[1];
>   };
>   struct Derived : Base {};
> 
> ... then the 'k' subobject of a `Derived` object is known to be exactly 1 
> byte long -- it doesn't seem obviously appropriate for our flexible-sized 
> trailing array support to cover this case.

I don't think we special case C++ for the "[1] means flexible trailing
array" check?

Joerg
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to