Post diminator information in flow.c is not computed corectly.

["Radu Bacrau" <alice at kermit dot ss dot pub dot ro>]

1.

Yes, it's true. Only dominators are computed corectly. Post dominators not.

For more information, and a fix contact me.

Anyway this information is not currently used by GCC so probably

none of you will contact me.

 

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?

 

thanx

Radu Bacrau