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 13:"Control Flow"
11 classname 15:"Dominators"
12 classname 3: "Entity type"
13 classname 4: "Entity owner"
14 classname 5: "Method Param"
15 classname 6: "Method Res"
18 classname 9: "Points-to"
19 classname 10: "Array Element Type"
20 classname 11: "Overwrites"
21 classname 12: "Member"
22 infoname 1: "Attribute"
23 infoname 2: "Verification errors"
25 graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white
26 graph: { title: "n104" label: "Block 104" status:clustered color:yellow
27 edge: {sourcename: "n104" targetname: "n105" label: "0" class:13 color:red}
28 node: {title: "n103" label: "End 103" info1: "visited: 16
29 irg: OO_PROGRAM_EXAMPLE_main
34 graph: { title: "n106" label: "Block 106" status:clustered color:yellow
35 edge: {sourcename: "n106" targetname: "n107" label: "0" class:13 color:red}
36 node: {title: "n105" label: "Return 105" info1: "visited: 16
37 irg: OO_PROGRAM_EXAMPLE_main
39 return in method of type OO_PROGRAM_EXAMPLE_main
41 " info2: "mymode == mode_X && Result X"}
42 edge: {sourcename: "n105" targetname: "n124" label: "0" class:14 color:blue}
43 edge: {sourcename: "n105" targetname: "n110" label: "1" }
44 node: {title: "n124" label: "ProjM 0 124" info1: "visited: 16
45 irg: OO_PROGRAM_EXAMPLE_main
48 edge: {sourcename: "n124" targetname: "n112" label: "0" class:14 color:blue}
49 node: {title: "n110" label: "ProjIs 0 110" info1: "visited: 16
50 irg: OO_PROGRAM_EXAMPLE_main
52 " info2: "(mode == get_type_mode(get_method_res_type(mt, proj))) && Mode of Proj from Call doesn't match mode of result type."color: yellow}
53 edge: {sourcename: "n110" targetname: "n111" label: "0" }
54 node: {title: "n111" label: "ProjT 2 111" info1: "visited: 16
55 irg: OO_PROGRAM_EXAMPLE_main
58 edge: {sourcename: "n111" targetname: "n112" label: "0" }
59 node: {title: "n112" label: "Call 112" info1: "visited: 16
60 irg: OO_PROGRAM_EXAMPLE_main
62 calling method of type c
63 param 0 type: class_prima_ptr
66 " info2: "get_Call_n_params(n) == get_method_n_params(mt) && Number of args for Call doesn't match number of args in non variadic type."}
67 node: {title: "n112n113" label: "0x5Is 113" info1: "visited: 16
68 irg: OO_PROGRAM_EXAMPLE_main
70 Const of type type_unknown
72 edge: {sourcename: "n112" targetname: "n119" label: "0" class:14 color:blue}
73 edge: {sourcename: "n112" targetname: "n118" label: "1" }
74 edge: {sourcename: "n112" targetname: "n114" label: "2" }
75 edge: {sourcename: "n112" targetname: "n112n113" label: "3" }
76 node: {title: "n118" label: "Sel PRIMA_c 118" info1: "visited: 16
77 irg: OO_PROGRAM_EXAMPLE_main
79 Selecting entity of type c
80 from entity of type PRIMA
82 edge: {sourcename: "n118" targetname: "n119" label: "0" class:14 color:blue}
83 edge: {sourcename: "n118" targetname: "n114" label: "1" }
84 node: {title: "n119" label: "ProjM 0 119" info1: "visited: 16
85 irg: OO_PROGRAM_EXAMPLE_main
88 edge: {sourcename: "n119" targetname: "n120" label: "0" class:14 color:blue}
89 node: {title: "n120" label: "Call 120" info1: "visited: 16
90 irg: OO_PROGRAM_EXAMPLE_main
92 calling method of type set_a
93 param 0 type: class_prima_ptr
95 " info2: "get_Call_n_params(n) == get_method_n_params(mt) && Number of args for Call doesn't match number of args in non variadic type."}
96 node: {title: "n120n121" label: "0x2Is 121" info1: "visited: 16
97 irg: OO_PROGRAM_EXAMPLE_main
99 Const of type type_unknown
101 edge: {sourcename: "n120" targetname: "n123" label: "0" class:14 color:blue}
102 edge: {sourcename: "n120" targetname: "n122" label: "1" }
103 edge: {sourcename: "n120" targetname: "n114" label: "2" }
104 edge: {sourcename: "n120" targetname: "n120n121" label: "3" }
105 node: {title: "n122" label: "Sel PRIMA_set_a 122" info1: "visited: 16
106 irg: OO_PROGRAM_EXAMPLE_main
108 Selecting entity of type set_a
109 from entity of type PRIMA
111 edge: {sourcename: "n122" targetname: "n123" label: "0" class:14 color:blue}
112 edge: {sourcename: "n122" targetname: "n114" label: "1" }
113 node: {title: "n123" label: "ProjM 0 123" info1: "visited: 16
114 irg: OO_PROGRAM_EXAMPLE_main
117 edge: {sourcename: "n123" targetname: "n115" label: "0" class:14 color:blue}
118 node: {title: "n114" label: "ProjP 2 114" info1: "visited: 16
119 irg: OO_PROGRAM_EXAMPLE_main
122 edge: {sourcename: "n114" targetname: "n115" label: "0" }
123 node: {title: "n115" label: "Alloc 115" info1: "visited: 16
124 irg: OO_PROGRAM_EXAMPLE_main
126 allocating entity of type PRIMA
128 node: {title: "n115n116" label: "SymC PRIMA size 116" info1: "visited: 16
129 irg: OO_PROGRAM_EXAMPLE_main
132 edge: {sourcename: "n115" targetname: "n117" label: "0" class:14 color:blue}
133 edge: {sourcename: "n115" targetname: "n115n116" label: "1" }
136 graph: { title: "n108" label: "Block 108" status:clustered color:yellow
137 edge: {sourcename: "n108" targetname: "n107" label: "0" class:13 color:red}
138 node: {title: "n117" label: "ProjM 1 117" info1: "visited: 16
139 irg: OO_PROGRAM_EXAMPLE_main
142 edge: {sourcename: "n117" targetname: "n109" label: "0" class:14 color:blue}
143 node: {title: "n107" label: "ProjX 0 107" info1: "visited: 16
144 irg: OO_PROGRAM_EXAMPLE_main
147 edge: {sourcename: "n107" targetname: "n109" label: "0" class:13 color:red}
148 node: {title: "n109" label: "Start 109" info1: "visited: 16
149 irg: OO_PROGRAM_EXAMPLE_main
151 start of method of type OO_PROGRAM_EXAMPLE_main
152 " info2: "mymode == mode_T && Start node"color: blue}