Interesting. Your link says in the portability section

> All it relies on is the assumption that the architecture uses a call stack to implement function frames.

Does this mean it will treat live objects as dead when the only reference is stored in a register?