> (unless otherwise defeated by pointer aliasing) In practice calling any other non-pure function, which the compiler can't see in to, will defeat this optimis

> (unless otherwise defeated by pointer aliasing) In practice calling any other non-pure function, which the compiler can't see in to, will defeat this optimisation, whether there's aliasing within your function or not.