<html>#2512: Enable detection of `attribute(pure)`
<table style='border-spacing: 1ex 0pt; '>
<tr><td style='text-align:right'> Reporter:</td><td>Erik Schnetter</td></tr>
<tr><td style='text-align:right'> Status:</td><td>new</td></tr>
<tr><td style='text-align:right'>Milestone:</td><td></td></tr>
<tr><td style='text-align:right'> Version:</td><td>development version</td></tr>
<tr><td style='text-align:right'> Type:</td><td>proposal</td></tr>
<tr><td style='text-align:right'> Priority:</td><td>minor</td></tr>
<tr><td style='text-align:right'>Component:</td><td>Cactus</td></tr>
</table>
<p>Comment (by Roland Haas):</p>
<p>Having <code>attribute(pure)</code> working would be great, in particular for <code>CCTKi_VarDataPtrI</code> 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 <code>CCTKi_VarDataPtrI</code>? This issue does not exist with <code>DECLARE_CCTK_ARGUMENTS_Foo</code> which only declare variables that are listed in the <code>READS</code>/<code>WRITES</code> schedule statements, does it?</p>
<p>--<br/>
Ticket URL: <a href='https://bitbucket.org/einsteintoolkit/tickets/issues/2512/enable-detection-of-attribute-pure'>https://bitbucket.org/einsteintoolkit/tickets/issues/2512/enable-detection-of-attribute-pure</a></p>
</html>