On 2025-04-11 13:37, Martin Uecker wrote:
My understanding is that such issue with the implicit data flow dependency
information missing is only for the
counted_by attribute, not for the other TYPE which already have the bound
information there.
The dependency issue is only for the size, but for
other types the size information is often not
preserved, so then not available later.
.ACCESS_WITH_SIZE would solve this.
Yes, I think we had this conversation before, that .ACCESS_WITH_SIZE
could for example even preserve size information across functions with
__access__ attribute that were inlined.
Sid
