This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: How would *you* use an intern?
- To: Joe Buck <jbuck at synopsys dot COM>
- Subject: Re: How would *you* use an intern?
- From: law at redhat dot com
- Date: Mon, 04 Jun 2001 13:05:15 -0700
- cc: espie at quatramaran dot ens dot fr (Marc Espie), shebs at apple dot com, gcc at gcc dot gnu dot org
- Reply-To: law at redhat dot com
In message <200106041947.MAA09164@toledo.synopsys.com>you write:
> Marc Espie writes:
> > As far as diagnostics go, I have a pet peeve of mine.
> > Often, gcc gives warnings when comparing signed to unsigned values,
> > in cases where the signed value *can't* possibly be negative.
> > It would be great if gcc could take advantages of assertions, in a limite
> d
> > setting.
>
> To be able to do this, GCC would need some form of range checking
> architecture, where ranges of possible values are associated with
> expressions and passed around by dataflow analysis. It currently doesn't
> have anything like this AFAIK.
Yes there is. John Wehle has written code to do this. You might
search for VRP or value range propagation in the archives.
jeff