On Thursday 12 January 2006 11:03, Michael Veksler wrote:
> You are most likely right about the "realistically" part. > Yes. The heavy analysis would probably be worth doing in a lint-like checker. Or be part of the compiler with special static optimization switches. It's probably too heavy-duty to be added to the standard uninitialized machinery.
