>>133
Wait, I thought we were discussing GC here. I figured the mem. alloc. problem is just to exit with an error when there is not enough memory. The GC problem on the other hand, I thought was simply to know when to call free on blocks that we are not going to reference anymore.
I don't really see clearly why that is such a problem to do using code analysis. After all, if there are no references to some piece of memory anymore in the code then clearly it won't be in the program...