> Also, can we use this to ask at anytime whether or not we know a > specific pseudo cannot be 0? This will help us do a better job of > dealing with certain exceptions in gcj. > > And Ada, in the case of pointers. C++ speedups for pointers as well.