Comment (by Roland Haas):

Having attribute(pure) working would be great, in particular for CCTKi_VarDataPtrI since it would could reduce use of this function quite a lot on scheduled functions that only end up accessing a fraction of the variables in a thorn. Since you looked at them, do you have an suggestion where one could improve access checking in CCTKi_VarDataPtrI? This issue does not exist with DECLARE_CCTK_ARGUMENTS_Foo which only declare variables that are listed in the READS/WRITES schedule statements, does it?

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2512/enable-detection-of-attribute-pure