This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: bug in dominance algorithm

On Thu, Jun 14, 2001 at 11:30:48AM +0200, Jan Hubicka wrote:
> I think one can easilly assume that if A postdominates B, A is reachable
> from B,

Indeed, I would assume this.

> so perhaps this should be fixed by linking such basic blocks
> to some "swamp" block linked to exit.

Hum.. maybe, but I don't like that either.  If A has no successors,
then it is not post-dominated by EXIT either, which would be the
case if you played games with a swamp connected to exit.


r~
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]