[docs] Update DominatorTree docs to clarify expectations around unreachable blocks
authorPhilip Reames <listmail@philipreames.com>
Wed, 23 Sep 2015 18:39:37 +0000 (18:39 +0000)
committerPhilip Reames <listmail@philipreames.com>
Wed, 23 Sep 2015 18:39:37 +0000 (18:39 +0000)
commit710fde88688bb4919404f37fa54ae9272bccea2f
tree2a9bc949cc666d7d08ca83862a9eb76582ab2765
parentffafbd3b2acace647ee924bdfd623aa2bb1c26a9
[docs] Update DominatorTree docs to clarify expectations around unreachable blocks

Note: I'm am not trying to describe what "should be"; I'm only describing what is true today.

This came out of my recent question to llvm-dev titled: When can the dominator tree not contain a node for a basic block?

Differential Revision: http://reviews.llvm.org/D13078

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