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