[Haskell-cafe] Wrong Answer Computing Graph Dominators

[Denis Bueno]

On Thu, Apr 17, 2008 at 5:52 PM, Dan Weston <westondan at imageworks.com> wrote:
> Your reasoning differs from the usual understanding of a null product (1 or
> True), as compared to a null sum (0 or False):
>
>
>  > the list of nodes for which
>  > *any path* from source to x must touch, i.e., the list of dominators
>  > of x.
>
>  Here, "any path" means all paths, a logical conjunction:

I'm not sure I agree this is the common definition of dominators, but
supposing it is: the upshot is that to get what I expect, I should
only ask for the dominators of nodes which I know are reachable from
the source node, right?

-- 
 Denis