Commit 49f34bc0 authored by Till Riedel's avatar Till Riedel
Browse files

new reference since unique nuber output in type graphs works

[r818]
parent 1fb376a0
......@@ -42,12 +42,13 @@ include $(top_srcdir)/MakeTargets
all: $(bin_EXAMPLES) $(topdir)/libfirm.a
$(bin_EXAMPLES): $(topdir)/libfirm.a
run:
$(run_bin_EXAMPLES)
test: realclean all
($(run_bin_EXAMPLES))>run-result.txt
-$(RM) $(REF_DIR)/All_types.vcg $(REF_DIR)/*-type.vcg $(REF_DIR)/*-all.vcg # contains pointers that differ from run to run -- change!!! debug-ints!!
($(DIFF) run-result.txt $(REF_DIR)/run-result.txt) || (echo Libfirm test failed; exit 1)
for g in $(REF_DIR)/*.vcg; do\
($(DIFF) -s `basename $$g` $$g)|| (echo Libfirm test failed; exit 1) \
......@@ -57,5 +58,4 @@ test: realclean all
reference: realclean all
$(RM) $(REF_DIR)/*.vcg
($(run_bin_EXAMPLES))>$(REF_DIR)/run-result.txt
rm All_types.vcg *-type.vcg *-all.vcg # contains pointers that differ from run to run -- change!!! debug-ints!!
install -c -m0644 *.vcg $(REF_DIR)
......@@ -7,39 +7,52 @@ orientation: bottom_to_top
classname 1: "Data"
classname 2: "Block"
classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
node: {title: "0x80a1f28" label: "ent a_elem_ent" color: yellow info1:"automatic allocated
local
uninitialized
non_volatile
existent
"}
edge: { sourcename: "0x80a1f28" targetname: "0x809f7c0" class: 3 label: "type" color: red}
node: {title: "0x80a1eb8" label: "array a"info1: "state: layout_undefined
node: {title: "e20"label: "ent a_elem_ent" color: yellow
info1:"
allocation: automatic allocated
visibility: local
variability: uninitialized
volatility: non_volatile
peculiarity: existent
name: a_elem_ent
ld_name: a_a_elem_ent
offset: -1"
}
edge: { sourcename:"e20" targetname: "t1" class: 3 label: "type" color: red}
node: {title: "t19" label: "array a"info1: "state: layout_undefined
size: -1B,
"}
edge: { sourcename: "0x80a1eb8" targetname: "0x809f7c0" class: 10 label: "arr elt tp" color:green}
edge: { sourcename: "0x80a1eb8" targetname: "0x80a1f28" class: 10 label: "arr ent" color: green}
node: {title: "0x809f7c0" label: "primitive int"info1: "state: layout_fixed,
edge: { sourcename:"t19" targetname: "t1" class: 10 label: "arr elt tp" color:green}
edge: { sourcename:"t19" targetname: "e20" class: 10 label: "arr ent" color: green}
node: {title: "t1" label: "primitive int"info1: "state: layout_fixed,
mode: I,
size: 4B,
"}
node: {title: "0x809f850" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow info1:"static allocated
local
constant
non_volatile
existent
irg = 0x809f8f8 "}
edge: { sourcename: "0x809f850" targetname: "0x809f7e8" class: 3 label: "type" color: red}
edge: { sourcename: "0x809f850" targetname: "1" label: "value "}
node: {title: "1" label: "&(GlobalType_ARRAY-HEAP_EXAMPLE_main)P 1" color: yellow}
node: {title: "0x809d1e0" label: "class GlobalType"info1: "state: layout_undefined
node: {title: "e4"label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow
info1:"
allocation: static allocated
visibility: local
variability: constant
volatility: non_volatile
peculiarity: existent
name: ARRAY-HEAP_EXAMPLE_main
ld_name: GlobalType_ARRAY-HEAP_EXAMPLE_main
offset: -1
irg = g17"
}
edge: { sourcename:"e4" targetname: "t2" class: 3 label: "type" color: red}
edge: { sourcename: "e4" targetname: "n3" label: "value 0 "}
node: {title: "n3" label: "&(GlobalType_ARRAY-HEAP_EXAMPLE_main)P 3" color: yellow}
node: {title: "t0" label: "class GlobalType"info1: "state: layout_undefined
size: -1B,
" color: green}
edge: { sourcename: "0x809d1e0" targetname: "0x809f850" class: 12 label: "member" color:blue}
node: {title: "0x809f7e8" label: "method ARRAY-HEAP_EXAMPLE_main"info1: "state: layout_fixed,
edge: { sourcename:"t0" targetname: "e4" class: 12 label: "member" color:blue}
node: {title: "t2" label: "method ARRAY-HEAP_EXAMPLE_main"info1: "state: layout_fixed,
mode: P,
size: 4B,
"}
edge: { sourcename: "0x809f7e8" targetname: "0x809f7c0" class: 6 label: "res 0" color: green}
edge: { sourcename:"t2" targetname: "t1" class: 6 label: "res 0" color: green}
node: {title: "t5" label: "class ARRAY-HEAP_EXAMPLE_mainframe_tp"info1: "state: layout_undefined
size: -1B,
" color: green}
}
......@@ -7,46 +7,46 @@ orientation: bottom_to_top
classname 1: "Data"
classname 2: "Block"
classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
graph: { title: "31" label: "31" status:clustered color:yellow
edge: {sourcename: "31" targetname: "32" label: "0" color: red}
node: {title: "30" label: "End 30" color: blue}
graph: { title: "n38" label: "38" status:clustered color:yellow
edge: {sourcename: "n38" targetname: "n39" label: "0" color: red}
node: {title: "n37" label: "End 37" color: blue}
}
graph: { title: "33" label: "33" status:clustered color:yellow
edge: {sourcename: "33" targetname: "34" label: "0" color: red}
node: {title: "32" label: "Return 32" }
edge: {sourcename: "32" targetname: "46" label: "0" color: blue}
edge: {sourcename: "32" targetname: "37" label: "1" }
node: {title: "37" label: "ProjI 2 37" color: yellow}
edge: {sourcename: "37" targetname: "38" label: "0" }
node: {title: "38" label: "Load 38" }
edge: {sourcename: "38" targetname: "45" label: "0" color: blue}
edge: {sourcename: "38" targetname: "39" label: "1" }
node: {title: "39" label: "Sel a_elem_ent 39" }
edge: {sourcename: "39" targetname: "45" label: "0" color: blue}
edge: {sourcename: "39" targetname: "41" label: "1" }
edge: {sourcename: "39" targetname: "40" label: "2" }
node: {title: "41" label: "ProjP 2 41" color: yellow}
edge: {sourcename: "41" targetname: "42" label: "0" }
node: {title: "42" label: "Alloc 42" }
edge: {sourcename: "42" targetname: "44" label: "0" color: blue}
edge: {sourcename: "42" targetname: "43" label: "1" }
node: {title: "45" label: "ProjM 0 45" color: yellow}
edge: {sourcename: "45" targetname: "42" label: "0" color: blue}
node: {title: "46" label: "ProjM 0 46" color: yellow}
edge: {sourcename: "46" targetname: "38" label: "0" color: blue}
graph: { title: "n40" label: "40" status:clustered color:yellow
edge: {sourcename: "n40" targetname: "n41" label: "0" color: red}
node: {title: "n39" label: "Return 39" }
edge: {sourcename: "n39" targetname: "n53" label: "0" color: blue}
edge: {sourcename: "n39" targetname: "n44" label: "1" }
node: {title: "n44" label: "ProjI 2 44" color: yellow}
edge: {sourcename: "n44" targetname: "n45" label: "0" }
node: {title: "n45" label: "Load 45" }
edge: {sourcename: "n45" targetname: "n52" label: "0" color: blue}
edge: {sourcename: "n45" targetname: "n46" label: "1" }
node: {title: "n46" label: "Sel a_elem_ent 46" }
edge: {sourcename: "n46" targetname: "n52" label: "0" color: blue}
edge: {sourcename: "n46" targetname: "n48" label: "1" }
edge: {sourcename: "n46" targetname: "n47" label: "2" }
node: {title: "n48" label: "ProjP 2 48" color: yellow}
edge: {sourcename: "n48" targetname: "n49" label: "0" }
node: {title: "n49" label: "Alloc 49" }
edge: {sourcename: "n49" targetname: "n51" label: "0" color: blue}
edge: {sourcename: "n49" targetname: "n50" label: "1" }
node: {title: "n52" label: "ProjM 0 52" color: yellow}
edge: {sourcename: "n52" targetname: "n49" label: "0" color: blue}
node: {title: "n53" label: "ProjM 0 53" color: yellow}
edge: {sourcename: "n53" targetname: "n45" label: "0" color: blue}
}
graph: { title: "35" label: "35" status:clustered color:yellow
edge: {sourcename: "35" targetname: "34" label: "0" color: red}
node: {title: "34" label: "ProjX 0 34" color: yellow}
edge: {sourcename: "34" targetname: "36" label: "0" color: red}
node: {title: "36" label: "Start 36" color: blue}
node: {title: "40" label: "3I 40" color: yellow}
node: {title: "43" label: "40I 43" color: yellow}
node: {title: "44" label: "ProjM 1 44" color: yellow}
edge: {sourcename: "44" targetname: "36" label: "0" color: blue}
graph: { title: "n42" label: "42" status:clustered color:yellow
edge: {sourcename: "n42" targetname: "n41" label: "0" color: red}
node: {title: "n41" label: "ProjX 0 41" color: yellow}
edge: {sourcename: "n41" targetname: "n43" label: "0" color: red}
node: {title: "n43" label: "Start 43" color: blue}
node: {title: "n47" label: "3I 47" color: yellow}
node: {title: "n50" label: "40I 50" color: yellow}
node: {title: "n51" label: "ProjM 1 51" color: yellow}
edge: {sourcename: "n51" targetname: "n43" label: "0" color: blue}
}
node: {title: "50" label: "Bad 50" }
node: {title: "n57" label: "Bad 57" }
}
......@@ -7,91 +7,106 @@ orientation: bottom_to_top
classname 1: "Data"
classname 2: "Block"
classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
graph: { title: "27" label: "27" status:clustered color:yellow
edge: {sourcename: "27" targetname: "28" label: "0" color: red}
node: {title: "26" label: "End 26" color: blue}
graph: { title: "n36" label: "36" status:clustered color:yellow
edge: {sourcename: "n36" targetname: "n37" label: "0" color: red}
node: {title: "n35" label: "End 35" color: blue}
}
graph: { title: "29" label: "29" status:clustered color:yellow
edge: {sourcename: "29" targetname: "30" label: "0" color: red}
node: {title: "28" label: "Return 28" }
edge: {sourcename: "28" targetname: "40" label: "0" color: blue}
edge: {sourcename: "28" targetname: "33" label: "1" }
node: {title: "33" label: "ProjI 2 33" color: yellow}
edge: {sourcename: "33" targetname: "34" label: "0" }
node: {title: "34" label: "Load 34" }
edge: {sourcename: "34" targetname: "39" label: "0" color: blue}
edge: {sourcename: "34" targetname: "35" label: "1" }
node: {title: "35" label: "Sel a_tp_elem_ent 35" }
edge: {sourcename: "35" targetname: "39" label: "0" color: blue}
edge: {sourcename: "35" targetname: "37" label: "1" }
edge: {sourcename: "35" targetname: "36" label: "2" }
node: {title: "37" label: "Sel a 37" }
edge: {sourcename: "37" targetname: "39" label: "0" color: blue}
edge: {sourcename: "37" targetname: "38" label: "1" }
node: {title: "40" label: "ProjM 0 40" color: yellow}
edge: {sourcename: "40" targetname: "34" label: "0" color: blue}
graph: { title: "n38" label: "38" status:clustered color:yellow
edge: {sourcename: "n38" targetname: "n39" label: "0" color: red}
node: {title: "n37" label: "Return 37" }
edge: {sourcename: "n37" targetname: "n49" label: "0" color: blue}
edge: {sourcename: "n37" targetname: "n42" label: "1" }
node: {title: "n42" label: "ProjI 2 42" color: yellow}
edge: {sourcename: "n42" targetname: "n43" label: "0" }
node: {title: "n43" label: "Load 43" }
edge: {sourcename: "n43" targetname: "n48" label: "0" color: blue}
edge: {sourcename: "n43" targetname: "n44" label: "1" }
node: {title: "n44" label: "Sel a_tp_elem_ent 44" }
edge: {sourcename: "n44" targetname: "n48" label: "0" color: blue}
edge: {sourcename: "n44" targetname: "n46" label: "1" }
edge: {sourcename: "n44" targetname: "n45" label: "2" }
node: {title: "n46" label: "Sel a 46" }
edge: {sourcename: "n46" targetname: "n48" label: "0" color: blue}
edge: {sourcename: "n46" targetname: "n47" label: "1" }
node: {title: "n49" label: "ProjM 0 49" color: yellow}
edge: {sourcename: "n49" targetname: "n43" label: "0" color: blue}
}
graph: { title: "31" label: "31" status:clustered color:yellow
edge: {sourcename: "31" targetname: "30" label: "0" color: red}
node: {title: "30" label: "ProjX 0 30" color: yellow}
edge: {sourcename: "30" targetname: "32" label: "0" color: red}
node: {title: "32" label: "Start 32" color: blue}
node: {title: "36" label: "3I 36" color: yellow}
node: {title: "38" label: "ProjP 2 38" color: yellow}
edge: {sourcename: "38" targetname: "32" label: "0" }
node: {title: "39" label: "ProjM 1 39" color: yellow}
edge: {sourcename: "39" targetname: "32" label: "0" color: blue}
graph: { title: "n40" label: "40" status:clustered color:yellow
edge: {sourcename: "n40" targetname: "n39" label: "0" color: red}
node: {title: "n39" label: "ProjX 0 39" color: yellow}
edge: {sourcename: "n39" targetname: "n41" label: "0" color: red}
node: {title: "n41" label: "Start 41" color: blue}
node: {title: "n45" label: "3I 45" color: yellow}
node: {title: "n47" label: "ProjP 2 47" color: yellow}
edge: {sourcename: "n47" targetname: "n41" label: "0" }
node: {title: "n48" label: "ProjM 1 48" color: yellow}
edge: {sourcename: "n48" targetname: "n41" label: "0" color: blue}
}
node: {title: "43" label: "Bad 43" }
node: {title: "0x80a1f88" label: "ent a_tp_elem_ent" color: yellow info1:"automatic allocated
local
uninitialized
non_volatile
existent
"}
edge: { sourcename: "0x80a1f88" targetname: "0x809f7a0" class: 3 label: "type" color: red}
node: {title: "0x80a1f10" label: "array a_tp"info1: "state: layout_undefined
node: {title: "n52" label: "Bad 52" }
node: {title: "e21"label: "ent a_tp_elem_ent" color: yellow
info1:"
allocation: automatic allocated
visibility: local
variability: uninitialized
volatility: non_volatile
peculiarity: existent
name: a_tp_elem_ent
ld_name: a_tp_a_tp_elem_ent
offset: -1"
}
edge: { sourcename:"e21" targetname: "t1" class: 3 label: "type" color: red}
node: {title: "t20" label: "array a_tp"info1: "state: layout_undefined
size: -1B,
"}
edge: { sourcename: "0x80a1f10" targetname: "0x809f7a0" class: 10 label: "arr elt tp" color:green}
edge: { sourcename: "0x80a1f10" targetname: "0x80a1f88" class: 10 label: "arr ent" color: green}
node: {title: "0x809f7a0" label: "primitive int"info1: "state: layout_fixed,
edge: { sourcename:"t20" targetname: "t1" class: 10 label: "arr elt tp" color:green}
edge: { sourcename:"t20" targetname: "e21" class: 10 label: "arr ent" color: green}
node: {title: "t1" label: "primitive int"info1: "state: layout_fixed,
mode: I,
size: 4B,
"}
node: {title: "0x80a2010" label: "ent a" color: yellow info1:"automatic allocated
local
uninitialized
non_volatile
existent
"}
edge: { sourcename: "0x80a2010" targetname: "0x80a1f10" class: 3 label: "type" color: red}
node: {title: "0x80a1e38" label: "class mainframe_tp"info1: "state: layout_undefined
node: {title: "e24"label: "ent a" color: yellow
info1:"
allocation: automatic allocated
visibility: local
variability: uninitialized
volatility: non_volatile
peculiarity: existent
name: a
ld_name: mainframe_tp_a
offset: -1"
}
edge: { sourcename:"e24" targetname: "t20" class: 3 label: "type" color: red}
node: {title: "t6" label: "class mainframe_tp"info1: "state: layout_undefined
size: -1B,
" color: green}
edge: { sourcename: "0x80a1e38" targetname: "0x80a2010" class: 12 label: "member" color:blue}
node: {title: "0x809f8a8" label: "ent main" color: yellow info1:"static allocated
local
constant
non_volatile
existent
irg = 0x809f950 "}
edge: { sourcename: "0x809f8a8" targetname: "0x809f848" class: 3 label: "type" color: red}
edge: { sourcename: "0x809f8a8" targetname: "1" label: "value "}
node: {title: "1" label: "&(ARRAY-STACK_EXAMPLE_main)P 1" color: yellow}
node: {title: "0x809f7c8" label: "class ARRAY-STACK_EXAMPLE"info1: "state: layout_undefined
edge: { sourcename:"t6" targetname: "e24" class: 12 label: "member" color:blue}
node: {title: "e5"label: "ent main" color: yellow
info1:"
allocation: static allocated
visibility: local
variability: constant
volatility: non_volatile
peculiarity: existent
name: main
ld_name: ARRAY-STACK_EXAMPLE_main
offset: -1
irg = g18"
}
edge: { sourcename:"e5" targetname: "t3" class: 3 label: "type" color: red}
edge: { sourcename: "e5" targetname: "n4" label: "value 0 "}
node: {title: "n4" label: "&(ARRAY-STACK_EXAMPLE_main)P 4" color: yellow}
node: {title: "t2" label: "class ARRAY-STACK_EXAMPLE"info1: "state: layout_undefined
size: -1B,
" color: green}
edge: { sourcename: "0x809f7c8" targetname: "0x809f8a8" class: 12 label: "member" color:blue}
node: {title: "0x809f848" label: "method main"info1: "state: layout_fixed,
edge: { sourcename:"t2" targetname: "e5" class: 12 label: "member" color:blue}
node: {title: "t3" label: "method main"info1: "state: layout_fixed,
mode: P,
size: 4B,
"}
edge: { sourcename: "0x809f848" targetname: "0x809f7a0" class: 6 label: "res 0" color: green}
edge: { sourcename: "35" targetname: "0x80a1f88" class: 2 priority: 2 linestyle: dotted}
edge: { sourcename: "37" targetname: "0x80a2010" class: 2 priority: 2 linestyle: dotted}
edge: { sourcename:"t3" targetname: "t1" class: 6 label: "res 0" color: green}
edge: { sourcename: "n44" targetname: "0x80a1908" class: 2 priority: 2 linestyle: dotted}
edge: { sourcename: "n46" targetname: "0x80a1990" class: 2 priority: 2 linestyle: dotted}
}
......@@ -17,78 +17,98 @@ classname 10: "Array Element Type"
classname 11: "Overwrites"
classname 12: "Member"
node: {title: "0x809fe40" label: "primitive int"info1: "state: layout_fixed,
node: {title: "t1" label: "primitive int"info1: "state: layout_fixed,
mode: I,
size: 4B,
"}
node: {title: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined
node: {title: "t2" label: "class PRIMA"info1: "state: layout_undefined
size: -1B,
" color: green}
edge: { sourcename: "0x809fe68" targetname: "0x809ff18" class: 12 label: "member" color:blue}
edge: { sourcename: "0x809fe68" targetname: "0x80a0038" class: 12 label: "member" color:blue}
edge: { sourcename: "0x809fe68" targetname: "0x80a0110" class: 12 label: "member" color:blue}
node: {title: "0x809ff18" label: "ent a" color: yellow info1:"automatic allocated
local
uninitialized
non_volatile
existent
"}
edge: { sourcename: "0x809ff18" targetname: "0x809fe40" class: 3 label: "type" color: red}
node: {title: "0x80a0038" label: "ent set_a" color: yellow info1:"static allocated
local
constant
non_volatile
existent
irg = 0x80a2880 "}
edge: { sourcename: "0x80a0038" targetname: "0x809ffc0" class: 3 label: "type" color: red}
edge: { sourcename: "0x80a0038" targetname: "1" label: "value "}
node: {title: "1" label: "&(PRIMA_set_a)P 1" color: yellow}
node: {title: "0x809ffc0" label: "method set_a"info1: "state: layout_fixed,
edge: { sourcename:"t2" targetname: "e4" class: 12 label: "member" color:blue}
edge: { sourcename:"t2" targetname: "e7" class: 12 label: "member" color:blue}
edge: { sourcename:"t2" targetname: "e10" class: 12 label: "member" color:blue}
node: {title: "e4"label: "ent a" color: yellow
info1:"
allocation: automatic allocated
visibility: local
variability: uninitialized
volatility: non_volatile
peculiarity: existent
name: a
ld_name: PRIMA_a
offset: -1"
}
edge: { sourcename:"e4" targetname: "t1" class: 3 label: "type" color: red}
node: {title: "e7"label: "ent set_a" color: yellow
info1:"
allocation: static allocated
visibility: local
variability: constant
volatility: non_volatile
peculiarity: existent
name: set_a
ld_name: PRIMA_set_a
offset: -1
irg = g60"
}
edge: { sourcename:"e7" targetname: "t5" class: 3 label: "type" color: red}
edge: { sourcename: "e7" targetname: "n6" label: "value 0 "}
node: {title: "n6" label: "&(PRIMA_set_a)P 6" color: yellow}
node: {title: "t5" label: "method set_a"info1: "state: layout_fixed,
mode: P,
size: 4B,
"}
edge: { sourcename: "0x809ffc0" targetname: "0x809fee8" class: 5 label: "param 0" color: green}
edge: { sourcename: "0x809ffc0" targetname: "0x809fe40" class: 5 label: "param 1" color: green}
node: {title: "0x809fee8" label: "pointer class_prima_ptr"info1: "state: layout_fixed,
edge: { sourcename:"t5" targetname: "t3" class: 5 label: "param 0" color: green}
edge: { sourcename:"t5" targetname: "t1" class: 5 label: "param 1" color: green}
node: {title: "t3" label: "pointer class_prima_ptr"info1: "state: layout_fixed,
mode: P,
size: 4B,
"}
edge: { sourcename: "0x809fee8" targetname: "0x809fe68" class: 9 label: "points to" color:green}
node: {title: "0x80a0110" label: "ent c" color: yellow info1:"static allocated
local
constant
non_volatile
existent
irg = 0x80a4e48 "}
edge: { sourcename: "0x80a0110" targetname: "0x80a00d0" class: 3 label: "type" color: red}
edge: { sourcename: "0x80a0110" targetname: "2" label: "value "}
node: {title: "2" label: "&(PRIMA_c)P 2" color: yellow}
node: {title: "0x80a00d0" label: "method c"info1: "state: layout_fixed,
edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green}
node: {title: "e10"label: "ent c" color: yellow
info1:"
allocation: static allocated
visibility: local
variability: constant
volatility: non_volatile
peculiarity: existent
name: c
ld_name: PRIMA_c
offset: -1
irg = g83"
}
edge: { sourcename:"e10" targetname: "t8" class: 3 label: "type" color: red}
edge: { sourcename: "e10" targetname: "n9" label: "value 0 "}
node: {title: "n9" label: "&(PRIMA_c)P 9" color: yellow}
node: {title: "t8" label: "method c"info1: "state: layout_fixed,
mode: P,
size: 4B,
"}
edge: { sourcename: "0x80a00d0" targetname: "0x809fee8" class: 5 label: "param 0" color: green}
edge: { sourcename: "0x80a00d0" targetname: "0x809fe40" class: 5 label: "param 1" color: green}
edge: { sourcename: "0x80a00d0" targetname: "0x809fe40" class: 6 label: "res 0" color: green}
node: {title: "0x80a0198" label: "method OO_INLINE_EXAMPLE_main"info1: "state: layout_fixed,
edge: { sourcename:"t8" targetname: "t3" class: 5 label: "param 0" color: green}
edge: { sourcename:"t8" targetname: "t1" class: 5 label: "param 1" color: green}
edge: { sourcename:"t8" targetname: "t1" class: 6 label: "res 0" color: green}
node: {title: "t11" label: "method OO_INLINE_EXAMPLE_main"info1: "state: layout_fixed,
mode: P,
size: 4B,
"}
edge: { sourcename: "0x80a0198" targetname: "0x809fe40" class: 6 label: "res 0" color: green}
node: {title: "0x809d860" label: "class GlobalType"info1: "state: layout_undefined
edge: { sourcename:"t11" targetname: "t1" class: 6 label: "res 0" color: green}
node: {title: "t0" label: "class GlobalType"info1: "state: layout_undefined
size: -1B,
" color: green}
edge: { sourcename: "0x809d860" targetname: "0x80a01f8" class: 12 label: "member" color:blue}
node: {title: "0x80a01f8" label: "ent OO_INLINE_EXAMPLE_main" color: yellow info1:"static allocated
local
constant
non_volatile
existent
irg = 0x80a02a0 "}
edge: { sourcename: "0x80a01f8" targetname: "0x80a0198" class: 3 label: "type" color: red}
edge: { sourcename: "0x80a01f8" targetname: "3" label: "value "}
node: {title: "3" label: "&(GlobalType_OO_INLINE_EXAMPLE_main)P 3" color: yellow}
edge: { sourcename:"t0" targetname: "e13" class: 12 label: "member" color:blue}
node: {title: "e13"label: "ent OO_INLINE_EXAMPLE_main" color: yellow
info1:"
allocation: static allocated
visibility: local
variability: constant
volatility: non_volatile
peculiarity: existent
name: OO_INLINE_EXAMPLE_main
ld_name: GlobalType_OO_INLINE_EXAMPLE_main
offset: -1
irg = g26"
}
edge: { sourcename:"e13" targetname: "t11" class: 3 label: "type" color: red}
edge: { sourcename: "e13" targetname: "n12" label: "value 0 "}
node: {title: "n12" label: "&(GlobalType_OO_INLINE_EXAMPLE_main)P 12" color: yellow}
}
......@@ -7,33 +7,33 @@ orientation: bottom_to_top
classname 1: "Data"
classname 2: "Block"
classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
graph: { title: "23" label: "23" status:clustered color:yellow
edge: {sourcename: "23" targetname: "24" label: "0" color: red}
node: {title: "22" label: "End 22" color: blue}
graph: { title: "n32" label: "32" status:clustered color:yellow
edge: {sourcename: "n32" targetname: "n33" label: "0" color: red}
node: {title: "n31" label: "End 31" color: blue}
}
graph: { title: "25" label: "25" status:clustered color:yellow
edge: {sourcename: "25" targetname: "26" label: "0" color: red}
node: {title: "24" label: "Return 24" }
edge: {sourcename: "24" targetname: "29" label: "0" color: blue}
node: {title: "29" label: "ProjM 0 29" color: yellow}
edge: {sourcename: "29" targetname: "30" label: "0" color: blue}
node: {title: "30" label: "Call 30" }
edge: {sourcename: "30" targetname: "33" label: "0" color: blue}
edge: {sourcename: "30" targetname: "32" label: "1" }
edge: {sourcename: "30" targetname: "31" label: "2" }
node: {title: "32" label: "SymC f 32" }
graph: { title: "n34" label: "34" status:clustered color:yellow
edge: {sourcename: "n34" targetname: "n35" label: "0" color: red}
node: {title: "n33" label: "Return 33" }
edge: {sourcename: "n33" targetname: "n38" label: "0" color: blue}
node: {title: "n38" label: "ProjM 0 38" color: yellow}
edge: {sourcename: "n38" targetname: "n39" label: "0" color: blue}
node: {title: "n39" label: "Call 39" }
edge: {sourcename: "n39" targetname: "n42" label: "0" color: blue}
edge: {sourcename: "n39" targetname: "n41" label: "1" }
edge: {sourcename: "n39" targetname: "n40" label: "2" }
node: {title: "n41" label: "SymC f 41" }
}
graph: { title: "27" label: "27" status:clustered color:yellow
edge: {sourcename: "27" targetname: "26" label: "0" color: red}
node: {title: "26" label: "ProjX 0 26" color: yellow}
edge: {sourcename: "26" targetname: "28" label: "0" color: red}
node: {title: "28" label: "Start 28" color: blue}
node: {title: "31" label: "Hello world!P 31" color: yellow}
node: {title: "33" label: "ProjM 1 33" color: yellow}
edge: {sourcename: "33" targetname: "28" label: "0" color: blue}
graph: { title: "n36" label: "36" status:clustered color:yellow
edge: {sourcename: "n36" targetname: "n35" label: "0" color: red}
node: {title: "n35" label: "ProjX 0 35" color: yellow}
edge: {sourcename: "n35" targetname: "n37" label: "0" color: red}
node: {title: "n37" label: "Start 37" color: blue}
node: {title: "n40" label: "Hello world!P 40" color: yellow}
node: {title: "n42" label: "ProjM 1 42" color: yellow}
edge: {sourcename: "n42" targetname: "n37" label: "0" color: blue}
}
node: {title: "37" label: "Bad 37" }
node: {title: "n46" label: "Bad 46" }
}
......@@ -7,75 +7,75 @@ orientation: bottom_to_top
classname 1: "Data"
classname 2: "Block"
classname 3: "Entity type"classname 4: "Entity owner"classname 5: "Method Param"classname 6: "Method Res"classname 7: "Super"classname 8: "Union"classname 9: "Points-to"classname 10: "Array Element Type"classname 11: "Overwrites"classname 12: "Member"
graph: { title: "44" label: "44" status:clustered color:yellow
edge: {sourcename: "44" targetname: "45" label: "0" color: red}
node: {title: "43" label: "End 43" color: blue}
graph: { title: "n50" label: "50" status:clustered color:yellow
edge: {sourcename: "n50" targetname: "n51" label: "0" color: red}
node: {title: "n49" label: "End 49" color: blue}
}
graph: { title: "46" label: "46" status:clustered color:yellow
edge: {sourcename: "46" targetname: "67" label: "0" color: red}
edge: {sourcename: "46" targetname: "47" label: "1" color: red}
node: {title: "45" label: "Return 45" }
edge: {sourcename: "45" targetname: "72" label: "0" color: blue}
edge: {sourcename: "45" targetname: "70" label: "1" }
node: {title: "70" label: "PhiI 70" color: green}
edge: {sourcename: "70" targetname: "71" label: "0" }
edge: {sourcename: "70" targetname: "61" label: "1" }
graph: { title: "n52" label: "52" status:clustered color:yellow
edge: {sourcename: "n52" targetname: "n73" label: "0" color: red}
edge: {sourcename: "n52" targetname: "n53" label: "1" color: red}
node: {title: "n51" label: "Return 51" }
edge: {sourcename: "n51" targetname: "n78" label: "0" color: blue}
edge: {sourcename: "n51" targetname: "n76" label: "1" }
node: {title: "n76" label: "PhiI 76" color: green}
edge: {sourcename: "n76" targetname: "n77" label: "0" }
edge: {sourcename: "n76" targetname: "n67" label: "1" }
}
graph: { title: "48" label: "48" status:clustered color:yellow
edge: {sourcename: "48" targetname: "49" label: "0" color: red}
node: {title: "47" label: "ProjX 0 47" color: yellow}
edge: {sourcename: "47" targetname: "52" label: "0" color: red}
node: {title: "52" label: "Cond 52" }
edge: {sourcename: "52" targetname: "53" label: "0" }