1 graph: { title: "ir graph of OO_PROGRAM_EXAMPLE_main"
2 display_edge_labels: no
3 layoutalgorithm: mindepth
6 orientation: bottom_to_top
9 classname 3: "Entity type"
10 classname 4: "Entity owner"
11 classname 5: "Method Param"
12 classname 6: "Method Res"
15 classname 9: "Points-to"
16 classname 10: "Array Element Type"
17 classname 11: "Overwrites"
18 classname 12: "Member"
20 node: {title: "n108" label: "Block 108" color: lightyellow info1: "visited: 15
21 irg: OO_PROGRAM_EXAMPLE_main
24 edge: {sourcename: "n108" targetname: "n107" label: "0" color: red}
25 node: {title: "n109" label: "Start 109" color: blue info1: "visited: 15
26 irg: OO_PROGRAM_EXAMPLE_main
28 start of method of type OO_PROGRAM_EXAMPLE_main
30 edge: { sourcename: "n109" targetname: "n108" class: 2 priority: 2 linestyle: dotted}
31 node: {title: "n107" label: "ProjX 0 107" color: yellow info1: "visited: 15
32 irg: OO_PROGRAM_EXAMPLE_main
35 edge: {sourcename: "n107" targetname: "n109" label: "0" color: red}
36 edge: { sourcename: "n107" targetname: "n108" class: 2 priority: 2 linestyle: dotted}
37 node: {title: "n106" label: "Block 106" color: lightyellow info1: "visited: 15
38 irg: OO_PROGRAM_EXAMPLE_main
41 edge: {sourcename: "n106" targetname: "n107" label: "0" color: red}
42 node: {title: "n117" label: "ProjM 1 117" color: yellow info1: "visited: 15
43 irg: OO_PROGRAM_EXAMPLE_main
46 edge: {sourcename: "n117" targetname: "n109" label: "0" color: blue}
47 edge: { sourcename: "n117" targetname: "n108" class: 2 priority: 2 linestyle: dotted}
48 node: {title: "n115" label: "Alloc 115" info1: "visited: 15
49 irg: OO_PROGRAM_EXAMPLE_main
51 allocating entity of type PRIMA
53 node: {title: "n115n116" label: "SymC PRIMA size 116" info1: "visited: 15
54 irg: OO_PROGRAM_EXAMPLE_main
57 edge: {sourcename: "n115" targetname: "n117" label: "0" color: blue}
58 edge: {sourcename: "n115" targetname: "n115n116" label: "1" }
59 edge: { sourcename: "n115" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
60 node: {title: "n114" label: "ProjP 2 114" color: yellow info1: "visited: 15
61 irg: OO_PROGRAM_EXAMPLE_main
64 edge: {sourcename: "n114" targetname: "n115" label: "0" }
65 edge: { sourcename: "n114" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
66 node: {title: "n123" label: "ProjM 0 123" color: yellow info1: "visited: 15
67 irg: OO_PROGRAM_EXAMPLE_main
70 edge: {sourcename: "n123" targetname: "n115" label: "0" color: blue}
71 edge: { sourcename: "n123" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
72 node: {title: "n122" label: "Sel PRIMA_set_a 122" info1: "visited: 15
73 irg: OO_PROGRAM_EXAMPLE_main
75 Selecting entity of type set_a
76 from entity of type PRIMA
78 edge: {sourcename: "n122" targetname: "n123" label: "0" color: blue}
79 edge: {sourcename: "n122" targetname: "n114" label: "1" }
80 edge: { sourcename: "n122" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
81 node: {title: "n120" label: "Call 120" info1: "visited: 15
82 irg: OO_PROGRAM_EXAMPLE_main
84 calling method of type set_a
85 param 0 type: class_prima_ptr
88 node: {title: "n120n121" label: "0x2Is 121" color: yellow info1: "visited: 15
89 irg: OO_PROGRAM_EXAMPLE_main
91 Const of type type_unknown
93 edge: {sourcename: "n120" targetname: "n123" label: "0" color: blue}
94 edge: {sourcename: "n120" targetname: "n122" label: "1" }
95 edge: {sourcename: "n120" targetname: "n114" label: "2" }
96 edge: {sourcename: "n120" targetname: "n120n121" label: "3" }
97 edge: { sourcename: "n120" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
98 node: {title: "n119" label: "ProjM 0 119" color: yellow info1: "visited: 15
99 irg: OO_PROGRAM_EXAMPLE_main
102 edge: {sourcename: "n119" targetname: "n120" label: "0" color: blue}
103 edge: { sourcename: "n119" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
104 node: {title: "n118" label: "Sel PRIMA_c 118" info1: "visited: 15
105 irg: OO_PROGRAM_EXAMPLE_main
107 Selecting entity of type c
108 from entity of type PRIMA
110 edge: {sourcename: "n118" targetname: "n119" label: "0" color: blue}
111 edge: {sourcename: "n118" targetname: "n114" label: "1" }
112 edge: { sourcename: "n118" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
113 node: {title: "n112" label: "Call 112" info1: "visited: 15
114 irg: OO_PROGRAM_EXAMPLE_main
116 calling method of type c
117 param 0 type: class_prima_ptr
121 node: {title: "n112n113" label: "0x5Is 113" color: yellow info1: "visited: 15
122 irg: OO_PROGRAM_EXAMPLE_main
124 Const of type type_unknown
126 edge: {sourcename: "n112" targetname: "n119" label: "0" color: blue}
127 edge: {sourcename: "n112" targetname: "n118" label: "1" }
128 edge: {sourcename: "n112" targetname: "n114" label: "2" }
129 edge: {sourcename: "n112" targetname: "n112n113" label: "3" }
130 edge: { sourcename: "n112" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
131 node: {title: "n111" label: "ProjT 2 111" color: yellow info1: "visited: 15
132 irg: OO_PROGRAM_EXAMPLE_main
135 edge: {sourcename: "n111" targetname: "n112" label: "0" }
136 edge: { sourcename: "n111" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
137 node: {title: "n110" label: "ProjIs 0 110" color: yellow info1: "visited: 15
138 irg: OO_PROGRAM_EXAMPLE_main
141 edge: {sourcename: "n110" targetname: "n111" label: "0" }
142 edge: { sourcename: "n110" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
143 node: {title: "n124" label: "ProjM 0 124" color: yellow info1: "visited: 15
144 irg: OO_PROGRAM_EXAMPLE_main
147 edge: {sourcename: "n124" targetname: "n112" label: "0" color: blue}
148 edge: { sourcename: "n124" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
149 node: {title: "n105" label: "Return 105" info1: "visited: 15
150 irg: OO_PROGRAM_EXAMPLE_main
152 return in method of type OO_PROGRAM_EXAMPLE_main
155 edge: {sourcename: "n105" targetname: "n124" label: "0" color: blue}
156 edge: {sourcename: "n105" targetname: "n110" label: "1" }
157 edge: { sourcename: "n105" targetname: "n106" class: 2 priority: 2 linestyle: dotted}
158 node: {title: "n104" label: "Block 104" color: lightyellow info1: "visited: 15
159 irg: OO_PROGRAM_EXAMPLE_main
162 edge: {sourcename: "n104" targetname: "n105" label: "0" color: red}
163 node: {title: "n103" label: "End 103" color: blue info1: "visited: 15
164 irg: OO_PROGRAM_EXAMPLE_main
167 edge: { sourcename: "n103" targetname: "n104" class: 2 priority: 2 linestyle: dotted}