Hmm. Now that you mention it, I think perhaps there is a gcc pragma (or ((attribute))) that does this, too. I don't think its called "pure"  The XLC compiler had a pragma for this for decades.