[cfe-dev] How to know which edge the path is traversing?

[Zhongxing Xu]

I use GRCoreEngine to do a path sensitive analysis. For example, I can get
two paths for the program below:

int f(int n) {
  if (n > 0)
    ...
  else
    ...
}

I can use the nodes in EndNodes to get these two paths (by backtracking from
endnodes).
There are two BlockEdgeDst nodes after the block containing the IfStmt "if
(n>0)".
How can I know which path is led by the condition n > 0 or n <= 0? That is,
how can I know which is the "true"/"false" branch edge?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20080516/fde795d8/attachment.html>