2011-05-02 15:48:29 +08:00
|
|
|
digraph "Scop Graph for 'main' function" {
|
|
|
|
label="Scop Graph for 'main' function";
|
|
|
|
|
2017-02-10 19:46:57 +08:00
|
|
|
Node0x5abfcf0 [shape=record,label="{entry}"];
|
|
|
|
Node0x5abfcf0 -> Node0x5ade060;
|
|
|
|
Node0x5ade060 [shape=record,label="{entry.split}"];
|
|
|
|
Node0x5ade060 -> Node0x5ade0e0;
|
|
|
|
Node0x5ade0e0 [shape=record,label="{for.cond1.preheader}"];
|
|
|
|
Node0x5ade0e0 -> Node0x5ade100;
|
|
|
|
Node0x5ade100 [shape=record,label="{for.body3}"];
|
|
|
|
Node0x5ade100 -> Node0x5ae0020;
|
|
|
|
Node0x5ae0020 [shape=record,label="{for.body8}"];
|
|
|
|
Node0x5ae0020 -> Node0x5ae0020[constraint=false];
|
|
|
|
Node0x5ae0020 -> Node0x5ae0080;
|
|
|
|
Node0x5ae0080 [shape=record,label="{for.inc25}"];
|
|
|
|
Node0x5ae0080 -> Node0x5ade100[constraint=false];
|
|
|
|
Node0x5ae0080 -> Node0x5adfef0;
|
|
|
|
Node0x5adfef0 [shape=record,label="{for.inc28}"];
|
|
|
|
Node0x5adfef0 -> Node0x5ade0e0[constraint=false];
|
|
|
|
Node0x5adfef0 -> Node0x5adff50;
|
|
|
|
Node0x5adff50 [shape=record,label="{for.end30}"];
|
2011-05-02 15:48:29 +08:00
|
|
|
colorscheme = "paired12"
|
2017-02-10 19:46:57 +08:00
|
|
|
subgraph cluster_0x5ad2c80 {
|
2011-05-02 15:48:29 +08:00
|
|
|
label = "";
|
|
|
|
style = solid;
|
|
|
|
color = 1
|
2017-02-10 19:46:57 +08:00
|
|
|
subgraph cluster_0x5ad2e50 {
|
2011-05-02 15:48:29 +08:00
|
|
|
label = "";
|
|
|
|
style = filled;
|
2017-02-10 19:46:57 +08:00
|
|
|
color = 3 subgraph cluster_0x5ad2d00 {
|
2011-05-02 15:48:29 +08:00
|
|
|
label = "";
|
|
|
|
style = solid;
|
|
|
|
color = 5
|
2017-02-10 19:46:57 +08:00
|
|
|
subgraph cluster_0x5ad2dd0 {
|
2011-05-02 15:48:29 +08:00
|
|
|
label = "";
|
|
|
|
style = solid;
|
|
|
|
color = 7
|
2017-02-10 19:46:57 +08:00
|
|
|
Node0x5ae0020;
|
2011-05-02 15:48:29 +08:00
|
|
|
}
|
2017-02-10 19:46:57 +08:00
|
|
|
Node0x5ade100;
|
|
|
|
Node0x5ae0080;
|
2011-05-02 15:48:29 +08:00
|
|
|
}
|
2017-02-10 19:46:57 +08:00
|
|
|
Node0x5ade0e0;
|
|
|
|
Node0x5adfef0;
|
2011-05-02 15:48:29 +08:00
|
|
|
}
|
2017-02-10 19:46:57 +08:00
|
|
|
Node0x5abfcf0;
|
|
|
|
Node0x5ade060;
|
|
|
|
Node0x5adff50;
|
2011-05-02 15:48:29 +08:00
|
|
|
}
|
|
|
|
}
|