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
If you use MS VC++ then maybe it will be useful information about source-code annotation language (SAL) http://msdn.microsoft.com/ru-ru/library/hh916383.aspx