What does this function do? Does it count something? Does it report an event? >From the code, it almost looks as if it tries to recompute the dominator, except this it seems nonsentical for (dir == CDI_POST_DOMINATORS) to loop through the predecessors of bb.