[Dominators] Make eraseNode invalidate DFS numbers
authorJakub Kuderski <kubakuderski@gmail.com>
Tue, 3 Oct 2017 21:17:48 +0000 (21:17 +0000)
committerJakub Kuderski <kubakuderski@gmail.com>
Tue, 3 Oct 2017 21:17:48 +0000 (21:17 +0000)
commit4dc477dc9317102c744a900934cdacc6e6d23b03
tree4d4d0658e5f21ef95c20bae707ad851cd4307e09
parent0aa94d314c222a7c43c44799c726d01ac82705ec
[Dominators] Make eraseNode invalidate DFS numbers

This patch makes DT::eraseNode mark DFSInfo as invalid.
Not marking it as invalid leads to DFS numbers getting corrupted
and failing VerifyDFSNumbers check.

This patch also makes children iterator const (NFC).

llvm-svn: 314847
llvm/include/llvm/Support/GenericDomTree.h