"bearophile" wrote in message news:[email protected]...
Why do you need that? You can tell that foo() is not strongly pure from its signature. That's enough.
Enough to tell it _might_ have a side effect, not enough to know it _will_. The number of false positives would make it near useless.
