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

Zhongxing Xu mymlreader at gmail.com
Fri May 16 07:32:54 PDT 2008

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)

I can use the nodes in EndNodes to get these two paths (by backtracking from
There are two BlockEdgeDst nodes after the block containing the IfStmt "if
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>

More information about the cfe-dev mailing list