--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] the meaning of a curve or arc in PDG.



 
I want know what's the meaning of a curve or arc in PDG. Which are data dependence and which are control dependence and so on.
who can help me ,thank you very much.

#include <stdio.h>
int main (int argc, char *argv[])
{
        int i,a;
        for (i = 0; i < 100; i += 1)
        {
            a=0;
            if (a==0)
            {
                continue;
            }
            else
            {
                break;
            }
        }
        return 0;
}

this is the graph.
https://dl.dropbox.com/u/5643881/graph.main.dot.png



--
 Regards,
 Zhang Longqi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120908/af53c182/attachment.html>