[cfe-commits] [Patch] Add a new ProgramPoint PostCondition
Ted Kremenek
kremenek at apple.com
Thu Mar 31 15:29:01 PDT 2011
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
More information about the cfe-commits
mailing list