If you were to look at this code,
int x = 0;
function(x);
std::cout << x << \'\\n\';
you would not be able to verify through any me
I think it's something useless to notify (by language nonetheless [1]). The only needed question is : "Is my object is semantically modified ?", and so :
[1] A static analyzer could do it for its purposes.
[2] If you miss, the compiler would warn you anyway.