"Dinko Tenev" <dinko.tenev@gmail.com> writes:
(snip)
> How exactly can CSE cause space leaks, and what does this have to do
> with strictness?

I puzzled over Lennart's comment too, and the theory I formed was that
you might have the same expression used in different parts of a
function, where the compiler hasn't realised that the remaining
reference to the expression is in a part of the function that isn't
going to be executed this time, so it is holding on to the expression's
value even though it is never going to be used. (For instance, with a
recursive function, all the previous calls may be holding on to their
version of the value until the call stack has come back out past them
again.)

-- Mark