This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR middle-end/17746
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: giovannibajo at libero dot it
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Tue, 19 Oct 04 23:59:07 EDT
- Subject: Re: [PATCH] Fix PR middle-end/17746
> handled_component_p and get_inner_reference must always agree on what's
> handled.
Can we enforce this with asserts?
Perhaps more straightforward would be to have get_inner_reference *call*
handled_component_p, but that would have a cost.
We can check that the former *includes* the latter with asserts, but I
don't see how to enforce the converse that way.