This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Value Range Propagation Pass Status
- To: egcs at egcs dot cygnus dot com
- Subject: Re: Value Range Propagation Pass Status
- From: Marc Espie <espie at quatramaran dot ens dot fr>
- Date: Sat, 5 Feb 2000 14:28:41 +0100
- Organization: Ecole Normale Superieure de Paris
- References: <10002041216.AA20895@vlsi1.ultra.nyu.edu>
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)).