I'm looking for a way to mark a function that may read and/or write to it's pointer arguments but that does not read or write to any other memory. Is there a combination of attributes that makes this possible? The best I can find is the readnone/readonly and noalias attributes, but it doesn't seem to be possible to indicate that it's only the pointer arguments that are read or modified (and not all the other global state).
Here's a reference to a visual studio attribute that is essentially what I want:
Andrew