Re: [PATCH v2] Evaluate the object size by the size of the pointee type when the type is a structure with flexible array member which is annotated with counted_by.

[Siddhesh Poyarekar]

On 2025-06-20 10:22, Qing Zhao wrote:

Okay, this is a reasonable solution to this problem.

I will add a new —param option as suggested, and then guard the generation of 
the size expression for:

__builtin_dynamic_object_size (p, 1)

With this opinion before the NULL pointer checking.  Then update the testing 
cases as well.

Is that reasonable?

Yes, that works for me.

Thanks,
Sid