[Dominators] Invalidate DFS numbers upon edge deletions
authorJakub Kuderski <kubakuderski@gmail.com>
Tue, 26 Sep 2017 21:56:55 +0000 (21:56 +0000)
committerJakub Kuderski <kubakuderski@gmail.com>
Tue, 26 Sep 2017 21:56:55 +0000 (21:56 +0000)
commit1e584a7082571e71c331d993f177271f8cfda4e0
tree73c578abfb890e784c9246cf5829e72ecdb916ea
parenteda7a86d42ff6f62b93fd1c4d963385d436dfc08
[Dominators] Invalidate DFS numbers upon edge deletions

This patch makes DeleteEdge correctly invalidate DFS numbers in the
incremental updater. This should fix PR34466 and related bugs.

llvm-svn: 314254
llvm/include/llvm/Support/GenericDomTreeConstruction.h