question about BasicBlock

Xiaodong,

Note that there is already a DFS iterator for the CFG. See
  include/llvm/Support/CFG.h
  include/Support/PostOrderIterator.h

--Vikram
http://www.cs.uiuc.edu/~vadve