On Mon, 13 Jan 2014, Marek Polacek wrote:
> +/* Return true if T is a pointer to a zero-sized struct/union. */
> +
> +bool
> +pointer_to_zero_sized_aggr_p (tree t)
> +{
> + t = strip_pointer_operator (t);
> + if (RECORD_OR_UNION_TYPE_P (t)
> + && TYPE_SIZE (t)
> + && integer_zerop (TYPE_SIZE (t)))
> + return true;
> + return false;
Given that GNU C also allows arrays of constant size 0, shouldn't the
errors also apply in that case? (I don't know whether the original bug
can appear for such arrays, but I'd think the errors should apply to
anything with constant size 0 - not of course for VLAs where it just so
happens that the compiler can tell at compile time that the size is always
0.)
--
Joseph S. Myers
jos...@codesourcery.com
