This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PR 11319 analyzed (Re: Patch fixing 3.3 bug PR 9745 and PR 10021)
- From: Dale Johannesen <dalej at apple dot com>
- To: Jim Wilson <wilson at tuliptree dot org>
- Cc: Dale Johannesen <dalej at apple dot com>, Franz Sirl <Franz dot Sirl-kernel at lauterbach dot com>, Mark Mitchell <mark at codesourcery dot com>, David Edelsohn <dje at watson dot ibm dot com>, Marcus Meissner <meissner at suse dot de>, Michael Matz <matz at suse dot de>, gcc at gcc dot gnu dot org, Olaf Hering <olh at suse dot de>
- Date: Tue, 15 Jul 2003 15:29:59 -0700
- Subject: Re: PR 11319 analyzed (Re: Patch fixing 3.3 bug PR 9745 and PR 10021)
On Tuesday, July 15, 2003, at 03:10 PM, Jim Wilson wrote:
Why only the checks in true_dependence and not also output and anti
dependence? We probably should have a function overlapping_memrefs_p
similar to nonoverlapping_memrefs_p except checking for overlaps
instead
of nonoverlaps, and call it everyplace where we call
nonoverlapping_memregs_p.
That's one approach. The problem as I see it is that there are 3
possible
relationships between two memrefs - overlap, don't overlap, and can't
tell -
and the interface is designed with all boolean functions. IMO it would
be better to make most of the functions tri-valued.