r215128 - Mark successors as reachable/unreachable instead of changing the CFG.

[Ted Kremenek]

On Aug 7, 2014, at 12:49 PM, Manuel Klimek <klimek at google.com> wrote:
> 
> Yea, I think the problem is that when we annotate a branch with reachability information, we have to always add a CFG branch at the next higher level branch point until we hit an unannotated branch. I'll add that tomorrow.

Yes, that makes sense.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140807/833dda55/attachment.html>