[dmytrish]

There is[1] a `pure` attribute in GCC extensions to C and C++:

    int square (int) __attribute__ ((pure));

But I can't say how smart is the compiler in handling those attributes.

[1] http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html