[PATCH] D47149: [SCCP] Mark DominatorTreeAnalysis as preserved.

[Daniel Berlin via Phabricator via llvm-commits]

dberlin added a comment.

This is, AFAIK, right but your assumption is wrong.

In particular, DT is preserved, but the CFG is definitely changed by SCCP.
See changeToUnreachable and what it does  under the covers.

(this has confused people before :P).


https://reviews.llvm.org/D47149