Comment (by Roland Haas):

Isn’t that array filled in at the enter_local_mode function and the enter_global_mode function for grid scalars and grid arrays? Which do not (right now, and in the case of enter_global_mode cannot) know which scheduled function in to be run?

The checked macros must not call CCTK_VarDataPtrI (without the “i”) since that function does not check access (it cannot, since it is called by non-presync aware thorns). Probably this also means that the driver must monitor calls to Driver_RequireValidData et al. if ti sets cctkGH->data[] to NULL since a scheduled function may call that function to gain access at runtime.

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