Simple question about how the optimizer works

[Tim Roberts]

Kragen Sitaker <kragen at pobox.com> wrote:

>Simon Brunning <SBrunning at trisystems.co.uk> writes:
>> I can't see how this optimisation could be automated - function f may or may
>> not have side effects.
>
>Checking whether f has side effects can be automated.

Can it?  Isn't that a variant of the Turing stopping problem?
--
- Tim Roberts, timr at probo.com
  Providenza & Boekelheide, Inc.