你看这样写有一点点靠谱么：
```
foreach BB {
  for i = 0; i < BB.getNumSuccessors(); ++i {
    S = BB's i-th successor
    if S wasn't executed
      set BB's i-th successor to an unreachable BB
      // the unreachable BB is a special BB we create for each function. It contains one single UnreachableInst. 
  }
}
```
之后反正你总归要跑`simplifycfg`，那些木有被执行过的BB因为没有人连向他们都会被删掉。

另一个问题是`InvokeInst`，如果unwind destination没有被执行，现在的方法可以把unwind destination删掉么？