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: jsm28 at cam dot ac dot uk (Joseph S. Myers)
- Subject: Re: How would *you* use an intern?
- From: Joe Buck <jbuck at synopsys dot COM>
- Date: Mon, 4 Jun 2001 15:47:22 -0700 (PDT)
- Cc: jbuck at synopsys dot com (Joe Buck), espie at quatramaran dot ens dot fr (Marc Espie), shebs at apple dot com, gcc at gcc dot gnu dot org, john at feith dot com
I wrote (re improvements on signed/unsigned comparison warnings)
> > 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.
Joseph Myers writes:
> Like the value range propagation pass developed by John Wehle and linked
> to from the projects list?
>
> http://gcc.gnu.org/ml/gcc-patches/2000-07/msg00968.html
Yes, exactly like that. I had a vague recollection of the discussion,
but didn't recall that anyone got this far in implementation work.
Of course, this is for future work and not for 3.0.