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

[Ted Kremenek]

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