lacc.dot 733 B

12345678910111213141516171819202122
  1. digraph {
  2. node [fontname="Courier_New",fontsize=10,style="setlinewidth(0.1)",shape=record];
  3. edge [fontname="Courier_New",fontsize=10,style="setlinewidth(0.1)"];
  4. label="main"
  5. labelloc="t"
  6. L5 [label="{ \.L5 | j [int] = 0 | i [int] = 0 | i [int] = 0 }"];
  7. L6 [label="{ \.L6 | if argc \> i goto \.L7 }"];
  8. L9 [label="{ \.L9 | return 0 }"];
  9. L7 [label="{ \.L7 | .t2 [* * char] = argv + 8 | p [* char] = *.t2 | .t3 [int] = (int) *p | if .t3 == 45 goto \.L10 }"];
  10. L11 [label="{ \.L11 }"];
  11. L8 [label="{ \.L8 | .t1 [int] = i | i [int] = i + 1 }"];
  12. L8:s -> L6:n;
  13. L11:s -> L8:n;
  14. L10 [label="{ \.L10 | .t4 [int] = j | j [int] = j + 1 }"];
  15. L10:s -> L11:n;
  16. L7:s -> L11:n;
  17. L7:s -> L10:n;
  18. L6:s -> L9:n;
  19. L6:s -> L7:n;
  20. L5:s -> L6:n;
  21. }