> On Apr 11, 2025, at 13:55, Siddhesh Poyarekar <siddh...@gotplt.org> wrote: > > 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. Yes, I remembered this conversation and will plan to work on to convert __access_ attribute to call to .ACCESS_WITH_SIZE too. The design of .ACCESS_WITH_SIZE already considered this part of the work.
The __access__ attribute is attached to a function, whenever the function is inlined, the information is lost, and it’s hard for the data flow to track such information, for this case, I think using .ACCESS_WITH_SIZE Is necessary. Qing > > Sid
