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

章磊 ioripolo at gmail.com
Thu Mar 31 19:50:18 PDT 2011


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110401/09d6983b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PostConditionV2.patch
Type: text/x-patch
Size: 2524 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110401/09d6983b/attachment.bin>


More information about the cfe-commits mailing list