digraph "Scop Graph for 'init_array' function" {
	label="Scop Graph for 'init_array' function";

	Node0x5ae2570 [shape=record,label="{entry}"];
	Node0x5ae2570 -> Node0x5ae4e90;
	Node0x5ae4e90 [shape=record,label="{entry.split}"];
	Node0x5ae4e90 -> Node0x5ae4f50;
	Node0x5ae4f50 [shape=record,label="{for.cond1.preheader}"];
	Node0x5ae4f50 -> Node0x5ae50e0;
	Node0x5ae50e0 [shape=record,label="{for.body3}"];
	Node0x5ae50e0 -> Node0x5ae50e0[constraint=false];
	Node0x5ae50e0 -> Node0x5ae5100;
	Node0x5ae5100 [shape=record,label="{for.inc17}"];
	Node0x5ae5100 -> Node0x5ae4f50[constraint=false];
	Node0x5ae5100 -> Node0x5ae4ff0;
	Node0x5ae4ff0 [shape=record,label="{for.end19}"];
	colorscheme = "paired12"
        subgraph cluster_0x5ad2dd0 {
          label = "";
          style = solid;
          color = 1
          subgraph cluster_0x5ad2f50 {
            label = "Region can not profitably be optimized!";
            style = solid;
            color = 6
            subgraph cluster_0x5ad30d0 {
              label = "";
              style = solid;
              color = 5
              Node0x5ae50e0;
            }
            Node0x5ae4f50;
            Node0x5ae5100;
          }
          Node0x5ae2570;
          Node0x5ae4e90;
          Node0x5ae4ff0;
        }
}