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

[Manuel Klimek]

Fixed in r215188.

Ted,
while I have your attention ;) I could also use some help on
http://reviews.llvm.org/D4740. Jordan is doing his best to explain to me
how to solve it / why what I'm doing doesn't make sense, but I'm not yet
understanding (I might be a little dense here). Any hints would be greatly
appreciated :D

Thanks!
/Manuel



On Thu, Aug 7, 2014 at 10:17 PM, Manuel Klimek <klimek at google.com> wrote:

> 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/20140809/092fa5f7/attachment.html>