--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on September 2012 ---
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>