[cfe-commits] [Patch] Add a new ProgramPoint PostCondition

[Ted Kremenek]

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 <kremenek at apple.com>
> 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
> > cfe-commits at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
> 
> 
> 
> 
> -- 
> Best regards!
> 
> Lei Zhang
> <PostConditionV2.patch>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110402/98d25751/attachment.html>