I read the article. I don't know if the author has considered the implications of what he wrote. What we're talking about is: * Treating all memory accesses as

I read the article. I don't know if the author has considered the implications of what he wrote. What we're talking about is: * Treating all memory accesses as if they were defined * No dead code elimination * Treating all pointers as if they're volatile This adds up to a lot of overhead.