On Thu, 12 Jun 2025, Qing Zhao wrote: > > In general I think we'd only expect an error if the information required > > to give it is visible at the point where the counted_by attribute is used. > > There might be a possibility of giving an error for this case when the > > pointer gets dereferenced (and thus the counted_by information gets > > implicitly used). > > Okay, I see. > I think that the right place to check and issue error for this is: > > When generating the call to .ACCESS_WITH_SIZE for a component_ref with > counted_by attribute, if the pointee’s TYPE is still incomplete at this > moment, C FE issues error at this time. And the call to > .ACCESS_WITH_SIZE will not be generated.
If the type is actually incomplete, the dereference itself will give an error, independent of counted_by. If the type has a flexible array member, then, yes, that would be an appropriate point to generate an error. -- Joseph S. Myers josmy...@redhat.com
