This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Re: ref_contains_indirect_ref always false?
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: dnovillo at redhat dot com
- Cc: gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org
- Date: Fri, 4 Nov 05 09:33:30 EST
- Subject: Re: [PATCH] Re: ref_contains_indirect_ref always false?
If you handle INDIRECT_REF directly, then you are seemingly changing the
semantics of the predicate. The predicate says that it's expecting an
ARRAY_REF as input.
The way it's documented, the input *must* be an ARRAY_REF. If that's
not what's meant, the comment should be changed. But if the comment is right,
then the behavior is undefined if the input is *not* an ARRAY_REF, so there's
no change to its documented semantics.
Point me to the bug you are trying to fix?
The bug I see is that the code doesn't agree with its comment ...