This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Post diminator information in flow.c is not computed corectly.
- To: Radu Bacrau <alice at kermit dot ss dot pub dot ro>
- Subject: Re: Post diminator information in flow.c is not computed corectly.
- From: Michael Matz <matzmich at cs dot tu-berlin dot de>
- Date: Thu, 18 May 2000 17:44:10 +0200 (MET DST)
- cc: gcc at gcc dot gnu dot org
Hi,
On Thu, 18 May 2000, Radu Bacrau wrote:
> Yes, it's true. Only dominators are computed corectly. Post dominators not.
> For more information, and a fix contact me.
In what are they not correct? There is not that a great possibility to do
something wrong, as the algorithm is fairly straight forward (for now ;)
> Anyway this information is not currently used by GCC so probably
> none of you will contact me.
It is used.
> 2.
> The corectness of my fix is based on the fact that the last basic
> block is the only one that has as successor the EXIT_BLOCK. Anybody
> can tell me if this is correct?
No, thats not correct. E.g. returns create edges to EXIT_BLOCK.
Ciao,
Michael.