Joern Rennecke wrote: > From the code, it almost looks as if it tries to recompute > the dominator, That is what it looks like to me also. > except this it seems nonsentical for > (dir == CDI_POST_DOMINATORS) to loop through the predecessors > of bb. Yes, this looks like a bug. -- Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com