Value Range Propagation Pass Status

[Marc Espie]

In article < 200002041657.IAA25221@yamato.synopsys.com > you write:

>>     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.

This could also tremendously help the usefulness of my proposed 
__attribute__((nonnull)).