Attribute Pure

[Kevin Ryde]

Patrick Pelissier <Patrick.Pelissier at loria.fr> writes:
>
> (Of course if this attribute is supported by the used GCC - ie GCC 3.3.3 at least, I think).

I see it only in the cvs head.

>  For a pure function, I think it is an error not to use the result.

No thanks, the circumstances described by the docs for that attribute
do not apply to gmp.

"pure" and "const" tell gcc enough to let it give a normal sort of
warning for statement with no effect, or whatever, if it wants to, or
if one asks for it.