Hello,
I was looking at the PostDominatorTree member functions and I noticed that some of them are not const or don't have const parameters for no apparent (to me) valid reason.
Like for example "properlyDominates" or getNode() that seems to only do a lookup in a table using the passed BB as a key.
In addition to that findNearestCommonDominator is not set as const while doesn't seem to be doing any change to the Dominator object itself.
Is there any reason I'm missing for it being like that?
Cheers,
Marcello