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

[章磊]

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