This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: ICE in change_address at emit_rtl.c
- From: Per Bothner <per at bothner dot com>
- To: mike stump <mrs at windriver dot com>
- Cc: kenner at vlsi1 dot ultra dot nyu dot edu, gcc at gcc dot gnu dot org
- Date: Mon, 26 Nov 2001 14:58:37 -0800
- Subject: Re: ICE in change_address at emit_rtl.c
- References: <200111262250.OAA16715@kankakee.wrs.com>
mike stump wrote:
>>Using a LET_EXPR makes the scope explicit. It is clear that the
>>scope of the tmp lasts during the evaluation of the let-body, which
>>is during the evaluation of the PLUS_EXPR. Using a SAVE_EXPR, the
>>scope of the temporary is "from the first time the SAVE_EXPR is
>>evaluated until the last time the SAVE_EXPR is evaluated". We
>>cannot know what this is without analyzing the entire body of the
>>function.
>>
>This wrong. The scope for the storage ends, like it or not, at the
>end of the block in which it was expanded in, which is defined by a
>call to push_temp_slots_for_block.
>
You are talking implementation details; I am talking semantics.
--Per