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.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
