__attribute__ ((pure)) and friends

[glenlow]

Dear All,

If a function is declared inline and is actually inlined by the
compiler, is there any benefit at all to also declaring it
__attribute__ ((pure)) or __attribute__ ((const))? Surely the compiler
has sufficient information then to determine if the function is indeed
pure or const.

Any differences in behavior between gcc 3.3/4 and 4.0?

Cheers,
Glen Low, Pixelglow Software
www.pixelglow.com