]> granicus.if.org Git - llvm/commit
[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)
commit044f6a472648186b882fdb88aea6ca974008ea8b
treee4f805052abd6ce39afc6cf9cde9508d7cd93349
parent4b145dd11706fc8be8ac4137f1d455bb8cbe9e88
[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).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@314847 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Support/GenericDomTree.h