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 <[email protected]> wrote: > 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
