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

[Manuel Klimek]

On Thu, Aug 7, 2014 at 10:04 PM, Ted Kremenek <kremenek at apple.com> wrote:

> 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.
>

I think an even better solution will be to hand down whether the current
branch was forced, and only annotating the successors if all parent
branches have been forced. But I'll need to think through that once more
during the day :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140807/5ba47b96/attachment.html>