This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: remaining libjava/verify_local_live_at_start failures
- From: John Wehle <john at feith dot com>
- To: jh at suse dot cz
- Cc: hp at bitrange dot com, gcc at gcc dot gnu dot org
- Date: Mon, 25 Mar 2002 19:36:07 -0500 (EST)
- Subject: Re: remaining libjava/verify_local_live_at_start failures
> The problem is that global liveness is not recomputed after dead code removal
> keeping it in inconsistent state.
In the past this has been caused by cleanup_cfg making a change
and returning zero (indicating that nothing changed).
update_life_info has:
for ( ; ; )
{
...
if (! changed || ! cleanup_cfg (CLEANUP_EXPENSIVE))
break;
}
So as long as cleanup_cfg returns non-zero update_life_info will
DTRT by iterating until global liveness / dead code removal converges.
-- John
-------------------------------------------------------------------------
| Feith Systems | Voice: 1-215-646-8000 | Email: john@feith.com |
| John Wehle | Fax: 1-215-540-5495 | |
-------------------------------------------------------------------------