[llvm-commits] [llvm] r166157 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Rafael Espíndola]

> Oh. I didn't know that LLVM defines things in a non-standard way.

It is very standard actually. A dominates B if all execution paths
that reach B pass through A. In this case, all the 0 paths that reach
B pass through A.

> -bw
>


Cheers,
Rafael