> On Dec 11, 2025, at 13:06, Joseph Myers <[email protected]> wrote:
>
> On Thu, 11 Dec 2025, Qing Zhao wrote:
>
>>>> 3. Do you think that the above testing case is enough for this purpose?
>>>
>>> Maybe also test function *definitions*
>>
>> I cannot come up with such valid testing cases about function *definitions*,
>> could you please help on this?
>
> struct { int c; char *d __attribute__ ((counted_by (c))); } *f () { return 0;
> }
>
Oh.
> (and likewise for the case where the member named in counted_by is
> missing, of course).
Sure.
>
>>> and definitions of typedef names.
>>
>> Such as:
>>
>> typedef struct {
>> int c;
>> char *d __attribute__ ((counted_by (c)));
>> } mys;
>>
>> typedef struct {
>> char *d1 __attribute__ ((counted_by (c1)));
>> } mys1;
>>
>> ??
>
> Yes.
Thanks a lot.
Qing
>
> --
> Joseph S. Myers
> [email protected]
>
