Applied in r128784. Thanks! On Mar 31, 2011, at 7:50 PM, 章磊 wrote:
> Hi Ted, > > Sorry about that. Here is the patch i regenerated. > > 2011/4/1 Ted Kremenek <[email protected]> > Hi Lei, > > I think this looks reasonable, but I think you also need to include changes > to CoreEngine.h. My tree doesn't build with this patch since > BranchNodeBuild::generateNode() is not declared in the header. > > Cheers, > Ted > > On Mar 30, 2011, at 7:24 PM, 章磊 wrote: > > > This patch add a new ProgramPoint PostCondition to represent the post > > position of a branch condition, and a new generateNode method to > > BranchNodeBuilder using PostCondition ProgramPoint. This method generate a > > new ExplodedNode but not a new block edge. > > > > This patch is preparation for statistical UncheckedRenturn checker. > > > > I'll appreciate it if there are any advice about this patch. > > > > -- > > Best regards! > > > > Lei Zhang > > <PostCondition.patch>_______________________________________________ > > cfe-commits mailing list > > [email protected] > > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits > > > > > -- > Best regards! > > Lei Zhang > <PostConditionV2.patch>
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
