digraph "Scop Graph for 'init_array' function" {
label="Scop Graph for 'init_array' function";
Node0x7fffdb5cceb0 [shape=record,label="{entry}"];
Node0x7fffdb5cceb0 -> Node0x7fffdb5ccf00;
Node0x7fffdb5ccf00 [shape=record,label="{entry.split}"];
Node0x7fffdb5ccf00 -> Node0x7fffdb5ccf80;
Node0x7fffdb5ccf80 [shape=record,label="{for.cond1.preheader}"];
Node0x7fffdb5ccf80 -> Node0x7fffdb5cd090;
Node0x7fffdb5cd090 [shape=record,label="{for.body3}"];
Node0x7fffdb5cd090 -> Node0x7fffdb5cd090[constraint=false];
Node0x7fffdb5cd090 -> Node0x7fffdb5cd0b0;
Node0x7fffdb5cd0b0 [shape=record,label="{for.inc17}"];
Node0x7fffdb5cd0b0 -> Node0x7fffdb5ccf80[constraint=false];
Node0x7fffdb5cd0b0 -> Node0x7fffdb5cd2a0;
Node0x7fffdb5cd2a0 [shape=record,label="{for.end19}"];
colorscheme = "paired12"
subgraph cluster_0x7fffdb5b8530 {
label = "";
style = solid;
color = 1
subgraph cluster_0x7fffdb5b8f40 {
label = "Region can not profitably be optimized!";
style = solid;
color = 6
subgraph cluster_0x7fffdb5b86a0 {
label = "";
style = solid;
color = 5
Node0x7fffdb5cd090;
}
Node0x7fffdb5ccf80;
Node0x7fffdb5cd0b0;
}
Node0x7fffdb5cceb0;
Node0x7fffdb5ccf00;
Node0x7fffdb5cd2a0;
}
}