On Thu, Aug 7, 2014 at 10:04 PM, Ted Kremenek <[email protected]> wrote:
> On Aug 7, 2014, at 12:49 PM, Manuel Klimek <[email protected]> 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 :)
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
