From 49f34bc048ecc2954943eff7c363bd28dfc21130 Mon Sep 17 00:00:00 2001 From: Till Riedel Date: Wed, 19 Feb 2003 17:18:38 +0000 Subject: [PATCH] new reference since unique nuber output in type graphs works [r818] --- testprograms/Makefile.in | 4 +- .../ARRAY-HEAP_EXAMPLE_main-type.vcg | 63 +++-- .../ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 72 ++--- .../ARRAY-STACK_EXAMPLE_main-all.vcg | 153 ++++++----- testprograms/ref-results/All_types.vcg | 130 +++++---- .../ref-results/CALL_STR_EXAMPLE_main.vcg | 46 ++-- .../ref-results/COND_EXAMPLE_main.vcg | 122 ++++----- .../ref-results/CONST_EVAL_EXAMPLE_main.vcg | 36 +-- .../ref-results/DEAD_BLOCK_main-cfg.vcg | 14 +- testprograms/ref-results/DEAD_BLOCK_main.vcg | 34 +-- testprograms/ref-results/EMPTY_main.vcg | 30 +-- .../ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg | 80 +++--- .../ref-results/GLOBAL_CSE_EXAMPLE_main.vcg | 104 ++++---- .../ref-results/GLOBAL_VAR_main-all.vcg | 131 +++++----- testprograms/ref-results/GLOBAL_VAR_main.vcg | 54 ++-- .../ref-results/IF_ELSE_EXAMPLE_main.vcg | 38 +-- testprograms/ref-results/IF_EXAMPLE_main.vcg | 90 +++---- .../ref-results/IF_WHILE_EXAMPLE_main.vcg | 212 +++++++-------- .../ref-results/IRREGULAR_CF_main-cfg.vcg | 38 +-- .../ref-results/IRREGULAR_CF_main.vcg | 110 ++++---- .../ref-results/IRR_LOOP_main-cfg.vcg | 32 +-- testprograms/ref-results/IRR_LOOP_main.vcg | 138 +++++----- .../ref-results/MEMORY_EXAMPLE_main.vcg | 170 ++++++------ .../OO_INLINE_EXAMPLE_main-all.vcg | 247 ++++++++++-------- .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 106 ++++---- .../OO_PROGRAM_EXAMPLE_main-all.vcg | 245 +++++++++-------- .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 100 +++---- testprograms/ref-results/PRIMA_c-all.vcg | 182 +++++++------ testprograms/ref-results/PRIMA_set_a-all.vcg | 162 +++++++----- .../THREE_CFPRED_EXAMPLE_main-cfg.vcg | 38 +-- .../ref-results/THREE_CFPRED_EXAMPLE_main.vcg | 130 ++++----- .../ref-results/WHILE_EXAMPLE_main.vcg | 102 ++++---- testprograms/ref-results/c.vcg | 80 +++--- testprograms/ref-results/main-type.vcg | 83 +++--- testprograms/ref-results/main.vcg | 66 ++--- testprograms/ref-results/run-result.txt | 3 - testprograms/ref-results/set_a.vcg | 60 ++--- 37 files changed, 1830 insertions(+), 1675 deletions(-) diff --git a/testprograms/Makefile.in b/testprograms/Makefile.in index 04615eb9e..4fb47d711 100644 --- a/testprograms/Makefile.in +++ b/testprograms/Makefile.in @@ -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) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 1d8f362d1..8366b65ec 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -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} } diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index a64674656..2cd28e0b2 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg @@ -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" } } diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg index 95be2b320..5c04e25b7 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg @@ -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} } diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg index d246e61fe..d287f2c53 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -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} } diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg index 858e75b18..1e498f12b 100644 --- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg @@ -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" } } diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg index 2c44d821e..fc3da0218 100644 --- a/testprograms/ref-results/COND_EXAMPLE_main.vcg +++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg @@ -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" } -node: {title: "53" label: "Projb Ne 53" color: yellow} -edge: {sourcename: "53" targetname: "54" label: "0" } -node: {title: "54" label: "CmpT 54" } -edge: {sourcename: "54" targetname: "56" label: "0" } -edge: {sourcename: "54" targetname: "55" label: "1" } -node: {title: "56" label: "AndI 56" } -edge: {sourcename: "56" targetname: "63" label: "0" } -edge: {sourcename: "56" targetname: "57" label: "1" } -node: {title: "57" label: "ConvI 57" } -edge: {sourcename: "57" targetname: "58" label: "0" } -node: {title: "58" label: "Projb Lt 58" color: yellow} -edge: {sourcename: "58" targetname: "59" label: "0" } -node: {title: "59" label: "CmpT 59" } -edge: {sourcename: "59" targetname: "61" label: "0" } -edge: {sourcename: "59" targetname: "60" label: "1" } -node: {title: "61" label: "ProjI 0 61" color: yellow} -edge: {sourcename: "61" targetname: "62" label: "0" } -node: {title: "63" label: "ConvI 63" } -edge: {sourcename: "63" targetname: "64" label: "0" } -node: {title: "64" label: "Projb Gt 64" color: yellow} -edge: {sourcename: "64" targetname: "65" label: "0" } -node: {title: "65" label: "CmpT 65" } -edge: {sourcename: "65" targetname: "61" label: "0" } -edge: {sourcename: "65" targetname: "66" label: "1" } -node: {title: "69" label: "ProjX 1 69" color: yellow} -edge: {sourcename: "69" targetname: "52" label: "0" color: red} +graph: { title: "n54" label: "54" status:clustered color:yellow +edge: {sourcename: "n54" targetname: "n55" label: "0" color: red} +node: {title: "n53" label: "ProjX 0 53" color: yellow} +edge: {sourcename: "n53" targetname: "n58" label: "0" color: red} +node: {title: "n58" label: "Cond 58" } +edge: {sourcename: "n58" targetname: "n59" label: "0" } +node: {title: "n59" label: "Projb Ne 59" color: yellow} +edge: {sourcename: "n59" targetname: "n60" label: "0" } +node: {title: "n60" label: "CmpT 60" } +edge: {sourcename: "n60" targetname: "n62" label: "0" } +edge: {sourcename: "n60" targetname: "n61" label: "1" } +node: {title: "n62" label: "AndI 62" } +edge: {sourcename: "n62" targetname: "n69" label: "0" } +edge: {sourcename: "n62" targetname: "n63" label: "1" } +node: {title: "n63" label: "ConvI 63" } +edge: {sourcename: "n63" targetname: "n64" label: "0" } +node: {title: "n64" label: "Projb Lt 64" color: yellow} +edge: {sourcename: "n64" targetname: "n65" label: "0" } +node: {title: "n65" label: "CmpT 65" } +edge: {sourcename: "n65" targetname: "n67" label: "0" } +edge: {sourcename: "n65" targetname: "n66" label: "1" } +node: {title: "n67" label: "ProjI 0 67" color: yellow} +edge: {sourcename: "n67" targetname: "n68" label: "0" } +node: {title: "n69" label: "ConvI 69" } +edge: {sourcename: "n69" targetname: "n70" label: "0" } +node: {title: "n70" label: "Projb Gt 70" color: yellow} +edge: {sourcename: "n70" targetname: "n71" label: "0" } +node: {title: "n71" label: "CmpT 71" } +edge: {sourcename: "n71" targetname: "n67" label: "0" } +edge: {sourcename: "n71" targetname: "n72" label: "1" } +node: {title: "n75" label: "ProjX 1 75" color: yellow} +edge: {sourcename: "n75" targetname: "n58" label: "0" color: red} } -graph: { title: "50" label: "50" status:clustered color:yellow -edge: {sourcename: "50" targetname: "49" label: "0" color: red} -node: {title: "49" label: "ProjX 0 49" color: yellow} -edge: {sourcename: "49" targetname: "51" label: "0" color: red} -node: {title: "51" label: "Start 51" color: blue} -node: {title: "55" label: "0I 55" color: yellow} -node: {title: "60" label: "10I 60" color: yellow} -node: {title: "62" label: "ProjT 4 62" color: yellow} -edge: {sourcename: "62" targetname: "51" label: "0" } -node: {title: "66" label: "2I 66" color: yellow} -node: {title: "71" label: "1I 71" color: yellow} -node: {title: "72" label: "ProjM 1 72" color: yellow} -edge: {sourcename: "72" targetname: "51" label: "0" color: blue} +graph: { title: "n56" label: "56" status:clustered color:yellow +edge: {sourcename: "n56" targetname: "n55" label: "0" color: red} +node: {title: "n55" label: "ProjX 0 55" color: yellow} +edge: {sourcename: "n55" targetname: "n57" label: "0" color: red} +node: {title: "n57" label: "Start 57" color: blue} +node: {title: "n61" label: "0I 61" color: yellow} +node: {title: "n66" label: "10I 66" color: yellow} +node: {title: "n68" label: "ProjT 4 68" color: yellow} +edge: {sourcename: "n68" targetname: "n57" label: "0" } +node: {title: "n72" label: "2I 72" color: yellow} +node: {title: "n77" label: "1I 77" color: yellow} +node: {title: "n78" label: "ProjM 1 78" color: yellow} +edge: {sourcename: "n78" targetname: "n57" label: "0" color: blue} } -graph: { title: "68" label: "68" status:clustered color:yellow -edge: {sourcename: "68" targetname: "69" label: "0" color: red} -node: {title: "67" label: "Jmp 67" } +graph: { title: "n74" label: "74" status:clustered color:yellow +edge: {sourcename: "n74" targetname: "n75" label: "0" color: red} +node: {title: "n73" label: "Jmp 73" } } -node: {title: "75" label: "Bad 75" } +node: {title: "n81" label: "Bad 81" } } diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg index d2f6027f5..501777d29 100644 --- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg @@ -7,28 +7,28 @@ 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: "29" label: "29" status:clustered color:yellow -edge: {sourcename: "29" targetname: "30" label: "0" color: red} -node: {title: "28" label: "End 28" color: blue} +graph: { title: "n35" label: "35" status:clustered color:yellow +edge: {sourcename: "n35" targetname: "n36" label: "0" color: red} +node: {title: "n34" label: "End 34" color: blue} } -graph: { title: "31" label: "31" status:clustered color:yellow -edge: {sourcename: "31" targetname: "32" label: "0" color: red} -node: {title: "30" label: "Return 30" } -edge: {sourcename: "30" targetname: "36" label: "0" color: blue} -edge: {sourcename: "30" targetname: "35" label: "1" } -edge: {sourcename: "30" targetname: "35" label: "2" } +graph: { title: "n37" label: "37" status:clustered color:yellow +edge: {sourcename: "n37" targetname: "n38" label: "0" color: red} +node: {title: "n36" label: "Return 36" } +edge: {sourcename: "n36" targetname: "n42" label: "0" color: blue} +edge: {sourcename: "n36" targetname: "n41" label: "1" } +edge: {sourcename: "n36" targetname: "n41" label: "2" } } -graph: { title: "33" label: "33" status:clustered color:yellow -edge: {sourcename: "33" targetname: "32" label: "0" color: red} -node: {title: "32" label: "ProjX 0 32" color: yellow} -edge: {sourcename: "32" targetname: "34" label: "0" color: red} -node: {title: "34" label: "Start 34" color: blue} -node: {title: "35" label: "12I 35" color: yellow} -node: {title: "36" label: "ProjM 1 36" color: yellow} -edge: {sourcename: "36" targetname: "34" label: "0" color: blue} +graph: { title: "n39" label: "39" status:clustered color:yellow +edge: {sourcename: "n39" targetname: "n38" label: "0" color: red} +node: {title: "n38" label: "ProjX 0 38" color: yellow} +edge: {sourcename: "n38" targetname: "n40" label: "0" color: red} +node: {title: "n40" label: "Start 40" color: blue} +node: {title: "n41" label: "12I 41" color: yellow} +node: {title: "n42" label: "ProjM 1 42" color: yellow} +edge: {sourcename: "n42" targetname: "n40" label: "0" color: blue} } -node: {title: "40" label: "Bad 40" } +node: {title: "n46" label: "Bad 46" } } diff --git a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg index 2ac0d57c0..e3beed5dd 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg @@ -7,11 +7,11 @@ 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:"50" label: "Block 50" } -edge: { sourcename: "50" targetname: "58" } -node: {title:"58" label: "Block 58" } -edge: { sourcename: "58" targetname: "54" } -node: {title:"54" label: "Block 54" } -edge: { sourcename: "54" targetname: "54" } -node: {title: "53" label: "BadT" } +node: {title:"n56" label: "Block n56" } +edge: { sourcename: "n56" targetname: "n64" } +node: {title:"n64" label: "Block n64" } +edge: { sourcename: "n64" targetname: "n60" } +node: {title:"n60" label: "Block n60" } +edge: { sourcename: "n60" targetname: "n60" } +node: {title: "n59" label: "BadT" } } diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg index 5654e0d16..bdb167c4c 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg @@ -7,27 +7,27 @@ 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: "50" label: "50" status:clustered color:yellow -edge: {sourcename: "50" targetname: "51" label: "0" color: red} -node: {title: "49" label: "End 49" color: blue} +graph: { title: "n56" label: "56" status:clustered color:yellow +edge: {sourcename: "n56" targetname: "n57" label: "0" color: red} +node: {title: "n55" label: "End 55" color: blue} } -graph: { title: "58" label: "58" status:clustered color:yellow -edge: {sourcename: "58" targetname: "55" label: "0" color: red} -node: {title: "51" label: "Return 51" } -edge: {sourcename: "51" targetname: "60" label: "0" color: blue} -edge: {sourcename: "51" targetname: "59" label: "1" } +graph: { title: "n64" label: "64" status:clustered color:yellow +edge: {sourcename: "n64" targetname: "n61" label: "0" color: red} +node: {title: "n57" label: "Return 57" } +edge: {sourcename: "n57" targetname: "n66" label: "0" color: blue} +edge: {sourcename: "n57" targetname: "n65" label: "1" } } -graph: { title: "54" label: "54" status:clustered color:yellow -edge: {sourcename: "54" targetname: "55" label: "0" color: red} -node: {title: "55" label: "ProjX 0 55" color: yellow} -edge: {sourcename: "55" targetname: "56" label: "0" color: red} -node: {title: "56" label: "Start 56" color: blue} -node: {title: "59" label: "2I 59" color: yellow} -node: {title: "60" label: "ProjM 1 60" color: yellow} -edge: {sourcename: "60" targetname: "56" label: "0" color: blue} +graph: { title: "n60" label: "60" status:clustered color:yellow +edge: {sourcename: "n60" targetname: "n61" label: "0" color: red} +node: {title: "n61" label: "ProjX 0 61" color: yellow} +edge: {sourcename: "n61" targetname: "n62" label: "0" color: red} +node: {title: "n62" label: "Start 62" color: blue} +node: {title: "n65" label: "2I 65" color: yellow} +node: {title: "n66" label: "ProjM 1 66" color: yellow} +edge: {sourcename: "n66" targetname: "n62" label: "0" color: blue} } -node: {title: "53" label: "Bad 53" } +node: {title: "n59" label: "Bad 59" } } diff --git a/testprograms/ref-results/EMPTY_main.vcg b/testprograms/ref-results/EMPTY_main.vcg index 0db0dfc70..a52737fe8 100644 --- a/testprograms/ref-results/EMPTY_main.vcg +++ b/testprograms/ref-results/EMPTY_main.vcg @@ -7,25 +7,25 @@ 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: "2" label: "2" status:clustered color:yellow -edge: {sourcename: "2" targetname: "15" label: "0" color: red} -node: {title: "3" label: "End 3" color: blue} +graph: { title: "n5" label: "5" status:clustered color:yellow +edge: {sourcename: "n5" targetname: "n19" label: "0" color: red} +node: {title: "n6" label: "End 6" color: blue} } -graph: { title: "13" label: "13" status:clustered color:yellow -edge: {sourcename: "13" targetname: "8" label: "0" color: red} -node: {title: "15" label: "Return 15" } -edge: {sourcename: "15" targetname: "9" label: "0" color: blue} +graph: { title: "n17" label: "17" status:clustered color:yellow +edge: {sourcename: "n17" targetname: "n11" label: "0" color: red} +node: {title: "n19" label: "Return 19" } +edge: {sourcename: "n19" targetname: "n12" label: "0" color: blue} } -graph: { title: "4" label: "4" status:clustered color:yellow -edge: {sourcename: "4" targetname: "8" label: "0" color: red} -node: {title: "8" label: "ProjX 0 8" color: yellow} -edge: {sourcename: "8" targetname: "5" label: "0" color: red} -node: {title: "5" label: "Start 5" color: blue} -node: {title: "9" label: "ProjM 1 9" color: yellow} -edge: {sourcename: "9" targetname: "5" label: "0" color: blue} +graph: { title: "n7" label: "7" status:clustered color:yellow +edge: {sourcename: "n7" targetname: "n11" label: "0" color: red} +node: {title: "n11" label: "ProjX 0 11" color: yellow} +edge: {sourcename: "n11" targetname: "n8" label: "0" color: red} +node: {title: "n8" label: "Start 8" color: blue} +node: {title: "n12" label: "ProjM 1 12" color: yellow} +edge: {sourcename: "n12" targetname: "n8" label: "0" color: blue} } -node: {title: "6" label: "Bad 6" } +node: {title: "n9" label: "Bad 9" } } diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg index a11e46fe5..774b51b50 100644 --- a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg @@ -7,52 +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" -graph: { title: "58" label: "58" status:clustered color:yellow -node: {title: "57" label: "End 57" color: blue} -edge: {sourcename: "57" targetname: "63" label: "0" color: red} -edge: {sourcename: "57" targetname: "69" label: "1" } +graph: { title: "n64" label: "64" status:clustered color:yellow +node: {title: "n63" label: "End 63" color: blue} +edge: {sourcename: "n63" targetname: "n69" label: "0" color: red} +edge: {sourcename: "n63" targetname: "n75" label: "1" } } -graph: { title: "63" label: "63" status:clustered color:yellow -edge: {sourcename: "63" targetname: "67" label: "0" color: red} -edge: {sourcename: "63" targetname: "64" label: "1" color: red} -node: {title: "69" label: "PhiM 69" color: green} -edge: {sourcename: "69" targetname: "80" label: "0" color: blue} -edge: {sourcename: "69" targetname: "70" label: "1" color: blue} -node: {title: "64" label: "Jmp 64" } -node: {title: "70" label: "ProjM 0 70" color: yellow} -edge: {sourcename: "70" targetname: "71" label: "0" color: blue} -node: {title: "71" label: "Store 71" } -edge: {sourcename: "71" targetname: "69" label: "0" color: blue} -edge: {sourcename: "71" targetname: "78" label: "1" } -edge: {sourcename: "71" targetname: "73" label: "2" } -node: {title: "73" label: "PhiI 73" color: green} -edge: {sourcename: "73" targetname: "76" label: "0" } -edge: {sourcename: "73" targetname: "74" label: "1" } -node: {title: "74" label: "PhiI 74" color: green} -edge: {sourcename: "74" targetname: "75" label: "0" } -edge: {sourcename: "74" targetname: "73" label: "1" } +graph: { title: "n69" label: "69" status:clustered color:yellow +edge: {sourcename: "n69" targetname: "n73" label: "0" color: red} +edge: {sourcename: "n69" targetname: "n70" label: "1" color: red} +node: {title: "n75" label: "PhiM 75" color: green} +edge: {sourcename: "n75" targetname: "n86" label: "0" color: blue} +edge: {sourcename: "n75" targetname: "n76" label: "1" color: blue} +node: {title: "n70" label: "Jmp 70" } +node: {title: "n76" label: "ProjM 0 76" color: yellow} +edge: {sourcename: "n76" targetname: "n77" label: "0" color: blue} +node: {title: "n77" label: "Store 77" } +edge: {sourcename: "n77" targetname: "n75" label: "0" color: blue} +edge: {sourcename: "n77" targetname: "n84" label: "1" } +edge: {sourcename: "n77" targetname: "n79" label: "2" } +node: {title: "n79" label: "PhiI 79" color: green} +edge: {sourcename: "n79" targetname: "n82" label: "0" } +edge: {sourcename: "n79" targetname: "n80" label: "1" } +node: {title: "n80" label: "PhiI 80" color: green} +edge: {sourcename: "n80" targetname: "n81" label: "0" } +edge: {sourcename: "n80" targetname: "n79" label: "1" } } -graph: { title: "68" label: "68" status:clustered color:yellow -edge: {sourcename: "68" targetname: "61" label: "0" color: red} -node: {title: "67" label: "Jmp 67" } -node: {title: "76" label: "ProjI 0 76" color: yellow} -edge: {sourcename: "76" targetname: "77" label: "0" } +graph: { title: "n74" label: "74" status:clustered color:yellow +edge: {sourcename: "n74" targetname: "n67" label: "0" color: red} +node: {title: "n73" label: "Jmp 73" } +node: {title: "n82" label: "ProjI 0 82" color: yellow} +edge: {sourcename: "n82" targetname: "n83" label: "0" } } -graph: { title: "60" label: "60" status:clustered color:yellow -edge: {sourcename: "60" targetname: "61" label: "0" color: red} -node: {title: "61" label: "ProjX 0 61" color: yellow} -edge: {sourcename: "61" targetname: "62" label: "0" color: red} -node: {title: "62" label: "Start 62" color: blue} -node: {title: "75" label: "1I 75" color: yellow} -node: {title: "77" label: "ProjT 4 77" color: yellow} -edge: {sourcename: "77" targetname: "62" label: "0" } -node: {title: "78" label: "VAR_AP 78" color: yellow} -node: {title: "80" label: "ProjM 1 80" color: yellow} -edge: {sourcename: "80" targetname: "62" label: "0" color: blue} +graph: { title: "n66" label: "66" status:clustered color:yellow +edge: {sourcename: "n66" targetname: "n67" label: "0" color: red} +node: {title: "n67" label: "ProjX 0 67" color: yellow} +edge: {sourcename: "n67" targetname: "n68" label: "0" color: red} +node: {title: "n68" label: "Start 68" color: blue} +node: {title: "n81" label: "1I 81" color: yellow} +node: {title: "n83" label: "ProjT 4 83" color: yellow} +edge: {sourcename: "n83" targetname: "n68" label: "0" } +node: {title: "n84" label: "VAR_AP 84" color: yellow} +node: {title: "n86" label: "ProjM 1 86" color: yellow} +edge: {sourcename: "n86" targetname: "n68" label: "0" color: blue} } -node: {title: "59" label: "Bad 59" } +node: {title: "n65" label: "Bad 65" } } diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg index a7a921389..bcf12fc56 100644 --- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg @@ -7,68 +7,68 @@ 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: "48" label: "48" status:clustered color:yellow -edge: {sourcename: "48" targetname: "49" label: "0" color: red} -node: {title: "47" label: "End 47" color: blue} +graph: { title: "n53" label: "53" status:clustered color:yellow +edge: {sourcename: "n53" targetname: "n54" label: "0" color: red} +node: {title: "n52" label: "End 52" color: blue} } -graph: { title: "50" label: "50" status:clustered color:yellow -edge: {sourcename: "50" targetname: "64" label: "0" color: red} -edge: {sourcename: "50" targetname: "51" label: "1" color: red} -node: {title: "49" label: "Return 49" } -edge: {sourcename: "49" targetname: "72" label: "0" color: blue} -edge: {sourcename: "49" targetname: "67" label: "1" } -node: {title: "67" label: "PhiI 67" color: green} -edge: {sourcename: "67" targetname: "70" label: "0" } -edge: {sourcename: "67" targetname: "68" label: "1" } +graph: { title: "n55" label: "55" status:clustered color:yellow +edge: {sourcename: "n55" targetname: "n69" label: "0" color: red} +edge: {sourcename: "n55" targetname: "n56" label: "1" color: red} +node: {title: "n54" label: "Return 54" } +edge: {sourcename: "n54" targetname: "n77" label: "0" color: blue} +edge: {sourcename: "n54" targetname: "n72" label: "1" } +node: {title: "n72" label: "PhiI 72" color: green} +edge: {sourcename: "n72" targetname: "n75" label: "0" } +edge: {sourcename: "n72" targetname: "n73" label: "1" } } -graph: { title: "52" label: "52" status:clustered color:yellow -edge: {sourcename: "52" targetname: "53" label: "0" color: red} -node: {title: "51" label: "Jmp 51" } +graph: { title: "n57" label: "57" status:clustered color:yellow +edge: {sourcename: "n57" targetname: "n58" label: "0" color: red} +node: {title: "n56" label: "Jmp 56" } } -graph: { title: "54" label: "54" status:clustered color:yellow -edge: {sourcename: "54" targetname: "55" label: "0" color: red} -node: {title: "58" label: "Cond 58" } -edge: {sourcename: "58" targetname: "59" label: "0" } +graph: { title: "n59" label: "59" status:clustered color:yellow +edge: {sourcename: "n59" targetname: "n60" label: "0" color: red} +node: {title: "n63" label: "Cond 63" } +edge: {sourcename: "n63" targetname: "n64" label: "0" } } -graph: { title: "56" label: "56" status:clustered color:yellow -edge: {sourcename: "56" targetname: "55" label: "0" color: red} -node: {title: "57" label: "Start 57" color: blue} +graph: { title: "n61" label: "61" status:clustered color:yellow +edge: {sourcename: "n61" targetname: "n60" label: "0" color: red} +node: {title: "n62" label: "Start 62" color: blue} } -graph: { title: "65" label: "65" status:clustered color:yellow -edge: {sourcename: "65" targetname: "66" label: "0" color: red} -node: {title: "64" label: "Jmp 64" } +graph: { title: "n70" label: "70" status:clustered color:yellow +edge: {sourcename: "n70" targetname: "n71" label: "0" color: red} +node: {title: "n69" label: "Jmp 69" } } -node: {title: "53" label: "ProjX 1 53" color: yellow} -edge: {sourcename: "53" targetname: "58" label: "0" color: red} -node: {title: "55" label: "ProjX 0 55" color: yellow} -edge: {sourcename: "55" targetname: "57" label: "0" color: red} -node: {title: "59" label: "Projb Eq 59" color: yellow} -edge: {sourcename: "59" targetname: "60" label: "0" } -node: {title: "60" label: "CmpT 60" } -edge: {sourcename: "60" targetname: "62" label: "0" } -edge: {sourcename: "60" targetname: "61" label: "1" } -node: {title: "61" label: "2I 61" color: yellow} -node: {title: "62" label: "ProjI 0 62" color: yellow} -edge: {sourcename: "62" targetname: "63" label: "0" } -node: {title: "63" label: "ProjT 4 63" color: yellow} -edge: {sourcename: "63" targetname: "57" label: "0" } -node: {title: "66" label: "ProjX 0 66" color: yellow} -edge: {sourcename: "66" targetname: "58" label: "0" color: red} -node: {title: "68" label: "SubI 68" } -edge: {sourcename: "68" targetname: "62" label: "0" } -edge: {sourcename: "68" targetname: "69" label: "1" } -node: {title: "69" label: "3I 69" color: yellow} -node: {title: "70" label: "AddI 70" } -edge: {sourcename: "70" targetname: "68" label: "0" } -edge: {sourcename: "70" targetname: "71" label: "1" } -node: {title: "71" label: "5I 71" color: yellow} -node: {title: "72" label: "ProjM 1 72" color: yellow} -edge: {sourcename: "72" targetname: "57" label: "0" color: blue} -node: {title: "75" label: "Bad 75" } +node: {title: "n58" label: "ProjX 1 58" color: yellow} +edge: {sourcename: "n58" targetname: "n63" label: "0" color: red} +node: {title: "n60" label: "ProjX 0 60" color: yellow} +edge: {sourcename: "n60" targetname: "n62" label: "0" color: red} +node: {title: "n64" label: "Projb Eq 64" color: yellow} +edge: {sourcename: "n64" targetname: "n65" label: "0" } +node: {title: "n65" label: "CmpT 65" } +edge: {sourcename: "n65" targetname: "n67" label: "0" } +edge: {sourcename: "n65" targetname: "n66" label: "1" } +node: {title: "n66" label: "2I 66" color: yellow} +node: {title: "n67" label: "ProjI 0 67" color: yellow} +edge: {sourcename: "n67" targetname: "n68" label: "0" } +node: {title: "n68" label: "ProjT 4 68" color: yellow} +edge: {sourcename: "n68" targetname: "n62" label: "0" } +node: {title: "n71" label: "ProjX 0 71" color: yellow} +edge: {sourcename: "n71" targetname: "n63" label: "0" color: red} +node: {title: "n73" label: "SubI 73" } +edge: {sourcename: "n73" targetname: "n67" label: "0" } +edge: {sourcename: "n73" targetname: "n74" label: "1" } +node: {title: "n74" label: "3I 74" color: yellow} +node: {title: "n75" label: "AddI 75" } +edge: {sourcename: "n75" targetname: "n73" label: "0" } +edge: {sourcename: "n75" targetname: "n76" label: "1" } +node: {title: "n76" label: "5I 76" color: yellow} +node: {title: "n77" label: "ProjM 1 77" color: yellow} +edge: {sourcename: "n77" targetname: "n62" label: "0" color: blue} +node: {title: "n80" label: "Bad 80" } } diff --git a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg index 7b9a111a8..5f3b97327 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg @@ -7,71 +7,84 @@ 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: "22" label: "End 22" color: blue} -edge: { sourcename: "22" targetname: "23" class: 2 priority: 2 linestyle: dotted} -node: {title: "23" label: "Block 23" color: lightyellow} -edge: {sourcename: "23" targetname: "24" label: "0" color: red} -node: {title: "24" label: "Return 24" } -edge: { sourcename: "24" targetname: "25" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "24" targetname: "29" label: "0" color: blue} -node: {title: "25" label: "Block 25" color: lightyellow} -edge: {sourcename: "25" targetname: "26" label: "0" color: red} -node: {title: "26" label: "ProjX 0 26" color: yellow} -edge: { sourcename: "26" targetname: "27" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "26" targetname: "28" label: "0" color: red} -node: {title: "27" label: "Block 27" color: lightyellow} -edge: {sourcename: "27" targetname: "26" label: "0" color: red} -node: {title: "28" label: "Start 28" color: blue} -edge: { sourcename: "28" targetname: "27" class: 2 priority: 2 linestyle: dotted} -node: {title: "29" label: "ProjM 0 29" color: yellow} -edge: { sourcename: "29" targetname: "25" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "29" targetname: "30" label: "0" color: blue} -node: {title: "30" label: "Store 30" } -edge: { sourcename: "30" targetname: "25" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "30" targetname: "34" label: "0" color: blue} -edge: {sourcename: "30" targetname: "32" label: "1" } -edge: {sourcename: "30" targetname: "31" label: "2" } -node: {title: "31" label: "2I 31" color: yellow} -edge: { sourcename: "31" targetname: "27" class: 2 priority: 2 linestyle: dotted} -node: {title: "32" label: "Sel i 32" } -edge: { sourcename: "32" targetname: "25" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "32" targetname: "34" label: "0" color: blue} -edge: {sourcename: "32" targetname: "33" label: "1" } -node: {title: "33" label: "ProjP 3 33" color: yellow} -edge: { sourcename: "33" targetname: "27" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "33" targetname: "28" label: "0" } -node: {title: "34" label: "ProjM 1 34" color: yellow} -edge: { sourcename: "34" targetname: "27" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "34" targetname: "28" label: "0" color: blue} -node: {title: "0x809f7f8" label: "ent i" color: yellow info1:"automatic allocated -local -uninitialized -non_volatile -existent -"} -edge: { sourcename: "0x809f7f8" targetname: "0x809f6c0" class: 3 label: "type" color: red} -node: {title: "0x809d0e0" label: "class GlobalType"info1: "state: layout_undefined +node: {title: "n28" label: "End 28" color: blue} +edge: { sourcename: "n28" targetname: "n29" class: 2 priority: 2 linestyle: dotted} +node: {title: "n29" label: "Block 29" color: lightyellow} +edge: {sourcename: "n29" targetname: "n30" label: "0" color: red} +node: {title: "n30" label: "Return 30" } +edge: { sourcename: "n30" targetname: "n31" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n30" targetname: "n35" label: "0" color: blue} +node: {title: "n31" label: "Block 31" color: lightyellow} +edge: {sourcename: "n31" targetname: "n32" label: "0" color: red} +node: {title: "n32" label: "ProjX 0 32" color: yellow} +edge: { sourcename: "n32" targetname: "n33" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n32" targetname: "n34" label: "0" color: red} +node: {title: "n33" label: "Block 33" color: lightyellow} +edge: {sourcename: "n33" targetname: "n32" label: "0" color: red} +node: {title: "n34" label: "Start 34" color: blue} +edge: { sourcename: "n34" targetname: "n33" class: 2 priority: 2 linestyle: dotted} +node: {title: "n35" label: "ProjM 0 35" color: yellow} +edge: { sourcename: "n35" targetname: "n31" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n35" targetname: "n36" label: "0" color: blue} +node: {title: "n36" label: "Store 36" } +edge: { sourcename: "n36" targetname: "n31" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n36" targetname: "n40" label: "0" color: blue} +edge: {sourcename: "n36" targetname: "n38" label: "1" } +edge: {sourcename: "n36" targetname: "n37" label: "2" } +node: {title: "n37" label: "2I 37" color: yellow} +edge: { sourcename: "n37" targetname: "n33" class: 2 priority: 2 linestyle: dotted} +node: {title: "n38" label: "Sel i 38" } +edge: { sourcename: "n38" targetname: "n31" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n38" targetname: "n40" label: "0" color: blue} +edge: {sourcename: "n38" targetname: "n39" label: "1" } +node: {title: "n39" label: "ProjP 3 39" color: yellow} +edge: { sourcename: "n39" targetname: "n33" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n39" targetname: "n34" label: "0" } +node: {title: "n40" label: "ProjM 1 40" color: yellow} +edge: { sourcename: "n40" targetname: "n33" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n40" targetname: "n34" label: "0" color: blue} +node: {title: "e5"label: "ent i" color: yellow + info1:" +allocation: automatic allocated +visibility: local +variability: uninitialized +volatility: non_volatile +peculiarity: existent +name: i +ld_name: GlobalType_i +offset: -1" +} +edge: { sourcename:"e5" targetname: "t1" class: 3 label: "type" color: red} +node: {title: "t0" label: "class GlobalType"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809d0e0" targetname: "0x809f750" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809d0e0" targetname: "0x809f7f8" class: 12 label: "member" color:blue} -node: {title: "0x809f750" label: "ent GLOBAL_VAR_main" color: yellow info1:"static allocated -local -constant -non_volatile -existent - - irg = 0x809f890 "} -edge: { sourcename: "0x809f750" targetname: "0x809f6e8" class: 3 label: "type" color: red} -edge: { sourcename: "0x809f750" targetname: "1" label: "value "} -node: {title: "1" label: "&(GlobalType_GLOBAL_VAR_main)P 1" color: yellow} -node: {title: "0x809f6e8" label: "method GLOBAL_VAR_main"info1: "state: layout_fixed, +edge: { sourcename:"t0" targetname: "e4" class: 12 label: "member" color:blue} +edge: { sourcename:"t0" targetname: "e5" class: 12 label: "member" color:blue} +node: {title: "e4"label: "ent GLOBAL_VAR_main" color: yellow + info1:" +allocation: static allocated +visibility: local +variability: constant +volatility: non_volatile +peculiarity: existent +name: GLOBAL_VAR_main +ld_name: GlobalType_GLOBAL_VAR_main +offset: -1 +irg = g18" +} +edge: { sourcename:"e4" targetname: "t2" class: 3 label: "type" color: red} +edge: { sourcename: "e4" targetname: "n3" label: "value 0 "} +node: {title: "n3" label: "&(GlobalType_GLOBAL_VAR_main)P 3" color: yellow} +node: {title: "t2" label: "method GLOBAL_VAR_main"info1: "state: layout_fixed, mode: P, size: 4B, "} -node: {title: "0x809f6c0" label: "primitive int"info1: "state: layout_fixed, +node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -edge: { sourcename: "32" targetname: "0x809f7f8" class: 2 priority: 2 linestyle: dotted} +node: {title: "t6" label: "class GLOBAL_VAR_mainframe_tp"info1: "state: layout_undefined +size: -1B, +" color: green} +edge: { sourcename: "n38" targetname: "0x809f1f0" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg index 8824f87f0..d1a918cb0 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg @@ -7,37 +7,37 @@ 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: "n29" label: "29" status:clustered color:yellow +edge: {sourcename: "n29" targetname: "n30" label: "0" color: red} +node: {title: "n28" label: "End 28" 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: "Store 30" } -edge: {sourcename: "30" targetname: "34" label: "0" color: blue} -edge: {sourcename: "30" targetname: "32" label: "1" } -edge: {sourcename: "30" targetname: "31" label: "2" } -node: {title: "32" label: "Sel i 32" } -edge: {sourcename: "32" targetname: "34" label: "0" color: blue} -edge: {sourcename: "32" targetname: "33" label: "1" } +graph: { title: "n31" label: "31" status:clustered color:yellow +edge: {sourcename: "n31" targetname: "n32" label: "0" color: red} +node: {title: "n30" label: "Return 30" } +edge: {sourcename: "n30" targetname: "n35" label: "0" color: blue} +node: {title: "n35" label: "ProjM 0 35" color: yellow} +edge: {sourcename: "n35" targetname: "n36" label: "0" color: blue} +node: {title: "n36" label: "Store 36" } +edge: {sourcename: "n36" targetname: "n40" label: "0" color: blue} +edge: {sourcename: "n36" targetname: "n38" label: "1" } +edge: {sourcename: "n36" targetname: "n37" label: "2" } +node: {title: "n38" label: "Sel i 38" } +edge: {sourcename: "n38" targetname: "n40" label: "0" color: blue} +edge: {sourcename: "n38" targetname: "n39" label: "1" } } -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: "2I 31" color: yellow} -node: {title: "33" label: "ProjP 3 33" color: yellow} -edge: {sourcename: "33" targetname: "28" label: "0" } -node: {title: "34" label: "ProjM 1 34" color: yellow} -edge: {sourcename: "34" targetname: "28" label: "0" color: blue} +graph: { title: "n33" label: "33" status:clustered color:yellow +edge: {sourcename: "n33" targetname: "n32" label: "0" color: red} +node: {title: "n32" label: "ProjX 0 32" color: yellow} +edge: {sourcename: "n32" targetname: "n34" label: "0" color: red} +node: {title: "n34" label: "Start 34" color: blue} +node: {title: "n37" label: "2I 37" color: yellow} +node: {title: "n39" label: "ProjP 3 39" color: yellow} +edge: {sourcename: "n39" targetname: "n34" label: "0" } +node: {title: "n40" label: "ProjM 1 40" color: yellow} +edge: {sourcename: "n40" targetname: "n34" label: "0" color: blue} } -node: {title: "37" label: "Bad 37" } +node: {title: "n43" label: "Bad 43" } } diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg index 100b25117..834779325 100644 --- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg @@ -7,29 +7,29 @@ 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: "48" label: "48" status:clustered color:yellow -edge: {sourcename: "48" targetname: "49" label: "0" color: red} -node: {title: "47" label: "End 47" color: blue} +graph: { title: "n53" label: "53" status:clustered color:yellow +edge: {sourcename: "n53" targetname: "n54" label: "0" color: red} +node: {title: "n52" label: "End 52" color: blue} } -graph: { title: "52" label: "52" status:clustered color:yellow -edge: {sourcename: "52" targetname: "53" label: "0" color: red} -node: {title: "49" label: "Return 49" } -edge: {sourcename: "49" targetname: "59" label: "0" color: blue} -edge: {sourcename: "49" targetname: "58" label: "1" } -edge: {sourcename: "49" targetname: "57" label: "2" } +graph: { title: "n57" label: "57" status:clustered color:yellow +edge: {sourcename: "n57" targetname: "n58" label: "0" color: red} +node: {title: "n54" label: "Return 54" } +edge: {sourcename: "n54" targetname: "n64" label: "0" color: blue} +edge: {sourcename: "n54" targetname: "n63" label: "1" } +edge: {sourcename: "n54" targetname: "n62" label: "2" } } -graph: { title: "54" label: "54" status:clustered color:yellow -edge: {sourcename: "54" targetname: "53" label: "0" color: red} -node: {title: "53" label: "ProjX 0 53" color: yellow} -edge: {sourcename: "53" targetname: "55" label: "0" color: red} -node: {title: "55" label: "Start 55" color: blue} -node: {title: "57" label: "2I 57" color: yellow} -node: {title: "58" label: "0I 58" color: yellow} -node: {title: "59" label: "ProjM 1 59" color: yellow} -edge: {sourcename: "59" targetname: "55" label: "0" color: blue} +graph: { title: "n59" label: "59" status:clustered color:yellow +edge: {sourcename: "n59" targetname: "n58" label: "0" color: red} +node: {title: "n58" label: "ProjX 0 58" color: yellow} +edge: {sourcename: "n58" targetname: "n60" label: "0" color: red} +node: {title: "n60" label: "Start 60" color: blue} +node: {title: "n62" label: "2I 62" color: yellow} +node: {title: "n63" label: "0I 63" color: yellow} +node: {title: "n64" label: "ProjM 1 64" color: yellow} +edge: {sourcename: "n64" targetname: "n60" label: "0" color: blue} } -node: {title: "56" label: "Bad 56" } +node: {title: "n61" label: "Bad 61" } } diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg index 9a9c526a9..aaaae388a 100644 --- a/testprograms/ref-results/IF_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_EXAMPLE_main.vcg @@ -7,59 +7,59 @@ 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: "2" label: "2" status:clustered color:yellow -edge: {sourcename: "2" targetname: "36" label: "0" color: red} -node: {title: "3" label: "End 3" color: blue} +graph: { title: "n6" label: "6" status:clustered color:yellow +edge: {sourcename: "n6" targetname: "n41" label: "0" color: red} +node: {title: "n7" label: "End 7" color: blue} } -graph: { title: "27" label: "27" status:clustered color:yellow -edge: {sourcename: "27" targetname: "19" label: "0" color: red} -edge: {sourcename: "27" targetname: "26" label: "1" color: red} -node: {title: "36" label: "Return 36" } -edge: {sourcename: "36" targetname: "9" label: "0" color: blue} -edge: {sourcename: "36" targetname: "29" label: "1" } -node: {title: "29" label: "PhiI 29" color: green} -edge: {sourcename: "29" targetname: "14" label: "0" } -edge: {sourcename: "29" targetname: "24" label: "1" } +graph: { title: "n32" label: "32" status:clustered color:yellow +edge: {sourcename: "n32" targetname: "n24" label: "0" color: red} +edge: {sourcename: "n32" targetname: "n31" label: "1" color: red} +node: {title: "n41" label: "Return 41" } +edge: {sourcename: "n41" targetname: "n13" label: "0" color: blue} +edge: {sourcename: "n41" targetname: "n34" label: "1" } +node: {title: "n34" label: "PhiI 34" color: green} +edge: {sourcename: "n34" targetname: "n19" label: "0" } +edge: {sourcename: "n34" targetname: "n29" label: "1" } } -graph: { title: "21" label: "21" status:clustered color:yellow -edge: {sourcename: "21" targetname: "20" label: "0" color: red} -node: {title: "26" label: "Jmp 26" } -node: {title: "24" label: "SubI 24" } -edge: {sourcename: "24" targetname: "14" label: "0" } -edge: {sourcename: "24" targetname: "22" label: "1" } +graph: { title: "n26" label: "26" status:clustered color:yellow +edge: {sourcename: "n26" targetname: "n25" label: "0" color: red} +node: {title: "n31" label: "Jmp 31" } +node: {title: "n29" label: "SubI 29" } +edge: {sourcename: "n29" targetname: "n19" label: "0" } +edge: {sourcename: "n29" targetname: "n27" label: "1" } } -graph: { title: "13" label: "13" status:clustered color:yellow -edge: {sourcename: "13" targetname: "8" label: "0" color: red} -node: {title: "20" label: "ProjX 1 20" color: yellow} -edge: {sourcename: "20" targetname: "18" label: "0" color: red} -node: {title: "18" label: "Cond 18" } -edge: {sourcename: "18" targetname: "17" label: "0" } -node: {title: "17" label: "Projb Eq 17" color: yellow} -edge: {sourcename: "17" targetname: "16" label: "0" } -node: {title: "16" label: "CmpT 16" } -edge: {sourcename: "16" targetname: "14" label: "0" } -edge: {sourcename: "16" targetname: "15" label: "1" } -node: {title: "14" label: "ProjI 0 14" color: yellow} -edge: {sourcename: "14" targetname: "12" label: "0" } -node: {title: "19" label: "ProjX 0 19" color: yellow} -edge: {sourcename: "19" targetname: "18" label: "0" color: red} +graph: { title: "n18" label: "18" status:clustered color:yellow +edge: {sourcename: "n18" targetname: "n12" label: "0" color: red} +node: {title: "n25" label: "ProjX 1 25" color: yellow} +edge: {sourcename: "n25" targetname: "n23" label: "0" color: red} +node: {title: "n23" label: "Cond 23" } +edge: {sourcename: "n23" targetname: "n22" label: "0" } +node: {title: "n22" label: "Projb Eq 22" color: yellow} +edge: {sourcename: "n22" targetname: "n21" label: "0" } +node: {title: "n21" label: "CmpT 21" } +edge: {sourcename: "n21" targetname: "n19" label: "0" } +edge: {sourcename: "n21" targetname: "n20" label: "1" } +node: {title: "n19" label: "ProjI 0 19" color: yellow} +edge: {sourcename: "n19" targetname: "n16" label: "0" } +node: {title: "n24" label: "ProjX 0 24" color: yellow} +edge: {sourcename: "n24" targetname: "n23" label: "0" color: red} } -graph: { title: "4" label: "4" status:clustered color:yellow -edge: {sourcename: "4" targetname: "8" label: "0" color: red} -node: {title: "8" label: "ProjX 0 8" color: yellow} -edge: {sourcename: "8" targetname: "5" label: "0" color: red} -node: {title: "5" label: "Start 5" color: blue} -node: {title: "15" label: "2I 15" color: yellow} -node: {title: "12" label: "ProjT 4 12" color: yellow} -edge: {sourcename: "12" targetname: "5" label: "0" } -node: {title: "22" label: "3I 22" color: yellow} -node: {title: "9" label: "ProjM 1 9" color: yellow} -edge: {sourcename: "9" targetname: "5" label: "0" color: blue} +graph: { title: "n8" label: "8" status:clustered color:yellow +edge: {sourcename: "n8" targetname: "n12" label: "0" color: red} +node: {title: "n12" label: "ProjX 0 12" color: yellow} +edge: {sourcename: "n12" targetname: "n9" label: "0" color: red} +node: {title: "n9" label: "Start 9" color: blue} +node: {title: "n20" label: "2I 20" color: yellow} +node: {title: "n16" label: "ProjT 4 16" color: yellow} +edge: {sourcename: "n16" targetname: "n9" label: "0" } +node: {title: "n27" label: "3I 27" color: yellow} +node: {title: "n13" label: "ProjM 1 13" color: yellow} +edge: {sourcename: "n13" targetname: "n9" label: "0" color: blue} } -node: {title: "6" label: "Bad 6" } +node: {title: "n10" label: "Bad 10" } } diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg index 0399e9796..9bcde0bfc 100644 --- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg @@ -7,110 +7,110 @@ 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: "73" label: "Start 73" color: blue} -edge: { sourcename: "73" targetname: "71" class: 2 priority: 2 linestyle: dotted} -node: {title: "72" label: "ProjX 0 72" color: yellow} -edge: { sourcename: "72" targetname: "71" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "72" targetname: "73" label: "0" color: red} -node: {title: "71" label: "Block 71" color: lightyellow} -edge: {sourcename: "71" targetname: "72" label: "0" color: red} -node: {title: "70" label: "0I 70" color: yellow} -edge: { sourcename: "70" targetname: "71" class: 2 priority: 2 linestyle: dotted} -node: {title: "69" label: "CmpT 69" } -edge: { sourcename: "69" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "69" targetname: "70" label: "0" } -edge: {sourcename: "69" targetname: "70" label: "1" } -node: {title: "68" label: "Projb Eq 68" color: yellow} -edge: { sourcename: "68" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "68" targetname: "69" label: "0" } -node: {title: "67" label: "Cond 67" } -edge: { sourcename: "67" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "67" targetname: "68" label: "0" } -node: {title: "66" label: "ProjX 1 66" color: yellow} -edge: { sourcename: "66" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "66" targetname: "67" label: "0" color: red} -node: {title: "65" label: "Block 65" color: lightyellow} -edge: {sourcename: "65" targetname: "66" label: "0" color: red} -node: {title: "64" label: "Jmp 64" } -edge: { sourcename: "64" targetname: "65" class: 2 priority: 2 linestyle: dotted} -node: {title: "75" label: "Block 75" color: lightyellow} -edge: {sourcename: "75" targetname: "72" label: "0" color: red} -node: {title: "74" label: "Jmp 74" } -edge: { sourcename: "74" targetname: "75" class: 2 priority: 2 linestyle: dotted} -node: {title: "63" label: "Block 63" color: lightyellow} -edge: {sourcename: "63" targetname: "74" label: "0" color: red} -edge: {sourcename: "63" targetname: "64" label: "1" color: red} -node: {title: "62" label: "ProjX 0 62" color: yellow} -edge: { sourcename: "62" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "62" targetname: "67" label: "0" color: red} -node: {title: "61" label: "Block 61" color: lightyellow} -edge: {sourcename: "61" targetname: "62" label: "0" color: red} -node: {title: "79" label: "0I 79" color: yellow} -edge: { sourcename: "79" targetname: "71" class: 2 priority: 2 linestyle: dotted} -node: {title: "78" label: "PhiI 78" color: green} -edge: { sourcename: "78" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "78" targetname: "79" label: "0" } -edge: {sourcename: "78" targetname: "77" label: "1" } -node: {title: "80" label: "1I 80" color: yellow} -edge: { sourcename: "80" targetname: "71" class: 2 priority: 2 linestyle: dotted} -node: {title: "77" label: "PhiI 77" color: green} -edge: { sourcename: "77" targetname: "63" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "77" targetname: "80" label: "0" } -edge: {sourcename: "77" targetname: "78" label: "1" } -node: {title: "76" label: "SubI 76" } -edge: { sourcename: "76" targetname: "61" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "76" targetname: "78" label: "0" } -edge: {sourcename: "76" targetname: "77" label: "1" } -node: {title: "81" label: "ProjM 1 81" color: yellow} -edge: { sourcename: "81" targetname: "71" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "81" targetname: "73" label: "0" color: blue} -node: {title: "60" label: "Return 60" } -edge: { sourcename: "60" targetname: "61" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "60" targetname: "81" label: "0" color: blue} -edge: {sourcename: "60" targetname: "76" label: "1" } -node: {title: "59" label: "Block 59" color: lightyellow} -edge: {sourcename: "59" targetname: "60" label: "0" color: red} -node: {title: "58" label: "End 58" color: blue} -edge: { sourcename: "58" targetname: "59" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "73" targetname: "72" color: red linestyle: dashed} -edge: {sourcename: "73" targetname: "81" color: red linestyle: dashed} -edge: {sourcename: "72" targetname: "75" color: red linestyle: dashed} -edge: {sourcename: "72" targetname: "71" color: red linestyle: dashed} -edge: {sourcename: "75" targetname: "74" color: red linestyle: dashed} -edge: {sourcename: "74" targetname: "63" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "66" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "67" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "68" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "69" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "62" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "78" color: red linestyle: dashed} -edge: {sourcename: "63" targetname: "77" color: red linestyle: dashed} -edge: {sourcename: "66" targetname: "65" color: red linestyle: dashed} -edge: {sourcename: "65" targetname: "64" color: red linestyle: dashed} -edge: {sourcename: "64" targetname: "63" color: red linestyle: dashed} -edge: {sourcename: "67" targetname: "66" color: red linestyle: dashed} -edge: {sourcename: "67" targetname: "62" color: red linestyle: dashed} -edge: {sourcename: "62" targetname: "61" color: red linestyle: dashed} -edge: {sourcename: "61" targetname: "60" color: red linestyle: dashed} -edge: {sourcename: "61" targetname: "76" color: red linestyle: dashed} -edge: {sourcename: "60" targetname: "59" color: red linestyle: dashed} -edge: {sourcename: "59" targetname: "58" color: red linestyle: dashed} -edge: {sourcename: "76" targetname: "60" color: red linestyle: dashed} -edge: {sourcename: "68" targetname: "67" color: red linestyle: dashed} -edge: {sourcename: "69" targetname: "68" color: red linestyle: dashed} -edge: {sourcename: "78" targetname: "77" color: red linestyle: dashed} -edge: {sourcename: "78" targetname: "76" color: red linestyle: dashed} -edge: {sourcename: "77" targetname: "78" color: red linestyle: dashed} -edge: {sourcename: "77" targetname: "76" color: red linestyle: dashed} -edge: {sourcename: "71" targetname: "72" color: red linestyle: dashed} -edge: {sourcename: "71" targetname: "73" color: red linestyle: dashed} -edge: {sourcename: "71" targetname: "70" color: red linestyle: dashed} -edge: {sourcename: "71" targetname: "81" color: red linestyle: dashed} -edge: {sourcename: "71" targetname: "79" color: red linestyle: dashed} -edge: {sourcename: "71" targetname: "80" color: red linestyle: dashed} -edge: {sourcename: "70" targetname: "69" color: red linestyle: dashed} -edge: {sourcename: "70" targetname: "69" color: red linestyle: dashed} -edge: {sourcename: "81" targetname: "60" color: red linestyle: dashed} -edge: {sourcename: "79" targetname: "78" color: red linestyle: dashed} -edge: {sourcename: "80" targetname: "77" color: red linestyle: dashed} +node: {title: "n79" label: "Start 79" color: blue} +edge: { sourcename: "n79" targetname: "n77" class: 2 priority: 2 linestyle: dotted} +node: {title: "n78" label: "ProjX 0 78" color: yellow} +edge: { sourcename: "n78" targetname: "n77" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n78" targetname: "n79" label: "0" color: red} +node: {title: "n77" label: "Block 77" color: lightyellow} +edge: {sourcename: "n77" targetname: "n78" label: "0" color: red} +node: {title: "n76" label: "0I 76" color: yellow} +edge: { sourcename: "n76" targetname: "n77" class: 2 priority: 2 linestyle: dotted} +node: {title: "n75" label: "CmpT 75" } +edge: { sourcename: "n75" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n75" targetname: "n76" label: "0" } +edge: {sourcename: "n75" targetname: "n76" label: "1" } +node: {title: "n74" label: "Projb Eq 74" color: yellow} +edge: { sourcename: "n74" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n74" targetname: "n75" label: "0" } +node: {title: "n73" label: "Cond 73" } +edge: { sourcename: "n73" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n73" targetname: "n74" label: "0" } +node: {title: "n72" label: "ProjX 1 72" color: yellow} +edge: { sourcename: "n72" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n72" targetname: "n73" label: "0" color: red} +node: {title: "n71" label: "Block 71" color: lightyellow} +edge: {sourcename: "n71" targetname: "n72" label: "0" color: red} +node: {title: "n70" label: "Jmp 70" } +edge: { sourcename: "n70" targetname: "n71" class: 2 priority: 2 linestyle: dotted} +node: {title: "n81" label: "Block 81" color: lightyellow} +edge: {sourcename: "n81" targetname: "n78" label: "0" color: red} +node: {title: "n80" label: "Jmp 80" } +edge: { sourcename: "n80" targetname: "n81" class: 2 priority: 2 linestyle: dotted} +node: {title: "n69" label: "Block 69" color: lightyellow} +edge: {sourcename: "n69" targetname: "n80" label: "0" color: red} +edge: {sourcename: "n69" targetname: "n70" label: "1" color: red} +node: {title: "n68" label: "ProjX 0 68" color: yellow} +edge: { sourcename: "n68" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n68" targetname: "n73" label: "0" color: red} +node: {title: "n67" label: "Block 67" color: lightyellow} +edge: {sourcename: "n67" targetname: "n68" label: "0" color: red} +node: {title: "n85" label: "0I 85" color: yellow} +edge: { sourcename: "n85" targetname: "n77" class: 2 priority: 2 linestyle: dotted} +node: {title: "n84" label: "PhiI 84" color: green} +edge: { sourcename: "n84" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n84" targetname: "n85" label: "0" } +edge: {sourcename: "n84" targetname: "n83" label: "1" } +node: {title: "n86" label: "1I 86" color: yellow} +edge: { sourcename: "n86" targetname: "n77" class: 2 priority: 2 linestyle: dotted} +node: {title: "n83" label: "PhiI 83" color: green} +edge: { sourcename: "n83" targetname: "n69" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n83" targetname: "n86" label: "0" } +edge: {sourcename: "n83" targetname: "n84" label: "1" } +node: {title: "n82" label: "SubI 82" } +edge: { sourcename: "n82" targetname: "n67" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n82" targetname: "n84" label: "0" } +edge: {sourcename: "n82" targetname: "n83" label: "1" } +node: {title: "n87" label: "ProjM 1 87" color: yellow} +edge: { sourcename: "n87" targetname: "n77" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n87" targetname: "n79" label: "0" color: blue} +node: {title: "n66" label: "Return 66" } +edge: { sourcename: "n66" targetname: "n67" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n66" targetname: "n87" label: "0" color: blue} +edge: {sourcename: "n66" targetname: "n82" label: "1" } +node: {title: "n65" label: "Block 65" color: lightyellow} +edge: {sourcename: "n65" targetname: "n66" label: "0" color: red} +node: {title: "n64" label: "End 64" color: blue} +edge: { sourcename: "n64" targetname: "n65" class: 2 priority: 2 linestyle: dotted} +edge: {sourcename: "n79" targetname: "n78" color: red linestyle: dashed} +edge: {sourcename: "n79" targetname: "n87" color: red linestyle: dashed} +edge: {sourcename: "n78" targetname: "n81" color: red linestyle: dashed} +edge: {sourcename: "n78" targetname: "n77" color: red linestyle: dashed} +edge: {sourcename: "n81" targetname: "n80" color: red linestyle: dashed} +edge: {sourcename: "n80" targetname: "n69" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n72" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n73" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n74" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n75" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n68" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n84" color: red linestyle: dashed} +edge: {sourcename: "n69" targetname: "n83" color: red linestyle: dashed} +edge: {sourcename: "n72" targetname: "n71" color: red linestyle: dashed} +edge: {sourcename: "n71" targetname: "n70" color: red linestyle: dashed} +edge: {sourcename: "n70" targetname: "n69" color: red linestyle: dashed} +edge: {sourcename: "n73" targetname: "n72" color: red linestyle: dashed} +edge: {sourcename: "n73" targetname: "n68" color: red linestyle: dashed} +edge: {sourcename: "n68" targetname: "n67" color: red linestyle: dashed} +edge: {sourcename: "n67" targetname: "n66" color: red linestyle: dashed} +edge: {sourcename: "n67" targetname: "n82" color: red linestyle: dashed} +edge: {sourcename: "n66" targetname: "n65" color: red linestyle: dashed} +edge: {sourcename: "n65" targetname: "n64" color: red linestyle: dashed} +edge: {sourcename: "n82" targetname: "n66" color: red linestyle: dashed} +edge: {sourcename: "n74" targetname: "n73" color: red linestyle: dashed} +edge: {sourcename: "n75" targetname: "n74" color: red linestyle: dashed} +edge: {sourcename: "n84" targetname: "n83" color: red linestyle: dashed} +edge: {sourcename: "n84" targetname: "n82" color: red linestyle: dashed} +edge: {sourcename: "n83" targetname: "n84" color: red linestyle: dashed} +edge: {sourcename: "n83" targetname: "n82" color: red linestyle: dashed} +edge: {sourcename: "n77" targetname: "n78" color: red linestyle: dashed} +edge: {sourcename: "n77" targetname: "n79" color: red linestyle: dashed} +edge: {sourcename: "n77" targetname: "n76" color: red linestyle: dashed} +edge: {sourcename: "n77" targetname: "n87" color: red linestyle: dashed} +edge: {sourcename: "n77" targetname: "n85" color: red linestyle: dashed} +edge: {sourcename: "n77" targetname: "n86" color: red linestyle: dashed} +edge: {sourcename: "n76" targetname: "n75" color: red linestyle: dashed} +edge: {sourcename: "n76" targetname: "n75" color: red linestyle: dashed} +edge: {sourcename: "n87" targetname: "n66" color: red linestyle: dashed} +edge: {sourcename: "n85" targetname: "n84" color: red linestyle: dashed} +edge: {sourcename: "n86" targetname: "n83" color: red linestyle: dashed} } diff --git a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg index b3287cc53..ecc086eaa 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg @@ -7,23 +7,23 @@ 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:"49" label: "Block 49" } -edge: { sourcename: "49" targetname: "51" } -node: {title:"51" label: "Block 51" } -edge: { sourcename: "51" targetname: "74" } -edge: { sourcename: "51" targetname: "53" } -node: {title:"53" label: "Block 53" } -edge: { sourcename: "53" targetname: "67" } -edge: { sourcename: "53" targetname: "55" } -node: {title:"55" label: "Block 55" } -edge: { sourcename: "55" targetname: "57" } -node: {title:"57" label: "Block 57" } -edge: { sourcename: "57" targetname: "59" } -node: {title:"59" label: "Block 59" } -edge: { sourcename: "59" targetname: "59" } -node: {title:"67" label: "Block 67" } -edge: { sourcename: "67" targetname: "57" } -node: {title:"74" label: "Block 74" } -edge: { sourcename: "74" targetname: "67" } -node: {title: "80" label: "BadT" } +node: {title:"n54" label: "Block n54" } +edge: { sourcename: "n54" targetname: "n56" } +node: {title:"n56" label: "Block n56" } +edge: { sourcename: "n56" targetname: "n79" } +edge: { sourcename: "n56" targetname: "n58" } +node: {title:"n58" label: "Block n58" } +edge: { sourcename: "n58" targetname: "n72" } +edge: { sourcename: "n58" targetname: "n60" } +node: {title:"n60" label: "Block n60" } +edge: { sourcename: "n60" targetname: "n62" } +node: {title:"n62" label: "Block n62" } +edge: { sourcename: "n62" targetname: "n64" } +node: {title:"n64" label: "Block n64" } +edge: { sourcename: "n64" targetname: "n64" } +node: {title:"n72" label: "Block n72" } +edge: { sourcename: "n72" targetname: "n62" } +node: {title:"n79" label: "Block n79" } +edge: { sourcename: "n79" targetname: "n72" } +node: {title: "n85" label: "BadT" } } diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg index 45cbb7cda..43f5aaa4b 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg @@ -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: "49" label: "49" status:clustered color:yellow -edge: {sourcename: "49" targetname: "50" label: "0" color: red} -node: {title: "48" label: "End 48" color: blue} +graph: { title: "n54" label: "54" status:clustered color:yellow +edge: {sourcename: "n54" targetname: "n55" label: "0" color: red} +node: {title: "n53" label: "End 53" color: blue} } -graph: { title: "51" label: "51" status:clustered color:yellow -edge: {sourcename: "51" targetname: "73" label: "0" color: red} -edge: {sourcename: "51" targetname: "52" label: "1" color: red} -node: {title: "50" label: "Return 50" } -edge: {sourcename: "50" targetname: "76" label: "0" color: blue} +graph: { title: "n56" label: "56" status:clustered color:yellow +edge: {sourcename: "n56" targetname: "n78" label: "0" color: red} +edge: {sourcename: "n56" targetname: "n57" label: "1" color: red} +node: {title: "n55" label: "Return 55" } +edge: {sourcename: "n55" targetname: "n81" label: "0" color: blue} } -graph: { title: "53" label: "53" status:clustered color:yellow -edge: {sourcename: "53" targetname: "66" label: "0" color: red} -edge: {sourcename: "53" targetname: "54" label: "1" color: red} -node: {title: "52" label: "Jmp 52" } +graph: { title: "n58" label: "58" status:clustered color:yellow +edge: {sourcename: "n58" targetname: "n71" label: "0" color: red} +edge: {sourcename: "n58" targetname: "n59" label: "1" color: red} +node: {title: "n57" label: "Jmp 57" } } -graph: { title: "55" label: "55" status:clustered color:yellow -edge: {sourcename: "55" targetname: "56" label: "0" color: red} -node: {title: "54" label: "Jmp 54" } +graph: { title: "n60" label: "60" status:clustered color:yellow +edge: {sourcename: "n60" targetname: "n61" label: "0" color: red} +node: {title: "n59" label: "Jmp 59" } } -graph: { title: "57" label: "57" status:clustered color:yellow -edge: {sourcename: "57" targetname: "58" label: "0" color: red} -node: {title: "56" label: "ProjX 1 56" color: yellow} -edge: {sourcename: "56" targetname: "61" label: "0" color: red} -node: {title: "61" label: "Cond 61" } -edge: {sourcename: "61" targetname: "62" label: "0" } -node: {title: "62" label: "Projb Eq 62" color: yellow} -edge: {sourcename: "62" targetname: "63" label: "0" } -node: {title: "63" label: "CmpT 63" } -edge: {sourcename: "63" targetname: "65" label: "0" } -edge: {sourcename: "63" targetname: "64" label: "1" } -node: {title: "68" label: "ProjX 0 68" color: yellow} -edge: {sourcename: "68" targetname: "61" label: "0" color: red} +graph: { title: "n62" label: "62" status:clustered color:yellow +edge: {sourcename: "n62" targetname: "n63" label: "0" color: red} +node: {title: "n61" label: "ProjX 1 61" color: yellow} +edge: {sourcename: "n61" targetname: "n66" label: "0" color: red} +node: {title: "n66" label: "Cond 66" } +edge: {sourcename: "n66" targetname: "n67" label: "0" } +node: {title: "n67" label: "Projb Eq 67" color: yellow} +edge: {sourcename: "n67" targetname: "n68" label: "0" } +node: {title: "n68" label: "CmpT 68" } +edge: {sourcename: "n68" targetname: "n70" label: "0" } +edge: {sourcename: "n68" targetname: "n69" label: "1" } +node: {title: "n73" label: "ProjX 0 73" color: yellow} +edge: {sourcename: "n73" targetname: "n66" label: "0" color: red} } -graph: { title: "59" label: "59" status:clustered color:yellow -edge: {sourcename: "59" targetname: "58" label: "0" color: red} -node: {title: "58" label: "ProjX 0 58" color: yellow} -edge: {sourcename: "58" targetname: "60" label: "0" color: red} -node: {title: "60" label: "Start 60" color: blue} -node: {title: "64" label: "1I 64" color: yellow} -node: {title: "65" label: "0I 65" color: yellow} -node: {title: "72" label: "2I 72" color: yellow} -node: {title: "76" label: "ProjM 1 76" color: yellow} -edge: {sourcename: "76" targetname: "60" label: "0" color: blue} +graph: { title: "n64" label: "64" status:clustered color:yellow +edge: {sourcename: "n64" targetname: "n63" label: "0" color: red} +node: {title: "n63" label: "ProjX 0 63" color: yellow} +edge: {sourcename: "n63" targetname: "n65" label: "0" color: red} +node: {title: "n65" label: "Start 65" color: blue} +node: {title: "n69" label: "1I 69" color: yellow} +node: {title: "n70" label: "0I 70" color: yellow} +node: {title: "n77" label: "2I 77" color: yellow} +node: {title: "n81" label: "ProjM 1 81" color: yellow} +edge: {sourcename: "n81" targetname: "n65" label: "0" color: blue} } -graph: { title: "67" label: "67" status:clustered color:yellow -edge: {sourcename: "67" targetname: "68" label: "0" color: red} -node: {title: "66" label: "ProjX 1 66" color: yellow} -edge: {sourcename: "66" targetname: "69" label: "0" color: red} -node: {title: "69" label: "Cond 69" } -edge: {sourcename: "69" targetname: "70" label: "0" } -node: {title: "70" label: "Projb Eq 70" color: yellow} -edge: {sourcename: "70" targetname: "71" label: "0" } -node: {title: "71" label: "CmpT 71" } -edge: {sourcename: "71" targetname: "65" label: "0" } -edge: {sourcename: "71" targetname: "72" label: "1" } -node: {title: "75" label: "ProjX 0 75" color: yellow} -edge: {sourcename: "75" targetname: "69" label: "0" color: red} +graph: { title: "n72" label: "72" status:clustered color:yellow +edge: {sourcename: "n72" targetname: "n73" label: "0" color: red} +node: {title: "n71" label: "ProjX 1 71" color: yellow} +edge: {sourcename: "n71" targetname: "n74" label: "0" color: red} +node: {title: "n74" label: "Cond 74" } +edge: {sourcename: "n74" targetname: "n75" label: "0" } +node: {title: "n75" label: "Projb Eq 75" color: yellow} +edge: {sourcename: "n75" targetname: "n76" label: "0" } +node: {title: "n76" label: "CmpT 76" } +edge: {sourcename: "n76" targetname: "n70" label: "0" } +edge: {sourcename: "n76" targetname: "n77" label: "1" } +node: {title: "n80" label: "ProjX 0 80" color: yellow} +edge: {sourcename: "n80" targetname: "n74" label: "0" color: red} } -graph: { title: "74" label: "74" status:clustered color:yellow -edge: {sourcename: "74" targetname: "75" label: "0" color: red} -node: {title: "73" label: "Jmp 73" } +graph: { title: "n79" label: "79" status:clustered color:yellow +edge: {sourcename: "n79" targetname: "n80" label: "0" color: red} +node: {title: "n78" label: "Jmp 78" } } -node: {title: "80" label: "Bad 80" } +node: {title: "n85" label: "Bad 85" } } diff --git a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg index a13614405..5f19d334b 100644 --- a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg +++ b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg @@ -7,20 +7,20 @@ 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:"46" label: "Block 46" } -edge: { sourcename: "46" targetname: "48" } -node: {title:"48" label: "Block 48" } -edge: { sourcename: "48" targetname: "52" } -edge: { sourcename: "48" targetname: "50" } -node: {title:"50" label: "Block 50" } -edge: { sourcename: "50" targetname: "63" } -edge: { sourcename: "50" targetname: "52" } -node: {title:"52" label: "Block 52" } -edge: { sourcename: "52" targetname: "63" } -edge: { sourcename: "52" targetname: "50" } -node: {title:"63" label: "Block 63" } -edge: { sourcename: "63" targetname: "58" } -node: {title:"58" label: "Block 58" } -edge: { sourcename: "58" targetname: "58" } -node: {title: "80" label: "BadT" } +node: {title:"n51" label: "Block n51" } +edge: { sourcename: "n51" targetname: "n53" } +node: {title:"n53" label: "Block n53" } +edge: { sourcename: "n53" targetname: "n57" } +edge: { sourcename: "n53" targetname: "n55" } +node: {title:"n55" label: "Block n55" } +edge: { sourcename: "n55" targetname: "n68" } +edge: { sourcename: "n55" targetname: "n57" } +node: {title:"n57" label: "Block n57" } +edge: { sourcename: "n57" targetname: "n68" } +edge: { sourcename: "n57" targetname: "n55" } +node: {title:"n68" label: "Block n68" } +edge: { sourcename: "n68" targetname: "n63" } +node: {title:"n63" label: "Block n63" } +edge: { sourcename: "n63" targetname: "n63" } +node: {title: "n85" label: "BadT" } } diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg index da7d3d990..e35fdaa3e 100644 --- a/testprograms/ref-results/IRR_LOOP_main.vcg +++ b/testprograms/ref-results/IRR_LOOP_main.vcg @@ -7,85 +7,85 @@ 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: "46" label: "46" status:clustered color:yellow -edge: {sourcename: "46" targetname: "47" label: "0" color: red} -node: {title: "45" label: "End 45" color: blue} +graph: { title: "n51" label: "51" status:clustered color:yellow +edge: {sourcename: "n51" targetname: "n52" label: "0" color: red} +node: {title: "n50" label: "End 50" color: blue} } -graph: { title: "48" label: "48" status:clustered color:yellow -edge: {sourcename: "48" targetname: "72" label: "0" color: red} -edge: {sourcename: "48" targetname: "49" label: "1" color: red} -node: {title: "47" label: "Return 47" } -edge: {sourcename: "47" targetname: "73" label: "0" color: blue} -node: {title: "73" label: "PhiM 73" color: green} -edge: {sourcename: "73" targetname: "75" label: "0" color: blue} -edge: {sourcename: "73" targetname: "74" label: "1" color: blue} +graph: { title: "n53" label: "53" status:clustered color:yellow +edge: {sourcename: "n53" targetname: "n77" label: "0" color: red} +edge: {sourcename: "n53" targetname: "n54" label: "1" color: red} +node: {title: "n52" label: "Return 52" } +edge: {sourcename: "n52" targetname: "n78" label: "0" color: blue} +node: {title: "n78" label: "PhiM 78" color: green} +edge: {sourcename: "n78" targetname: "n80" label: "0" color: blue} +edge: {sourcename: "n78" targetname: "n79" label: "1" color: blue} } -graph: { title: "50" label: "50" status:clustered color:yellow -edge: {sourcename: "50" targetname: "71" label: "0" color: red} -edge: {sourcename: "50" targetname: "51" label: "1" color: red} -node: {title: "49" label: "ProjX 0 49" color: yellow} -edge: {sourcename: "49" targetname: "54" label: "0" color: red} -node: {title: "53" label: "ProjX 1 53" color: yellow} -edge: {sourcename: "53" targetname: "54" label: "0" color: red} -node: {title: "54" label: "Cond 54" } -edge: {sourcename: "54" targetname: "55" label: "0" } -node: {title: "55" label: "Projb Eq 55" color: yellow} -edge: {sourcename: "55" targetname: "56" label: "0" } -node: {title: "56" label: "CmpT 56" } -edge: {sourcename: "56" targetname: "61" label: "0" } -edge: {sourcename: "56" targetname: "57" label: "1" } -node: {title: "74" label: "PhiM 74" color: green} -edge: {sourcename: "74" targetname: "76" label: "0" color: blue} -edge: {sourcename: "74" targetname: "75" label: "1" color: blue} +graph: { title: "n55" label: "55" status:clustered color:yellow +edge: {sourcename: "n55" targetname: "n76" label: "0" color: red} +edge: {sourcename: "n55" targetname: "n56" label: "1" color: red} +node: {title: "n54" label: "ProjX 0 54" color: yellow} +edge: {sourcename: "n54" targetname: "n59" label: "0" color: red} +node: {title: "n58" label: "ProjX 1 58" color: yellow} +edge: {sourcename: "n58" targetname: "n59" label: "0" color: red} +node: {title: "n59" label: "Cond 59" } +edge: {sourcename: "n59" targetname: "n60" label: "0" } +node: {title: "n60" label: "Projb Eq 60" color: yellow} +edge: {sourcename: "n60" targetname: "n61" label: "0" } +node: {title: "n61" label: "CmpT 61" } +edge: {sourcename: "n61" targetname: "n66" label: "0" } +edge: {sourcename: "n61" targetname: "n62" label: "1" } +node: {title: "n79" label: "PhiM 79" color: green} +edge: {sourcename: "n79" targetname: "n81" label: "0" color: blue} +edge: {sourcename: "n79" targetname: "n80" label: "1" color: blue} } -graph: { title: "52" label: "52" status:clustered color:yellow -edge: {sourcename: "52" targetname: "62" label: "0" color: red} -edge: {sourcename: "52" targetname: "53" label: "1" color: red} -node: {title: "51" label: "ProjX 1 51" color: yellow} -edge: {sourcename: "51" targetname: "68" label: "0" color: red} -node: {title: "68" label: "Cond 68" } -edge: {sourcename: "68" targetname: "69" label: "0" } -node: {title: "69" label: "Projb Eq 69" color: yellow} -edge: {sourcename: "69" targetname: "70" label: "0" } -node: {title: "70" label: "CmpT 70" } -edge: {sourcename: "70" targetname: "61" label: "0" } -edge: {sourcename: "70" targetname: "57" label: "1" } -node: {title: "72" label: "ProjX 0 72" color: yellow} -edge: {sourcename: "72" targetname: "68" label: "0" color: red} -node: {title: "75" label: "PhiM 75" color: green} -edge: {sourcename: "75" targetname: "76" label: "0" color: blue} -edge: {sourcename: "75" targetname: "74" label: "1" color: blue} +graph: { title: "n57" label: "57" status:clustered color:yellow +edge: {sourcename: "n57" targetname: "n67" label: "0" color: red} +edge: {sourcename: "n57" targetname: "n58" label: "1" color: red} +node: {title: "n56" label: "ProjX 1 56" color: yellow} +edge: {sourcename: "n56" targetname: "n73" label: "0" color: red} +node: {title: "n73" label: "Cond 73" } +edge: {sourcename: "n73" targetname: "n74" label: "0" } +node: {title: "n74" label: "Projb Eq 74" color: yellow} +edge: {sourcename: "n74" targetname: "n75" label: "0" } +node: {title: "n75" label: "CmpT 75" } +edge: {sourcename: "n75" targetname: "n66" label: "0" } +edge: {sourcename: "n75" targetname: "n62" label: "1" } +node: {title: "n77" label: "ProjX 0 77" color: yellow} +edge: {sourcename: "n77" targetname: "n73" label: "0" color: red} +node: {title: "n80" label: "PhiM 80" color: green} +edge: {sourcename: "n80" targetname: "n81" label: "0" color: blue} +edge: {sourcename: "n80" targetname: "n79" label: "1" color: blue} } -graph: { title: "63" label: "63" status:clustered color:yellow -edge: {sourcename: "63" targetname: "59" label: "0" color: red} -node: {title: "62" label: "ProjX 0 62" color: yellow} -edge: {sourcename: "62" targetname: "64" label: "0" color: red} -node: {title: "64" label: "Cond 64" } -edge: {sourcename: "64" targetname: "65" label: "0" } -node: {title: "65" label: "Projb Eq 65" color: yellow} -edge: {sourcename: "65" targetname: "66" label: "0" } -node: {title: "66" label: "CmpT 66" } -edge: {sourcename: "66" targetname: "61" label: "0" } -edge: {sourcename: "66" targetname: "67" label: "1" } -node: {title: "71" label: "ProjX 1 71" color: yellow} -edge: {sourcename: "71" targetname: "64" label: "0" color: red} +graph: { title: "n68" label: "68" status:clustered color:yellow +edge: {sourcename: "n68" targetname: "n64" label: "0" color: red} +node: {title: "n67" label: "ProjX 0 67" color: yellow} +edge: {sourcename: "n67" targetname: "n69" label: "0" color: red} +node: {title: "n69" label: "Cond 69" } +edge: {sourcename: "n69" targetname: "n70" label: "0" } +node: {title: "n70" label: "Projb Eq 70" color: yellow} +edge: {sourcename: "n70" targetname: "n71" label: "0" } +node: {title: "n71" label: "CmpT 71" } +edge: {sourcename: "n71" targetname: "n66" label: "0" } +edge: {sourcename: "n71" targetname: "n72" label: "1" } +node: {title: "n76" label: "ProjX 1 76" color: yellow} +edge: {sourcename: "n76" targetname: "n69" label: "0" color: red} } -graph: { title: "58" label: "58" status:clustered color:yellow -edge: {sourcename: "58" targetname: "59" label: "0" color: red} -node: {title: "57" label: "2I 57" color: yellow} -node: {title: "59" label: "ProjX 0 59" color: yellow} -edge: {sourcename: "59" targetname: "60" label: "0" color: red} -node: {title: "60" label: "Start 60" color: blue} -node: {title: "61" label: "0I 61" color: yellow} -node: {title: "67" label: "1I 67" color: yellow} -node: {title: "76" label: "ProjM 1 76" color: yellow} -edge: {sourcename: "76" targetname: "60" label: "0" color: blue} +graph: { title: "n63" label: "63" status:clustered color:yellow +edge: {sourcename: "n63" targetname: "n64" label: "0" color: red} +node: {title: "n62" label: "2I 62" color: yellow} +node: {title: "n64" label: "ProjX 0 64" color: yellow} +edge: {sourcename: "n64" targetname: "n65" label: "0" color: red} +node: {title: "n65" label: "Start 65" color: blue} +node: {title: "n66" label: "0I 66" color: yellow} +node: {title: "n72" label: "1I 72" color: yellow} +node: {title: "n81" label: "ProjM 1 81" color: yellow} +edge: {sourcename: "n81" targetname: "n65" label: "0" color: blue} } -node: {title: "80" label: "Bad 80" } +node: {title: "n85" label: "Bad 85" } } diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index b37b4e3f2..9fe2918d9 100644 --- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg +++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg @@ -7,99 +7,99 @@ 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: "59" label: "59" status:clustered color:yellow -edge: {sourcename: "59" targetname: "60" label: "0" color: red} -node: {title: "58" label: "End 58" color: blue} +graph: { title: "n65" label: "65" status:clustered color:yellow +edge: {sourcename: "n65" targetname: "n66" label: "0" color: red} +node: {title: "n64" label: "End 64" color: blue} } -graph: { title: "61" label: "61" status:clustered color:yellow -edge: {sourcename: "61" targetname: "62" label: "0" color: red} -node: {title: "60" label: "Return 60" } -edge: {sourcename: "60" targetname: "95" label: "0" color: blue} -edge: {sourcename: "60" targetname: "93" label: "1" } -node: {title: "93" label: "ProjI 2 93" color: yellow} -edge: {sourcename: "93" targetname: "94" label: "0" } -node: {title: "94" label: "Load 94" } -edge: {sourcename: "94" targetname: "75" label: "0" color: blue} -edge: {sourcename: "94" targetname: "70" label: "1" } -node: {title: "95" label: "ProjM 0 95" color: yellow} -edge: {sourcename: "95" targetname: "94" label: "0" color: blue} +graph: { title: "n67" label: "67" status:clustered color:yellow +edge: {sourcename: "n67" targetname: "n68" label: "0" color: red} +node: {title: "n66" label: "Return 66" } +edge: {sourcename: "n66" targetname: "n101" label: "0" color: blue} +edge: {sourcename: "n66" targetname: "n99" label: "1" } +node: {title: "n99" label: "ProjI 2 99" color: yellow} +edge: {sourcename: "n99" targetname: "n100" label: "0" } +node: {title: "n100" label: "Load 100" } +edge: {sourcename: "n100" targetname: "n81" label: "0" color: blue} +edge: {sourcename: "n100" targetname: "n76" label: "1" } +node: {title: "n101" label: "ProjM 0 101" color: yellow} +edge: {sourcename: "n101" targetname: "n100" label: "0" color: blue} } -graph: { title: "63" label: "63" status:clustered color:yellow -edge: {sourcename: "63" targetname: "92" label: "0" color: red} -edge: {sourcename: "63" targetname: "64" label: "1" color: red} -node: {title: "62" label: "ProjX 1 62" color: yellow} -edge: {sourcename: "62" targetname: "65" label: "0" color: red} -node: {title: "64" label: "ProjX 0 64" color: yellow} -edge: {sourcename: "64" targetname: "65" label: "0" color: red} -node: {title: "65" label: "Cond 65" } -edge: {sourcename: "65" targetname: "66" label: "0" } -node: {title: "66" label: "Projb Gt 66" color: yellow} -edge: {sourcename: "66" targetname: "67" label: "0" } -node: {title: "67" label: "CmpT 67" } -edge: {sourcename: "67" targetname: "90" label: "0" } -edge: {sourcename: "67" targetname: "68" label: "1" } -node: {title: "68" label: "ProjI 2 68" color: yellow} -edge: {sourcename: "68" targetname: "69" label: "0" } -node: {title: "69" label: "Load 69" } -edge: {sourcename: "69" targetname: "74" label: "0" color: blue} -edge: {sourcename: "69" targetname: "70" label: "1" } -node: {title: "74" label: "PhiM 74" color: green} -edge: {sourcename: "74" targetname: "84" label: "0" color: blue} -edge: {sourcename: "74" targetname: "75" label: "1" color: blue} -node: {title: "75" label: "ProjM 0 75" color: yellow} -edge: {sourcename: "75" targetname: "76" label: "0" color: blue} -node: {title: "76" label: "Store 76" } -edge: {sourcename: "76" targetname: "78" label: "0" color: blue} -edge: {sourcename: "76" targetname: "77" label: "1" } -edge: {sourcename: "76" targetname: "68" label: "2" } -node: {title: "78" label: "ProjM 0 78" color: yellow} -edge: {sourcename: "78" targetname: "79" label: "0" color: blue} -node: {title: "79" label: "Store 79" } -edge: {sourcename: "79" targetname: "83" label: "0" color: blue} -edge: {sourcename: "79" targetname: "70" label: "1" } -edge: {sourcename: "79" targetname: "80" label: "2" } -node: {title: "80" label: "ProjI 2 80" color: yellow} -edge: {sourcename: "80" targetname: "81" label: "0" } -node: {title: "81" label: "Load 81" } -edge: {sourcename: "81" targetname: "82" label: "0" color: blue} -edge: {sourcename: "81" targetname: "77" label: "1" } -node: {title: "82" label: "ProjM 0 82" color: yellow} -edge: {sourcename: "82" targetname: "69" label: "0" color: blue} -node: {title: "83" label: "ProjM 0 83" color: yellow} -edge: {sourcename: "83" targetname: "81" label: "0" color: blue} +graph: { title: "n69" label: "69" status:clustered color:yellow +edge: {sourcename: "n69" targetname: "n98" label: "0" color: red} +edge: {sourcename: "n69" targetname: "n70" label: "1" color: red} +node: {title: "n68" label: "ProjX 1 68" color: yellow} +edge: {sourcename: "n68" targetname: "n71" label: "0" color: red} +node: {title: "n70" label: "ProjX 0 70" color: yellow} +edge: {sourcename: "n70" targetname: "n71" label: "0" color: red} +node: {title: "n71" label: "Cond 71" } +edge: {sourcename: "n71" targetname: "n72" label: "0" } +node: {title: "n72" label: "Projb Gt 72" color: yellow} +edge: {sourcename: "n72" targetname: "n73" label: "0" } +node: {title: "n73" label: "CmpT 73" } +edge: {sourcename: "n73" targetname: "n96" label: "0" } +edge: {sourcename: "n73" targetname: "n74" label: "1" } +node: {title: "n74" label: "ProjI 2 74" color: yellow} +edge: {sourcename: "n74" targetname: "n75" label: "0" } +node: {title: "n75" label: "Load 75" } +edge: {sourcename: "n75" targetname: "n80" label: "0" color: blue} +edge: {sourcename: "n75" targetname: "n76" label: "1" } +node: {title: "n80" label: "PhiM 80" color: green} +edge: {sourcename: "n80" targetname: "n90" label: "0" color: blue} +edge: {sourcename: "n80" targetname: "n81" label: "1" color: blue} +node: {title: "n81" label: "ProjM 0 81" color: yellow} +edge: {sourcename: "n81" targetname: "n82" label: "0" color: blue} +node: {title: "n82" label: "Store 82" } +edge: {sourcename: "n82" targetname: "n84" label: "0" color: blue} +edge: {sourcename: "n82" targetname: "n83" label: "1" } +edge: {sourcename: "n82" targetname: "n74" label: "2" } +node: {title: "n84" label: "ProjM 0 84" color: yellow} +edge: {sourcename: "n84" targetname: "n85" label: "0" color: blue} +node: {title: "n85" label: "Store 85" } +edge: {sourcename: "n85" targetname: "n89" label: "0" color: blue} +edge: {sourcename: "n85" targetname: "n76" label: "1" } +edge: {sourcename: "n85" targetname: "n86" label: "2" } +node: {title: "n86" label: "ProjI 2 86" color: yellow} +edge: {sourcename: "n86" targetname: "n87" label: "0" } +node: {title: "n87" label: "Load 87" } +edge: {sourcename: "n87" targetname: "n88" label: "0" color: blue} +edge: {sourcename: "n87" targetname: "n83" label: "1" } +node: {title: "n88" label: "ProjM 0 88" color: yellow} +edge: {sourcename: "n88" targetname: "n75" label: "0" color: blue} +node: {title: "n89" label: "ProjM 0 89" color: yellow} +edge: {sourcename: "n89" targetname: "n87" label: "0" color: blue} } -graph: { title: "85" label: "85" status:clustered color:yellow -edge: {sourcename: "85" targetname: "72" label: "0" color: red} -node: {title: "84" label: "ProjM 0 84" color: yellow} -edge: {sourcename: "84" targetname: "86" label: "0" color: blue} -node: {title: "86" label: "Store 86" } -edge: {sourcename: "86" targetname: "88" label: "0" color: blue} -edge: {sourcename: "86" targetname: "77" label: "1" } -edge: {sourcename: "86" targetname: "87" label: "2" } -node: {title: "88" label: "ProjM 0 88" color: yellow} -edge: {sourcename: "88" targetname: "89" label: "0" color: blue} -node: {title: "89" label: "Store 89" } -edge: {sourcename: "89" targetname: "91" label: "0" color: blue} -edge: {sourcename: "89" targetname: "70" label: "1" } -edge: {sourcename: "89" targetname: "90" label: "2" } -node: {title: "92" label: "Jmp 92" } +graph: { title: "n91" label: "91" status:clustered color:yellow +edge: {sourcename: "n91" targetname: "n78" label: "0" color: red} +node: {title: "n90" label: "ProjM 0 90" color: yellow} +edge: {sourcename: "n90" targetname: "n92" label: "0" color: blue} +node: {title: "n92" label: "Store 92" } +edge: {sourcename: "n92" targetname: "n94" label: "0" color: blue} +edge: {sourcename: "n92" targetname: "n83" label: "1" } +edge: {sourcename: "n92" targetname: "n93" label: "2" } +node: {title: "n94" label: "ProjM 0 94" color: yellow} +edge: {sourcename: "n94" targetname: "n95" label: "0" color: blue} +node: {title: "n95" label: "Store 95" } +edge: {sourcename: "n95" targetname: "n97" label: "0" color: blue} +edge: {sourcename: "n95" targetname: "n76" label: "1" } +edge: {sourcename: "n95" targetname: "n96" label: "2" } +node: {title: "n98" label: "Jmp 98" } } -graph: { title: "71" label: "71" status:clustered color:yellow -edge: {sourcename: "71" targetname: "72" label: "0" color: red} -node: {title: "70" label: "VAR_AP 70" color: yellow} -node: {title: "72" label: "ProjX 0 72" color: yellow} -edge: {sourcename: "72" targetname: "73" label: "0" color: red} -node: {title: "73" label: "Start 73" color: blue} -node: {title: "77" label: "VAR_BP 77" color: yellow} -node: {title: "87" label: "1I 87" color: yellow} -node: {title: "90" label: "0I 90" color: yellow} -node: {title: "91" label: "ProjM 1 91" color: yellow} -edge: {sourcename: "91" targetname: "73" label: "0" color: blue} +graph: { title: "n77" label: "77" status:clustered color:yellow +edge: {sourcename: "n77" targetname: "n78" label: "0" color: red} +node: {title: "n76" label: "VAR_AP 76" color: yellow} +node: {title: "n78" label: "ProjX 0 78" color: yellow} +edge: {sourcename: "n78" targetname: "n79" label: "0" color: red} +node: {title: "n79" label: "Start 79" color: blue} +node: {title: "n83" label: "VAR_BP 83" color: yellow} +node: {title: "n93" label: "1I 93" color: yellow} +node: {title: "n96" label: "0I 96" color: yellow} +node: {title: "n97" label: "ProjM 1 97" color: yellow} +edge: {sourcename: "n97" targetname: "n79" label: "0" color: blue} } -node: {title: "99" label: "Bad 99" } +node: {title: "n105" label: "Bad 105" } } diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg index b2b02dc00..002aceeaf 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg @@ -7,143 +7,166 @@ 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: "168" label: "168" status:clustered color:yellow -node: {title: "167" label: "End 167" color: blue} +graph: { title: "n184" label: "184" status:clustered color:yellow +node: {title: "n183" label: "End 183" color: blue} } -graph: { title: "173" label: "173" status:clustered color:yellow -edge: {sourcename: "173" targetname: "175" label: "0" color: red} -edge: {sourcename: "173" targetname: "174" label: "1" color: red} -node: {title: "177" label: "PhiM 177" color: green} -edge: {sourcename: "177" targetname: "188" label: "0" color: blue} -edge: {sourcename: "177" targetname: "178" label: "1" color: blue} -node: {title: "174" label: "Jmp 174" } -node: {title: "178" label: "Store 178" } -edge: {sourcename: "178" targetname: "177" label: "0" color: blue} -edge: {sourcename: "178" targetname: "183" label: "1" } -edge: {sourcename: "178" targetname: "179" label: "2" } -node: {title: "179" label: "PhiI 179" color: green} -edge: {sourcename: "179" targetname: "182" label: "0" } -edge: {sourcename: "179" targetname: "180" label: "1" } -node: {title: "180" label: "PhiI 180" color: green} -edge: {sourcename: "180" targetname: "181" label: "0" } -edge: {sourcename: "180" targetname: "179" label: "1" } -node: {title: "183" label: "Sel a 183" } -edge: {sourcename: "183" targetname: "177" label: "0" color: blue} -edge: {sourcename: "183" targetname: "184" label: "1" } +graph: { title: "n189" label: "189" status:clustered color:yellow +edge: {sourcename: "n189" targetname: "n191" label: "0" color: red} +edge: {sourcename: "n189" targetname: "n190" label: "1" color: red} +node: {title: "n193" label: "PhiM 193" color: green} +edge: {sourcename: "n193" targetname: "n204" label: "0" color: blue} +edge: {sourcename: "n193" targetname: "n194" label: "1" color: blue} +node: {title: "n190" label: "Jmp 190" } +node: {title: "n194" label: "Store 194" } +edge: {sourcename: "n194" targetname: "n193" label: "0" color: blue} +edge: {sourcename: "n194" targetname: "n199" label: "1" } +edge: {sourcename: "n194" targetname: "n195" label: "2" } +node: {title: "n195" label: "PhiI 195" color: green} +edge: {sourcename: "n195" targetname: "n198" label: "0" } +edge: {sourcename: "n195" targetname: "n196" label: "1" } +node: {title: "n196" label: "PhiI 196" color: green} +edge: {sourcename: "n196" targetname: "n197" label: "0" } +edge: {sourcename: "n196" targetname: "n195" label: "1" } +node: {title: "n199" label: "Sel a 199" } +edge: {sourcename: "n199" targetname: "n193" label: "0" color: blue} +edge: {sourcename: "n199" targetname: "n200" label: "1" } } -graph: { title: "176" label: "176" status:clustered color:yellow -edge: {sourcename: "176" targetname: "171" label: "0" color: red} -node: {title: "175" label: "Jmp 175" } -node: {title: "181" label: "0I 181" color: yellow} -node: {title: "184" label: "ProjP 2 184" color: yellow} -edge: {sourcename: "184" targetname: "185" label: "0" } -node: {title: "185" label: "Alloc 185" } -edge: {sourcename: "185" targetname: "187" label: "0" color: blue} -edge: {sourcename: "185" targetname: "186" label: "1" } -node: {title: "186" label: "SymC PRIMA size 186" } -node: {title: "188" label: "ProjM 0 188" color: yellow} -edge: {sourcename: "188" targetname: "189" label: "0" color: blue} -node: {title: "189" label: "Store 189" } -edge: {sourcename: "189" targetname: "192" label: "0" color: blue} -edge: {sourcename: "189" targetname: "191" label: "1" } -edge: {sourcename: "189" targetname: "190" label: "2" } -node: {title: "191" label: "Sel a 191" } -edge: {sourcename: "191" targetname: "192" label: "0" color: blue} -edge: {sourcename: "191" targetname: "184" label: "1" } -node: {title: "192" label: "ProjM 0 192" color: yellow} -edge: {sourcename: "192" targetname: "185" label: "0" color: blue} +graph: { title: "n192" label: "192" status:clustered color:yellow +edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} +node: {title: "n191" label: "Jmp 191" } +node: {title: "n197" label: "0I 197" color: yellow} +node: {title: "n200" label: "ProjP 2 200" color: yellow} +edge: {sourcename: "n200" targetname: "n201" label: "0" } +node: {title: "n201" label: "Alloc 201" } +edge: {sourcename: "n201" targetname: "n203" label: "0" color: blue} +edge: {sourcename: "n201" targetname: "n202" label: "1" } +node: {title: "n202" label: "SymC PRIMA size 202" } +node: {title: "n204" label: "ProjM 0 204" color: yellow} +edge: {sourcename: "n204" targetname: "n205" label: "0" color: blue} +node: {title: "n205" label: "Store 205" } +edge: {sourcename: "n205" targetname: "n208" label: "0" color: blue} +edge: {sourcename: "n205" targetname: "n207" label: "1" } +edge: {sourcename: "n205" targetname: "n206" label: "2" } +node: {title: "n207" label: "Sel a 207" } +edge: {sourcename: "n207" targetname: "n208" label: "0" color: blue} +edge: {sourcename: "n207" targetname: "n200" label: "1" } +node: {title: "n208" label: "ProjM 0 208" color: yellow} +edge: {sourcename: "n208" targetname: "n201" label: "0" color: blue} } -graph: { title: "170" label: "170" status:clustered color:yellow -edge: {sourcename: "170" targetname: "171" label: "0" color: red} -node: {title: "171" label: "ProjX 0 171" color: yellow} -edge: {sourcename: "171" targetname: "172" label: "0" color: red} -node: {title: "172" label: "Start 172" color: blue} -node: {title: "182" label: "5I 182" color: yellow} -node: {title: "187" label: "ProjM 1 187" color: yellow} -edge: {sourcename: "187" targetname: "172" label: "0" color: blue} -node: {title: "190" label: "2I 190" color: yellow} +graph: { title: "n186" label: "186" status:clustered color:yellow +edge: {sourcename: "n186" targetname: "n187" label: "0" color: red} +node: {title: "n187" label: "ProjX 0 187" color: yellow} +edge: {sourcename: "n187" targetname: "n188" label: "0" color: red} +node: {title: "n188" label: "Start 188" color: blue} +node: {title: "n198" label: "5I 198" color: yellow} +node: {title: "n203" label: "ProjM 1 203" color: yellow} +edge: {sourcename: "n203" targetname: "n188" label: "0" color: blue} +node: {title: "n206" label: "2I 206" color: yellow} } -node: {title: "169" label: "Bad 169" } -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: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined +node: {title: "n185" label: "Bad 185" } +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: "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: "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: "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: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} +node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -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, +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: "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} -node: {title: "0x809d860" label: "class GlobalType"info1: "state: layout_undefined +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: "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} +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: "0x80a0198" label: "method OO_INLINE_EXAMPLE_main"info1: "state: layout_fixed, +edge: { sourcename:"t0" targetname: "e13" class: 12 label: "member" color:blue} +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} -edge: { sourcename: "183" targetname: "0x809ff18" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "185" targetname: "0x809fe68" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "186" targetname: "0x809fe68" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "191" targetname: "0x809ff18" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename:"t11" targetname: "t1" class: 6 label: "res 0" color: green} +node: {title: "t14" label: "class OO_INLINE_EXAMPLE_mainframe_tp"info1: "state: layout_undefined +size: -1B, +" color: green} +edge: { sourcename: "n199" targetname: "0x80a0600" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n201" targetname: "0x80a0538" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n202" targetname: "0x80a0538" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n207" targetname: "0x80a0600" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index 6cf5af593..2106b5970 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg @@ -7,65 +7,65 @@ 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: "168" label: "168" status:clustered color:yellow -node: {title: "167" label: "End 167" color: blue} +graph: { title: "n184" label: "184" status:clustered color:yellow +node: {title: "n183" label: "End 183" color: blue} } -graph: { title: "173" label: "173" status:clustered color:yellow -edge: {sourcename: "173" targetname: "175" label: "0" color: red} -edge: {sourcename: "173" targetname: "174" label: "1" color: red} -node: {title: "177" label: "PhiM 177" color: green} -edge: {sourcename: "177" targetname: "188" label: "0" color: blue} -edge: {sourcename: "177" targetname: "178" label: "1" color: blue} -node: {title: "174" label: "Jmp 174" } -node: {title: "178" label: "Store 178" } -edge: {sourcename: "178" targetname: "177" label: "0" color: blue} -edge: {sourcename: "178" targetname: "183" label: "1" } -edge: {sourcename: "178" targetname: "179" label: "2" } -node: {title: "179" label: "PhiI 179" color: green} -edge: {sourcename: "179" targetname: "182" label: "0" } -edge: {sourcename: "179" targetname: "180" label: "1" } -node: {title: "180" label: "PhiI 180" color: green} -edge: {sourcename: "180" targetname: "181" label: "0" } -edge: {sourcename: "180" targetname: "179" label: "1" } -node: {title: "183" label: "Sel a 183" } -edge: {sourcename: "183" targetname: "177" label: "0" color: blue} -edge: {sourcename: "183" targetname: "184" label: "1" } +graph: { title: "n189" label: "189" status:clustered color:yellow +edge: {sourcename: "n189" targetname: "n191" label: "0" color: red} +edge: {sourcename: "n189" targetname: "n190" label: "1" color: red} +node: {title: "n193" label: "PhiM 193" color: green} +edge: {sourcename: "n193" targetname: "n204" label: "0" color: blue} +edge: {sourcename: "n193" targetname: "n194" label: "1" color: blue} +node: {title: "n190" label: "Jmp 190" } +node: {title: "n194" label: "Store 194" } +edge: {sourcename: "n194" targetname: "n193" label: "0" color: blue} +edge: {sourcename: "n194" targetname: "n199" label: "1" } +edge: {sourcename: "n194" targetname: "n195" label: "2" } +node: {title: "n195" label: "PhiI 195" color: green} +edge: {sourcename: "n195" targetname: "n198" label: "0" } +edge: {sourcename: "n195" targetname: "n196" label: "1" } +node: {title: "n196" label: "PhiI 196" color: green} +edge: {sourcename: "n196" targetname: "n197" label: "0" } +edge: {sourcename: "n196" targetname: "n195" label: "1" } +node: {title: "n199" label: "Sel a 199" } +edge: {sourcename: "n199" targetname: "n193" label: "0" color: blue} +edge: {sourcename: "n199" targetname: "n200" label: "1" } } -graph: { title: "176" label: "176" status:clustered color:yellow -edge: {sourcename: "176" targetname: "171" label: "0" color: red} -node: {title: "175" label: "Jmp 175" } -node: {title: "181" label: "0I 181" color: yellow} -node: {title: "184" label: "ProjP 2 184" color: yellow} -edge: {sourcename: "184" targetname: "185" label: "0" } -node: {title: "185" label: "Alloc 185" } -edge: {sourcename: "185" targetname: "187" label: "0" color: blue} -edge: {sourcename: "185" targetname: "186" label: "1" } -node: {title: "186" label: "SymC PRIMA size 186" } -node: {title: "188" label: "ProjM 0 188" color: yellow} -edge: {sourcename: "188" targetname: "189" label: "0" color: blue} -node: {title: "189" label: "Store 189" } -edge: {sourcename: "189" targetname: "192" label: "0" color: blue} -edge: {sourcename: "189" targetname: "191" label: "1" } -edge: {sourcename: "189" targetname: "190" label: "2" } -node: {title: "191" label: "Sel a 191" } -edge: {sourcename: "191" targetname: "192" label: "0" color: blue} -edge: {sourcename: "191" targetname: "184" label: "1" } -node: {title: "192" label: "ProjM 0 192" color: yellow} -edge: {sourcename: "192" targetname: "185" label: "0" color: blue} +graph: { title: "n192" label: "192" status:clustered color:yellow +edge: {sourcename: "n192" targetname: "n187" label: "0" color: red} +node: {title: "n191" label: "Jmp 191" } +node: {title: "n197" label: "0I 197" color: yellow} +node: {title: "n200" label: "ProjP 2 200" color: yellow} +edge: {sourcename: "n200" targetname: "n201" label: "0" } +node: {title: "n201" label: "Alloc 201" } +edge: {sourcename: "n201" targetname: "n203" label: "0" color: blue} +edge: {sourcename: "n201" targetname: "n202" label: "1" } +node: {title: "n202" label: "SymC PRIMA size 202" } +node: {title: "n204" label: "ProjM 0 204" color: yellow} +edge: {sourcename: "n204" targetname: "n205" label: "0" color: blue} +node: {title: "n205" label: "Store 205" } +edge: {sourcename: "n205" targetname: "n208" label: "0" color: blue} +edge: {sourcename: "n205" targetname: "n207" label: "1" } +edge: {sourcename: "n205" targetname: "n206" label: "2" } +node: {title: "n207" label: "Sel a 207" } +edge: {sourcename: "n207" targetname: "n208" label: "0" color: blue} +edge: {sourcename: "n207" targetname: "n200" label: "1" } +node: {title: "n208" label: "ProjM 0 208" color: yellow} +edge: {sourcename: "n208" targetname: "n201" label: "0" color: blue} } -graph: { title: "170" label: "170" status:clustered color:yellow -edge: {sourcename: "170" targetname: "171" label: "0" color: red} -node: {title: "171" label: "ProjX 0 171" color: yellow} -edge: {sourcename: "171" targetname: "172" label: "0" color: red} -node: {title: "172" label: "Start 172" color: blue} -node: {title: "182" label: "5I 182" color: yellow} -node: {title: "187" label: "ProjM 1 187" color: yellow} -edge: {sourcename: "187" targetname: "172" label: "0" color: blue} -node: {title: "190" label: "2I 190" color: yellow} +graph: { title: "n186" label: "186" status:clustered color:yellow +edge: {sourcename: "n186" targetname: "n187" label: "0" color: red} +node: {title: "n187" label: "ProjX 0 187" color: yellow} +edge: {sourcename: "n187" targetname: "n188" label: "0" color: red} +node: {title: "n188" label: "Start 188" color: blue} +node: {title: "n198" label: "5I 198" color: yellow} +node: {title: "n203" label: "ProjM 1 203" color: yellow} +edge: {sourcename: "n203" targetname: "n188" label: "0" color: blue} +node: {title: "n206" label: "2I 206" color: yellow} } -node: {title: "169" label: "Bad 169" } +node: {title: "n185" label: "Bad 185" } } diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg index 4f7417819..d316a4e78 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg @@ -7,140 +7,163 @@ 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: "81" label: "81" status:clustered color:yellow -edge: {sourcename: "81" targetname: "82" label: "0" color: red} -node: {title: "80" label: "End 80" color: blue} +graph: { title: "n97" label: "97" status:clustered color:yellow +edge: {sourcename: "n97" targetname: "n98" label: "0" color: red} +node: {title: "n96" label: "End 96" color: blue} } -graph: { title: "83" label: "83" status:clustered color:yellow -edge: {sourcename: "83" targetname: "84" label: "0" color: red} -node: {title: "82" label: "Return 82" } -edge: {sourcename: "82" targetname: "101" label: "0" color: blue} -edge: {sourcename: "82" targetname: "87" label: "1" } -node: {title: "87" label: "ProjI 0 87" color: yellow} -edge: {sourcename: "87" targetname: "88" label: "0" } -node: {title: "88" label: "ProjT 2 88" color: yellow} -edge: {sourcename: "88" targetname: "89" label: "0" } -node: {title: "89" label: "Call 89" } -edge: {sourcename: "89" targetname: "96" label: "0" color: blue} -edge: {sourcename: "89" targetname: "95" label: "1" } -edge: {sourcename: "89" targetname: "91" label: "2" } -edge: {sourcename: "89" targetname: "90" label: "3" } -node: {title: "91" label: "ProjP 2 91" color: yellow} -edge: {sourcename: "91" targetname: "92" label: "0" } -node: {title: "92" label: "Alloc 92" } -edge: {sourcename: "92" targetname: "94" label: "0" color: blue} -edge: {sourcename: "92" targetname: "93" label: "1" } -node: {title: "93" label: "SymC PRIMA size 93" } -node: {title: "95" label: "Sel c 95" } -edge: {sourcename: "95" targetname: "96" label: "0" color: blue} -edge: {sourcename: "95" targetname: "91" label: "1" } -node: {title: "96" label: "ProjM 0 96" color: yellow} -edge: {sourcename: "96" targetname: "97" label: "0" color: blue} -node: {title: "97" label: "Call 97" } -edge: {sourcename: "97" targetname: "100" label: "0" color: blue} -edge: {sourcename: "97" targetname: "99" label: "1" } -edge: {sourcename: "97" targetname: "91" label: "2" } -edge: {sourcename: "97" targetname: "98" label: "3" } -node: {title: "99" label: "Sel set_a 99" } -edge: {sourcename: "99" targetname: "100" label: "0" color: blue} -edge: {sourcename: "99" targetname: "91" label: "1" } -node: {title: "100" label: "ProjM 0 100" color: yellow} -edge: {sourcename: "100" targetname: "92" label: "0" color: blue} -node: {title: "101" label: "ProjM 0 101" color: yellow} -edge: {sourcename: "101" targetname: "89" label: "0" color: blue} +graph: { title: "n99" label: "99" status:clustered color:yellow +edge: {sourcename: "n99" targetname: "n100" label: "0" color: red} +node: {title: "n98" label: "Return 98" } +edge: {sourcename: "n98" targetname: "n117" label: "0" color: blue} +edge: {sourcename: "n98" targetname: "n103" label: "1" } +node: {title: "n103" label: "ProjI 0 103" color: yellow} +edge: {sourcename: "n103" targetname: "n104" label: "0" } +node: {title: "n104" label: "ProjT 2 104" color: yellow} +edge: {sourcename: "n104" targetname: "n105" label: "0" } +node: {title: "n105" label: "Call 105" } +edge: {sourcename: "n105" targetname: "n112" label: "0" color: blue} +edge: {sourcename: "n105" targetname: "n111" label: "1" } +edge: {sourcename: "n105" targetname: "n107" label: "2" } +edge: {sourcename: "n105" targetname: "n106" label: "3" } +node: {title: "n107" label: "ProjP 2 107" color: yellow} +edge: {sourcename: "n107" targetname: "n108" label: "0" } +node: {title: "n108" label: "Alloc 108" } +edge: {sourcename: "n108" targetname: "n110" label: "0" color: blue} +edge: {sourcename: "n108" targetname: "n109" label: "1" } +node: {title: "n109" label: "SymC PRIMA size 109" } +node: {title: "n111" label: "Sel c 111" } +edge: {sourcename: "n111" targetname: "n112" label: "0" color: blue} +edge: {sourcename: "n111" targetname: "n107" label: "1" } +node: {title: "n112" label: "ProjM 0 112" color: yellow} +edge: {sourcename: "n112" targetname: "n113" label: "0" color: blue} +node: {title: "n113" label: "Call 113" } +edge: {sourcename: "n113" targetname: "n116" label: "0" color: blue} +edge: {sourcename: "n113" targetname: "n115" label: "1" } +edge: {sourcename: "n113" targetname: "n107" label: "2" } +edge: {sourcename: "n113" targetname: "n114" label: "3" } +node: {title: "n115" label: "Sel set_a 115" } +edge: {sourcename: "n115" targetname: "n116" label: "0" color: blue} +edge: {sourcename: "n115" targetname: "n107" label: "1" } +node: {title: "n116" label: "ProjM 0 116" color: yellow} +edge: {sourcename: "n116" targetname: "n108" label: "0" color: blue} +node: {title: "n117" label: "ProjM 0 117" color: yellow} +edge: {sourcename: "n117" targetname: "n105" label: "0" color: blue} } -graph: { title: "85" label: "85" status:clustered color:yellow -edge: {sourcename: "85" targetname: "84" label: "0" color: red} -node: {title: "84" label: "ProjX 0 84" color: yellow} -edge: {sourcename: "84" targetname: "86" label: "0" color: red} -node: {title: "86" label: "Start 86" color: blue} -node: {title: "90" label: "5I 90" color: yellow} -node: {title: "94" label: "ProjM 1 94" color: yellow} -edge: {sourcename: "94" targetname: "86" label: "0" color: blue} -node: {title: "98" label: "2I 98" color: yellow} +graph: { title: "n101" label: "101" status:clustered color:yellow +edge: {sourcename: "n101" targetname: "n100" label: "0" color: red} +node: {title: "n100" label: "ProjX 0 100" color: yellow} +edge: {sourcename: "n100" targetname: "n102" label: "0" color: red} +node: {title: "n102" label: "Start 102" color: blue} +node: {title: "n106" label: "5I 106" color: yellow} +node: {title: "n110" label: "ProjM 1 110" color: yellow} +edge: {sourcename: "n110" targetname: "n102" label: "0" color: blue} +node: {title: "n114" label: "2I 114" color: yellow} } -node: {title: "105" label: "Bad 105" } -node: {title: "0x809fe70" label: "method c"info1: "state: layout_fixed, +node: {title: "n121" label: "Bad 121" } +node: {title: "t8" label: "method c"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809fe70" targetname: "0x809fc88" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809fe70" targetname: "0x809fbe0" class: 5 label: "param 1" color: green} -edge: { sourcename: "0x809fe70" targetname: "0x809fbe0" class: 6 label: "res 0" color: green} -node: {title: "0x809fc88" label: "pointer class_prima_ptr"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: "t3" label: "pointer class_prima_ptr"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809fc88" targetname: "0x809fc08" class: 9 label: "points to" color:green} -node: {title: "0x809fc08" label: "class PRIMA"info1: "state: layout_undefined +edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} +node: {title: "t2" label: "class PRIMA"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809fc08" targetname: "0x809fcb8" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809fc08" targetname: "0x809fdd8" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809fc08" targetname: "0x809feb0" class: 12 label: "member" color:blue} -node: {title: "0x809fcb8" label: "ent a" color: yellow info1:"automatic allocated -local -uninitialized -non_volatile -existent -"} -edge: { sourcename: "0x809fcb8" targetname: "0x809fbe0" class: 3 label: "type" color: red} -node: {title: "0x809fbe0" label: "primitive int"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: "t1" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -node: {title: "0x809fdd8" label: "ent set_a" color: yellow info1:"static allocated -local -constant -non_volatile -existent - - irg = 0x80a2620 "} -edge: { sourcename: "0x809fdd8" targetname: "0x809fd60" class: 3 label: "type" color: red} -edge: { sourcename: "0x809fdd8" targetname: "1" label: "value "} -node: {title: "1" label: "&(PRIMA_set_a)P 1" color: yellow} -node: {title: "0x809fd60" label: "method set_a"info1: "state: layout_fixed, +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: "0x809fd60" targetname: "0x809fc88" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809fd60" targetname: "0x809fbe0" class: 5 label: "param 1" color: green} -node: {title: "0x809feb0" label: "ent c" color: yellow info1:"static allocated -local -constant -non_volatile -existent - - irg = 0x80a4be8 "} -edge: { sourcename: "0x809feb0" targetname: "0x809fe70" class: 3 label: "type" color: red} -edge: { sourcename: "0x809feb0" targetname: "2" label: "value "} -node: {title: "2" label: "&(PRIMA_c)P 2" color: yellow} -node: {title: "0x809ff98" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow info1:"static allocated -local -constant -non_volatile -existent - - irg = 0x80a0040 "} -edge: { sourcename: "0x809ff98" targetname: "0x809ff38" class: 3 label: "type" color: red} -edge: { sourcename: "0x809ff98" targetname: "3" label: "value "} -node: {title: "3" label: "&(GlobalType_OO_PROGRAM_EXAMPLE_main)P 3" color: yellow} -node: {title: "0x809d600" label: "class GlobalType"info1: "state: layout_undefined +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: "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: "e13"label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow + info1:" +allocation: static allocated +visibility: local +variability: constant +volatility: non_volatile +peculiarity: existent +name: OO_PROGRAM_EXAMPLE_main +ld_name: GlobalType_OO_PROGRAM_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_PROGRAM_EXAMPLE_main)P 12" color: yellow} +node: {title: "t0" label: "class GlobalType"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809d600" targetname: "0x809ff98" class: 12 label: "member" color:blue} -node: {title: "0x809ff38" label: "method OO_PROGRAM_EXAMPLE_main"info1: "state: layout_fixed, +edge: { sourcename:"t0" targetname: "e13" class: 12 label: "member" color:blue} +node: {title: "t11" label: "method OO_PROGRAM_EXAMPLE_main"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809ff38" targetname: "0x809fbe0" class: 6 label: "res 0" color: green} -edge: { sourcename: "89" targetname: "0x809fe70" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "92" targetname: "0x809fc08" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "93" targetname: "0x809fc08" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "95" targetname: "0x809feb0" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "97" targetname: "0x809fd60" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "99" targetname: "0x809fdd8" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename:"t11" targetname: "t1" class: 6 label: "res 0" color: green} +node: {title: "t14" label: "class OO_PROGRAM_EXAMPLE_mainframe_tp"info1: "state: layout_undefined +size: -1B, +" color: green} +edge: { sourcename: "n105" targetname: "0x80a04f0" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n108" targetname: "0x80a0298" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n109" targetname: "0x80a0298" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n111" targetname: "0x80a0550" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n113" targetname: "0x80a03e8" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "n115" targetname: "0x80a0480" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index c774b891c..769086ce3 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg @@ -7,60 +7,60 @@ 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: "81" label: "81" status:clustered color:yellow -edge: {sourcename: "81" targetname: "82" label: "0" color: red} -node: {title: "80" label: "End 80" color: blue} +graph: { title: "n97" label: "97" status:clustered color:yellow +edge: {sourcename: "n97" targetname: "n98" label: "0" color: red} +node: {title: "n96" label: "End 96" color: blue} } -graph: { title: "83" label: "83" status:clustered color:yellow -edge: {sourcename: "83" targetname: "84" label: "0" color: red} -node: {title: "82" label: "Return 82" } -edge: {sourcename: "82" targetname: "101" label: "0" color: blue} -edge: {sourcename: "82" targetname: "87" label: "1" } -node: {title: "87" label: "ProjI 0 87" color: yellow} -edge: {sourcename: "87" targetname: "88" label: "0" } -node: {title: "88" label: "ProjT 2 88" color: yellow} -edge: {sourcename: "88" targetname: "89" label: "0" } -node: {title: "89" label: "Call 89" } -edge: {sourcename: "89" targetname: "96" label: "0" color: blue} -edge: {sourcename: "89" targetname: "95" label: "1" } -edge: {sourcename: "89" targetname: "91" label: "2" } -edge: {sourcename: "89" targetname: "90" label: "3" } -node: {title: "91" label: "ProjP 2 91" color: yellow} -edge: {sourcename: "91" targetname: "92" label: "0" } -node: {title: "92" label: "Alloc 92" } -edge: {sourcename: "92" targetname: "94" label: "0" color: blue} -edge: {sourcename: "92" targetname: "93" label: "1" } -node: {title: "93" label: "SymC PRIMA size 93" } -node: {title: "95" label: "Sel c 95" } -edge: {sourcename: "95" targetname: "96" label: "0" color: blue} -edge: {sourcename: "95" targetname: "91" label: "1" } -node: {title: "96" label: "ProjM 0 96" color: yellow} -edge: {sourcename: "96" targetname: "97" label: "0" color: blue} -node: {title: "97" label: "Call 97" } -edge: {sourcename: "97" targetname: "100" label: "0" color: blue} -edge: {sourcename: "97" targetname: "99" label: "1" } -edge: {sourcename: "97" targetname: "91" label: "2" } -edge: {sourcename: "97" targetname: "98" label: "3" } -node: {title: "99" label: "Sel set_a 99" } -edge: {sourcename: "99" targetname: "100" label: "0" color: blue} -edge: {sourcename: "99" targetname: "91" label: "1" } -node: {title: "100" label: "ProjM 0 100" color: yellow} -edge: {sourcename: "100" targetname: "92" label: "0" color: blue} -node: {title: "101" label: "ProjM 0 101" color: yellow} -edge: {sourcename: "101" targetname: "89" label: "0" color: blue} +graph: { title: "n99" label: "99" status:clustered color:yellow +edge: {sourcename: "n99" targetname: "n100" label: "0" color: red} +node: {title: "n98" label: "Return 98" } +edge: {sourcename: "n98" targetname: "n117" label: "0" color: blue} +edge: {sourcename: "n98" targetname: "n103" label: "1" } +node: {title: "n103" label: "ProjI 0 103" color: yellow} +edge: {sourcename: "n103" targetname: "n104" label: "0" } +node: {title: "n104" label: "ProjT 2 104" color: yellow} +edge: {sourcename: "n104" targetname: "n105" label: "0" } +node: {title: "n105" label: "Call 105" } +edge: {sourcename: "n105" targetname: "n112" label: "0" color: blue} +edge: {sourcename: "n105" targetname: "n111" label: "1" } +edge: {sourcename: "n105" targetname: "n107" label: "2" } +edge: {sourcename: "n105" targetname: "n106" label: "3" } +node: {title: "n107" label: "ProjP 2 107" color: yellow} +edge: {sourcename: "n107" targetname: "n108" label: "0" } +node: {title: "n108" label: "Alloc 108" } +edge: {sourcename: "n108" targetname: "n110" label: "0" color: blue} +edge: {sourcename: "n108" targetname: "n109" label: "1" } +node: {title: "n109" label: "SymC PRIMA size 109" } +node: {title: "n111" label: "Sel c 111" } +edge: {sourcename: "n111" targetname: "n112" label: "0" color: blue} +edge: {sourcename: "n111" targetname: "n107" label: "1" } +node: {title: "n112" label: "ProjM 0 112" color: yellow} +edge: {sourcename: "n112" targetname: "n113" label: "0" color: blue} +node: {title: "n113" label: "Call 113" } +edge: {sourcename: "n113" targetname: "n116" label: "0" color: blue} +edge: {sourcename: "n113" targetname: "n115" label: "1" } +edge: {sourcename: "n113" targetname: "n107" label: "2" } +edge: {sourcename: "n113" targetname: "n114" label: "3" } +node: {title: "n115" label: "Sel set_a 115" } +edge: {sourcename: "n115" targetname: "n116" label: "0" color: blue} +edge: {sourcename: "n115" targetname: "n107" label: "1" } +node: {title: "n116" label: "ProjM 0 116" color: yellow} +edge: {sourcename: "n116" targetname: "n108" label: "0" color: blue} +node: {title: "n117" label: "ProjM 0 117" color: yellow} +edge: {sourcename: "n117" targetname: "n105" label: "0" color: blue} } -graph: { title: "85" label: "85" status:clustered color:yellow -edge: {sourcename: "85" targetname: "84" label: "0" color: red} -node: {title: "84" label: "ProjX 0 84" color: yellow} -edge: {sourcename: "84" targetname: "86" label: "0" color: red} -node: {title: "86" label: "Start 86" color: blue} -node: {title: "90" label: "5I 90" color: yellow} -node: {title: "94" label: "ProjM 1 94" color: yellow} -edge: {sourcename: "94" targetname: "86" label: "0" color: blue} -node: {title: "98" label: "2I 98" color: yellow} +graph: { title: "n101" label: "101" status:clustered color:yellow +edge: {sourcename: "n101" targetname: "n100" label: "0" color: red} +node: {title: "n100" label: "ProjX 0 100" color: yellow} +edge: {sourcename: "n100" targetname: "n102" label: "0" color: red} +node: {title: "n102" label: "Start 102" color: blue} +node: {title: "n106" label: "5I 106" color: yellow} +node: {title: "n110" label: "ProjM 1 110" color: yellow} +edge: {sourcename: "n110" targetname: "n102" label: "0" color: blue} +node: {title: "n114" label: "2I 114" color: yellow} } -node: {title: "105" label: "Bad 105" } +node: {title: "n121" label: "Bad 121" } } diff --git a/testprograms/ref-results/PRIMA_c-all.vcg b/testprograms/ref-results/PRIMA_c-all.vcg index d81597ae1..921bb12c1 100644 --- a/testprograms/ref-results/PRIMA_c-all.vcg +++ b/testprograms/ref-results/PRIMA_c-all.vcg @@ -7,108 +7,126 @@ 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: "216" label: "216" status:clustered color:yellow -node: {title: "215" label: "End 215" color: blue} +graph: { title: "n232" label: "232" status:clustered color:yellow +node: {title: "n231" label: "End 231" color: blue} } -graph: { title: "221" label: "221" status:clustered color:yellow -edge: {sourcename: "221" targetname: "223" label: "0" color: red} -edge: {sourcename: "221" targetname: "222" label: "1" color: red} -node: {title: "225" label: "PhiM 225" color: green} -edge: {sourcename: "225" targetname: "234" label: "0" color: blue} -edge: {sourcename: "225" targetname: "226" label: "1" color: blue} -node: {title: "222" label: "Jmp 222" } -node: {title: "226" label: "Store 226" } -edge: {sourcename: "226" targetname: "225" label: "0" color: blue} -edge: {sourcename: "226" targetname: "232" label: "1" } -edge: {sourcename: "226" targetname: "227" label: "2" } -node: {title: "227" label: "PhiI 227" color: green} -edge: {sourcename: "227" targetname: "230" label: "0" } -edge: {sourcename: "227" targetname: "228" label: "1" } -node: {title: "228" label: "PhiI 228" color: green} -edge: {sourcename: "228" targetname: "229" label: "0" } -edge: {sourcename: "228" targetname: "227" label: "1" } -node: {title: "232" label: "Sel a 232" } -edge: {sourcename: "232" targetname: "225" label: "0" color: blue} -edge: {sourcename: "232" targetname: "233" label: "1" } +graph: { title: "n237" label: "237" status:clustered color:yellow +edge: {sourcename: "n237" targetname: "n239" label: "0" color: red} +edge: {sourcename: "n237" targetname: "n238" label: "1" color: red} +node: {title: "n241" label: "PhiM 241" color: green} +edge: {sourcename: "n241" targetname: "n250" label: "0" color: blue} +edge: {sourcename: "n241" targetname: "n242" label: "1" color: blue} +node: {title: "n238" label: "Jmp 238" } +node: {title: "n242" label: "Store 242" } +edge: {sourcename: "n242" targetname: "n241" label: "0" color: blue} +edge: {sourcename: "n242" targetname: "n248" label: "1" } +edge: {sourcename: "n242" targetname: "n243" label: "2" } +node: {title: "n243" label: "PhiI 243" color: green} +edge: {sourcename: "n243" targetname: "n246" label: "0" } +edge: {sourcename: "n243" targetname: "n244" label: "1" } +node: {title: "n244" label: "PhiI 244" color: green} +edge: {sourcename: "n244" targetname: "n245" label: "0" } +edge: {sourcename: "n244" targetname: "n243" label: "1" } +node: {title: "n248" label: "Sel a 248" } +edge: {sourcename: "n248" targetname: "n241" label: "0" color: blue} +edge: {sourcename: "n248" targetname: "n249" label: "1" } } -graph: { title: "224" label: "224" status:clustered color:yellow -edge: {sourcename: "224" targetname: "219" label: "0" color: red} -node: {title: "223" label: "Jmp 223" } -node: {title: "230" label: "ProjI 1 230" color: yellow} -edge: {sourcename: "230" targetname: "231" label: "0" } -node: {title: "233" label: "ProjP 0 233" color: yellow} -edge: {sourcename: "233" targetname: "231" label: "0" } +graph: { title: "n240" label: "240" status:clustered color:yellow +edge: {sourcename: "n240" targetname: "n235" label: "0" color: red} +node: {title: "n239" label: "Jmp 239" } +node: {title: "n246" label: "ProjI 1 246" color: yellow} +edge: {sourcename: "n246" targetname: "n247" label: "0" } +node: {title: "n249" label: "ProjP 0 249" color: yellow} +edge: {sourcename: "n249" targetname: "n247" label: "0" } } -graph: { title: "218" label: "218" status:clustered color:yellow -edge: {sourcename: "218" targetname: "219" label: "0" color: red} -node: {title: "219" label: "ProjX 0 219" color: yellow} -edge: {sourcename: "219" targetname: "220" label: "0" color: red} -node: {title: "220" label: "Start 220" color: blue} -node: {title: "229" label: "0I 229" color: yellow} -node: {title: "231" label: "ProjT 4 231" color: yellow} -edge: {sourcename: "231" targetname: "220" label: "0" } -node: {title: "234" label: "ProjM 1 234" color: yellow} -edge: {sourcename: "234" targetname: "220" label: "0" color: blue} +graph: { title: "n234" label: "234" status:clustered color:yellow +edge: {sourcename: "n234" targetname: "n235" label: "0" color: red} +node: {title: "n235" label: "ProjX 0 235" color: yellow} +edge: {sourcename: "n235" targetname: "n236" label: "0" color: red} +node: {title: "n236" label: "Start 236" color: blue} +node: {title: "n245" label: "0I 245" color: yellow} +node: {title: "n247" label: "ProjT 4 247" color: yellow} +edge: {sourcename: "n247" targetname: "n236" label: "0" } +node: {title: "n250" label: "ProjM 1 250" color: yellow} +edge: {sourcename: "n250" targetname: "n236" label: "0" color: blue} } -node: {title: "217" label: "Bad 217" } -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: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined +node: {title: "n233" label: "Bad 233" } +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: "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: "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: "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: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} +node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -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, +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} -edge: { sourcename: "232" targetname: "0x809ff18" class: 2 priority: 2 linestyle: dotted} +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: "t71" label: "class cframe_tp"info1: "state: layout_undefined +size: -1B, +" color: green} +edge: { sourcename: "n248" targetname: "0x80a0600" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/PRIMA_set_a-all.vcg b/testprograms/ref-results/PRIMA_set_a-all.vcg index ddbcbb870..0bc02bfc8 100644 --- a/testprograms/ref-results/PRIMA_set_a-all.vcg +++ b/testprograms/ref-results/PRIMA_set_a-all.vcg @@ -7,96 +7,114 @@ 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: "198" label: "198" status:clustered color:yellow -edge: {sourcename: "198" targetname: "199" label: "0" color: red} -node: {title: "197" label: "End 197" color: blue} +graph: { title: "n214" label: "214" status:clustered color:yellow +edge: {sourcename: "n214" targetname: "n215" label: "0" color: red} +node: {title: "n213" label: "End 213" color: blue} } -graph: { title: "200" label: "200" status:clustered color:yellow -edge: {sourcename: "200" targetname: "201" label: "0" color: red} -node: {title: "199" label: "Return 199" } -edge: {sourcename: "199" targetname: "204" label: "0" color: blue} -node: {title: "204" label: "ProjM 0 204" color: yellow} -edge: {sourcename: "204" targetname: "205" label: "0" color: blue} -node: {title: "205" label: "Store 205" } -edge: {sourcename: "205" targetname: "210" label: "0" color: blue} -edge: {sourcename: "205" targetname: "208" label: "1" } -edge: {sourcename: "205" targetname: "206" label: "2" } -node: {title: "206" label: "ProjI 1 206" color: yellow} -edge: {sourcename: "206" targetname: "207" label: "0" } -node: {title: "208" label: "Sel a 208" } -edge: {sourcename: "208" targetname: "210" label: "0" color: blue} -edge: {sourcename: "208" targetname: "209" label: "1" } -node: {title: "209" label: "ProjP 0 209" color: yellow} -edge: {sourcename: "209" targetname: "207" label: "0" } +graph: { title: "n216" label: "216" status:clustered color:yellow +edge: {sourcename: "n216" targetname: "n217" label: "0" color: red} +node: {title: "n215" label: "Return 215" } +edge: {sourcename: "n215" targetname: "n220" label: "0" color: blue} +node: {title: "n220" label: "ProjM 0 220" color: yellow} +edge: {sourcename: "n220" targetname: "n221" label: "0" color: blue} +node: {title: "n221" label: "Store 221" } +edge: {sourcename: "n221" targetname: "n226" label: "0" color: blue} +edge: {sourcename: "n221" targetname: "n224" label: "1" } +edge: {sourcename: "n221" targetname: "n222" label: "2" } +node: {title: "n222" label: "ProjI 1 222" color: yellow} +edge: {sourcename: "n222" targetname: "n223" label: "0" } +node: {title: "n224" label: "Sel a 224" } +edge: {sourcename: "n224" targetname: "n226" label: "0" color: blue} +edge: {sourcename: "n224" targetname: "n225" label: "1" } +node: {title: "n225" label: "ProjP 0 225" color: yellow} +edge: {sourcename: "n225" targetname: "n223" label: "0" } } -graph: { title: "202" label: "202" status:clustered color:yellow -edge: {sourcename: "202" targetname: "201" label: "0" color: red} -node: {title: "201" label: "ProjX 0 201" color: yellow} -edge: {sourcename: "201" targetname: "203" label: "0" color: red} -node: {title: "203" label: "Start 203" color: blue} -node: {title: "207" label: "ProjT 4 207" color: yellow} -edge: {sourcename: "207" targetname: "203" label: "0" } -node: {title: "210" label: "ProjM 1 210" color: yellow} -edge: {sourcename: "210" targetname: "203" label: "0" color: blue} +graph: { title: "n218" label: "218" status:clustered color:yellow +edge: {sourcename: "n218" targetname: "n217" label: "0" color: red} +node: {title: "n217" label: "ProjX 0 217" color: yellow} +edge: {sourcename: "n217" targetname: "n219" label: "0" color: red} +node: {title: "n219" label: "Start 219" color: blue} +node: {title: "n223" label: "ProjT 4 223" color: yellow} +edge: {sourcename: "n223" targetname: "n219" label: "0" } +node: {title: "n226" label: "ProjM 1 226" color: yellow} +edge: {sourcename: "n226" targetname: "n219" label: "0" color: blue} } -node: {title: "213" label: "Bad 213" } -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: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined +node: {title: "n229" label: "Bad 229" } +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: "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: "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: "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: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename:"t3" targetname: "t2" class: 9 label: "points to" color:green} +node: {title: "t1" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -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, +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} -edge: { sourcename: "208" targetname: "0x809ff18" class: 2 priority: 2 linestyle: dotted} +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: "t48" label: "class set_aframe_tp"info1: "state: layout_undefined +size: -1B, +" color: green} +edge: { sourcename: "n224" targetname: "0x80a0600" class: 2 priority: 2 linestyle: dotted} } diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg index 4cc67b2b8..7252c358d 100644 --- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg +++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg @@ -7,23 +7,23 @@ 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:"61" label: "Block 61" } -edge: { sourcename: "61" targetname: "63" } -node: {title:"63" label: "Block 63" } -edge: { sourcename: "63" targetname: "87" } -edge: { sourcename: "63" targetname: "84" } -edge: { sourcename: "63" targetname: "65" } -node: {title:"65" label: "Block 65" } -edge: { sourcename: "65" targetname: "67" } -node: {title:"67" label: "Block 67" } -edge: { sourcename: "67" targetname: "69" } -node: {title:"69" label: "Block 69" } -edge: { sourcename: "69" targetname: "71" } -node: {title:"71" label: "Block 71" } -edge: { sourcename: "71" targetname: "71" } -node: {title:"84" label: "Block 84" } -edge: { sourcename: "84" targetname: "67" } -node: {title:"87" label: "Block 87" } -edge: { sourcename: "87" targetname: "69" } -node: {title: "95" label: "BadT" } +node: {title:"n66" label: "Block n66" } +edge: { sourcename: "n66" targetname: "n68" } +node: {title:"n68" label: "Block n68" } +edge: { sourcename: "n68" targetname: "n92" } +edge: { sourcename: "n68" targetname: "n89" } +edge: { sourcename: "n68" targetname: "n70" } +node: {title:"n70" label: "Block n70" } +edge: { sourcename: "n70" targetname: "n72" } +node: {title:"n72" label: "Block n72" } +edge: { sourcename: "n72" targetname: "n74" } +node: {title:"n74" label: "Block n74" } +edge: { sourcename: "n74" targetname: "n76" } +node: {title:"n76" label: "Block n76" } +edge: { sourcename: "n76" targetname: "n76" } +node: {title:"n89" label: "Block n89" } +edge: { sourcename: "n89" targetname: "n72" } +node: {title:"n92" label: "Block n92" } +edge: { sourcename: "n92" targetname: "n74" } +node: {title: "n100" label: "BadT" } } diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg index 5bec73740..dda16a97a 100644 --- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg +++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg @@ -7,85 +7,85 @@ 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: "61" label: "61" status:clustered color:yellow -edge: {sourcename: "61" targetname: "62" label: "0" color: red} -node: {title: "60" label: "End 60" color: blue} +graph: { title: "n66" label: "66" status:clustered color:yellow +edge: {sourcename: "n66" targetname: "n67" label: "0" color: red} +node: {title: "n65" label: "End 65" color: blue} } -graph: { title: "63" label: "63" status:clustered color:yellow -edge: {sourcename: "63" targetname: "86" label: "0" color: red} -edge: {sourcename: "63" targetname: "83" label: "1" color: red} -edge: {sourcename: "63" targetname: "64" label: "2" color: red} -node: {title: "62" label: "Return 62" } -edge: {sourcename: "62" targetname: "92" label: "0" color: blue} -edge: {sourcename: "62" targetname: "89" label: "1" } -node: {title: "89" label: "PhiI 89" color: green} -edge: {sourcename: "89" targetname: "91" label: "0" } -edge: {sourcename: "89" targetname: "90" label: "1" } -edge: {sourcename: "89" targetname: "90" label: "2" } +graph: { title: "n68" label: "68" status:clustered color:yellow +edge: {sourcename: "n68" targetname: "n91" label: "0" color: red} +edge: {sourcename: "n68" targetname: "n88" label: "1" color: red} +edge: {sourcename: "n68" targetname: "n69" label: "2" color: red} +node: {title: "n67" label: "Return 67" } +edge: {sourcename: "n67" targetname: "n97" label: "0" color: blue} +edge: {sourcename: "n67" targetname: "n94" label: "1" } +node: {title: "n94" label: "PhiI 94" color: green} +edge: {sourcename: "n94" targetname: "n96" label: "0" } +edge: {sourcename: "n94" targetname: "n95" label: "1" } +edge: {sourcename: "n94" targetname: "n95" label: "2" } } -graph: { title: "65" label: "65" status:clustered color:yellow -edge: {sourcename: "65" targetname: "66" label: "0" color: red} -node: {title: "64" label: "Jmp 64" } +graph: { title: "n70" label: "70" status:clustered color:yellow +edge: {sourcename: "n70" targetname: "n71" label: "0" color: red} +node: {title: "n69" label: "Jmp 69" } } -graph: { title: "67" label: "67" status:clustered color:yellow -edge: {sourcename: "67" targetname: "68" label: "0" color: red} -node: {title: "66" label: "ProjX 1 66" color: yellow} -edge: {sourcename: "66" targetname: "79" label: "0" color: red} -node: {title: "79" label: "Cond 79" } -edge: {sourcename: "79" targetname: "80" label: "0" } -node: {title: "80" label: "Projb Eq 80" color: yellow} -edge: {sourcename: "80" targetname: "81" label: "0" } -node: {title: "81" label: "CmpT 81" } -edge: {sourcename: "81" targetname: "82" label: "0" } -edge: {sourcename: "81" targetname: "76" label: "1" } -node: {title: "85" label: "ProjX 0 85" color: yellow} -edge: {sourcename: "85" targetname: "79" label: "0" color: red} +graph: { title: "n72" label: "72" status:clustered color:yellow +edge: {sourcename: "n72" targetname: "n73" label: "0" color: red} +node: {title: "n71" label: "ProjX 1 71" color: yellow} +edge: {sourcename: "n71" targetname: "n84" label: "0" color: red} +node: {title: "n84" label: "Cond 84" } +edge: {sourcename: "n84" targetname: "n85" label: "0" } +node: {title: "n85" label: "Projb Eq 85" color: yellow} +edge: {sourcename: "n85" targetname: "n86" label: "0" } +node: {title: "n86" label: "CmpT 86" } +edge: {sourcename: "n86" targetname: "n87" label: "0" } +edge: {sourcename: "n86" targetname: "n81" label: "1" } +node: {title: "n90" label: "ProjX 0 90" color: yellow} +edge: {sourcename: "n90" targetname: "n84" label: "0" color: red} } -graph: { title: "69" label: "69" status:clustered color:yellow -edge: {sourcename: "69" targetname: "70" label: "0" color: red} -node: {title: "68" label: "ProjX 0 68" color: yellow} -edge: {sourcename: "68" targetname: "73" label: "0" color: red} -node: {title: "73" label: "Cond 73" } -edge: {sourcename: "73" targetname: "74" label: "0" } -node: {title: "74" label: "Projb Eq 74" color: yellow} -edge: {sourcename: "74" targetname: "75" label: "0" } -node: {title: "75" label: "CmpT 75" } -edge: {sourcename: "75" targetname: "78" label: "0" } -edge: {sourcename: "75" targetname: "76" label: "1" } -node: {title: "76" label: "ProjI 0 76" color: yellow} -edge: {sourcename: "76" targetname: "77" label: "0" } -node: {title: "88" label: "ProjX 1 88" color: yellow} -edge: {sourcename: "88" targetname: "73" label: "0" color: red} +graph: { title: "n74" label: "74" status:clustered color:yellow +edge: {sourcename: "n74" targetname: "n75" label: "0" color: red} +node: {title: "n73" label: "ProjX 0 73" color: yellow} +edge: {sourcename: "n73" targetname: "n78" label: "0" color: red} +node: {title: "n78" label: "Cond 78" } +edge: {sourcename: "n78" targetname: "n79" label: "0" } +node: {title: "n79" label: "Projb Eq 79" color: yellow} +edge: {sourcename: "n79" targetname: "n80" label: "0" } +node: {title: "n80" label: "CmpT 80" } +edge: {sourcename: "n80" targetname: "n83" label: "0" } +edge: {sourcename: "n80" targetname: "n81" label: "1" } +node: {title: "n81" label: "ProjI 0 81" color: yellow} +edge: {sourcename: "n81" targetname: "n82" label: "0" } +node: {title: "n93" label: "ProjX 1 93" color: yellow} +edge: {sourcename: "n93" targetname: "n78" label: "0" color: red} } -graph: { title: "71" label: "71" status:clustered color:yellow -edge: {sourcename: "71" targetname: "70" label: "0" color: red} -node: {title: "70" label: "ProjX 0 70" color: yellow} -edge: {sourcename: "70" targetname: "72" label: "0" color: red} -node: {title: "72" label: "Start 72" color: blue} -node: {title: "77" label: "ProjT 4 77" color: yellow} -edge: {sourcename: "77" targetname: "72" label: "0" } -node: {title: "78" label: "1I 78" color: yellow} -node: {title: "82" label: "3I 82" color: yellow} -node: {title: "90" label: "6I 90" color: yellow} -node: {title: "91" label: "5I 91" color: yellow} -node: {title: "92" label: "ProjM 1 92" color: yellow} -edge: {sourcename: "92" targetname: "72" label: "0" color: blue} +graph: { title: "n76" label: "76" status:clustered color:yellow +edge: {sourcename: "n76" targetname: "n75" label: "0" color: red} +node: {title: "n75" label: "ProjX 0 75" color: yellow} +edge: {sourcename: "n75" targetname: "n77" label: "0" color: red} +node: {title: "n77" label: "Start 77" color: blue} +node: {title: "n82" label: "ProjT 4 82" color: yellow} +edge: {sourcename: "n82" targetname: "n77" label: "0" } +node: {title: "n83" label: "1I 83" color: yellow} +node: {title: "n87" label: "3I 87" color: yellow} +node: {title: "n95" label: "6I 95" color: yellow} +node: {title: "n96" label: "5I 96" color: yellow} +node: {title: "n97" label: "ProjM 1 97" color: yellow} +edge: {sourcename: "n97" targetname: "n77" label: "0" color: blue} } -graph: { title: "84" label: "84" status:clustered color:yellow -edge: {sourcename: "84" targetname: "85" label: "0" color: red} -node: {title: "83" label: "Jmp 83" } +graph: { title: "n89" label: "89" status:clustered color:yellow +edge: {sourcename: "n89" targetname: "n90" label: "0" color: red} +node: {title: "n88" label: "Jmp 88" } } -graph: { title: "87" label: "87" status:clustered color:yellow -edge: {sourcename: "87" targetname: "88" label: "0" color: red} -node: {title: "86" label: "Jmp 86" } +graph: { title: "n92" label: "92" status:clustered color:yellow +edge: {sourcename: "n92" targetname: "n93" label: "0" color: red} +node: {title: "n91" label: "Jmp 91" } } -node: {title: "95" label: "Bad 95" } +node: {title: "n100" label: "Bad 100" } } diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg index 61738dd6a..bea0ef4ca 100644 --- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg @@ -7,67 +7,67 @@ 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: "50" label: "50" status:clustered color:yellow -edge: {sourcename: "50" targetname: "51" label: "0" color: red} -node: {title: "49" label: "End 49" color: blue} +graph: { title: "n56" label: "56" status:clustered color:yellow +edge: {sourcename: "n56" targetname: "n57" label: "0" color: red} +node: {title: "n55" label: "End 55" color: blue} } -graph: { title: "52" label: "52" status:clustered color:yellow -edge: {sourcename: "52" targetname: "53" label: "0" color: red} -node: {title: "51" label: "Return 51" } -edge: {sourcename: "51" targetname: "73" label: "0" color: blue} -edge: {sourcename: "51" targetname: "72" label: "1" } -node: {title: "72" label: "SubI 72" } -edge: {sourcename: "72" targetname: "62" label: "0" } -edge: {sourcename: "72" targetname: "61" label: "1" } +graph: { title: "n58" label: "58" status:clustered color:yellow +edge: {sourcename: "n58" targetname: "n59" label: "0" color: red} +node: {title: "n57" label: "Return 57" } +edge: {sourcename: "n57" targetname: "n79" label: "0" color: blue} +edge: {sourcename: "n57" targetname: "n78" label: "1" } +node: {title: "n78" label: "SubI 78" } +edge: {sourcename: "n78" targetname: "n68" label: "0" } +edge: {sourcename: "n78" targetname: "n67" label: "1" } } -graph: { title: "54" label: "54" status:clustered color:yellow -edge: {sourcename: "54" targetname: "71" label: "0" color: red} -edge: {sourcename: "54" targetname: "55" label: "1" color: red} -node: {title: "53" label: "ProjX 0 53" color: yellow} -edge: {sourcename: "53" targetname: "58" label: "0" color: red} -node: {title: "57" label: "ProjX 1 57" color: yellow} -edge: {sourcename: "57" targetname: "58" label: "0" color: red} -node: {title: "58" label: "Cond 58" } -edge: {sourcename: "58" targetname: "59" label: "0" } -node: {title: "59" label: "Projb Eq 59" color: yellow} -edge: {sourcename: "59" targetname: "60" label: "0" } -node: {title: "60" label: "CmpT 60" } -edge: {sourcename: "60" targetname: "70" label: "0" } -edge: {sourcename: "60" targetname: "61" label: "1" } -node: {title: "61" label: "PhiI 61" color: green} -edge: {sourcename: "61" targetname: "69" label: "0" } -edge: {sourcename: "61" targetname: "62" label: "1" } -node: {title: "62" label: "PhiI 62" color: green} -edge: {sourcename: "62" targetname: "63" label: "0" } -edge: {sourcename: "62" targetname: "61" label: "1" } +graph: { title: "n60" label: "60" status:clustered color:yellow +edge: {sourcename: "n60" targetname: "n77" label: "0" color: red} +edge: {sourcename: "n60" targetname: "n61" label: "1" color: red} +node: {title: "n59" label: "ProjX 0 59" color: yellow} +edge: {sourcename: "n59" targetname: "n64" label: "0" color: red} +node: {title: "n63" label: "ProjX 1 63" color: yellow} +edge: {sourcename: "n63" targetname: "n64" label: "0" color: red} +node: {title: "n64" label: "Cond 64" } +edge: {sourcename: "n64" targetname: "n65" label: "0" } +node: {title: "n65" label: "Projb Eq 65" color: yellow} +edge: {sourcename: "n65" targetname: "n66" label: "0" } +node: {title: "n66" label: "CmpT 66" } +edge: {sourcename: "n66" targetname: "n76" label: "0" } +edge: {sourcename: "n66" targetname: "n67" label: "1" } +node: {title: "n67" label: "PhiI 67" color: green} +edge: {sourcename: "n67" targetname: "n75" label: "0" } +edge: {sourcename: "n67" targetname: "n68" label: "1" } +node: {title: "n68" label: "PhiI 68" color: green} +edge: {sourcename: "n68" targetname: "n69" label: "0" } +edge: {sourcename: "n68" targetname: "n67" label: "1" } } -graph: { title: "56" label: "56" status:clustered color:yellow -edge: {sourcename: "56" targetname: "57" label: "0" color: red} -node: {title: "55" label: "Jmp 55" } +graph: { title: "n62" label: "62" status:clustered color:yellow +edge: {sourcename: "n62" targetname: "n63" label: "0" color: red} +node: {title: "n61" label: "Jmp 61" } } -graph: { title: "64" label: "64" status:clustered color:yellow -edge: {sourcename: "64" targetname: "65" label: "0" color: red} -node: {title: "63" label: "ProjI 0 63" color: yellow} -edge: {sourcename: "63" targetname: "68" label: "0" } -node: {title: "71" label: "Jmp 71" } +graph: { title: "n70" label: "70" status:clustered color:yellow +edge: {sourcename: "n70" targetname: "n71" label: "0" color: red} +node: {title: "n69" label: "ProjI 0 69" color: yellow} +edge: {sourcename: "n69" targetname: "n74" label: "0" } +node: {title: "n77" label: "Jmp 77" } } -graph: { title: "66" label: "66" status:clustered color:yellow -edge: {sourcename: "66" targetname: "65" label: "0" color: red} -node: {title: "65" label: "ProjX 0 65" color: yellow} -edge: {sourcename: "65" targetname: "67" label: "0" color: red} -node: {title: "67" label: "Start 67" color: blue} -node: {title: "68" label: "ProjT 4 68" color: yellow} -edge: {sourcename: "68" targetname: "67" label: "0" } -node: {title: "69" label: "1I 69" color: yellow} -node: {title: "70" label: "0I 70" color: yellow} -node: {title: "73" label: "ProjM 1 73" color: yellow} -edge: {sourcename: "73" targetname: "67" label: "0" color: blue} +graph: { title: "n72" label: "72" status:clustered color:yellow +edge: {sourcename: "n72" targetname: "n71" label: "0" color: red} +node: {title: "n71" label: "ProjX 0 71" color: yellow} +edge: {sourcename: "n71" targetname: "n73" label: "0" color: red} +node: {title: "n73" label: "Start 73" color: blue} +node: {title: "n74" label: "ProjT 4 74" color: yellow} +edge: {sourcename: "n74" targetname: "n73" label: "0" } +node: {title: "n75" label: "1I 75" color: yellow} +node: {title: "n76" label: "0I 76" color: yellow} +node: {title: "n79" label: "ProjM 1 79" color: yellow} +edge: {sourcename: "n79" targetname: "n73" label: "0" color: blue} } -node: {title: "76" label: "Bad 76" } +node: {title: "n82" label: "Bad 82" } } diff --git a/testprograms/ref-results/c.vcg b/testprograms/ref-results/c.vcg index c31614cd4..90ad967a3 100644 --- a/testprograms/ref-results/c.vcg +++ b/testprograms/ref-results/c.vcg @@ -7,52 +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" -graph: { title: "216" label: "216" status:clustered color:yellow -node: {title: "215" label: "End 215" color: blue} +graph: { title: "n232" label: "232" status:clustered color:yellow +node: {title: "n231" label: "End 231" color: blue} } -graph: { title: "221" label: "221" status:clustered color:yellow -edge: {sourcename: "221" targetname: "223" label: "0" color: red} -edge: {sourcename: "221" targetname: "222" label: "1" color: red} -node: {title: "225" label: "PhiM 225" color: green} -edge: {sourcename: "225" targetname: "234" label: "0" color: blue} -edge: {sourcename: "225" targetname: "226" label: "1" color: blue} -node: {title: "222" label: "Jmp 222" } -node: {title: "226" label: "Store 226" } -edge: {sourcename: "226" targetname: "225" label: "0" color: blue} -edge: {sourcename: "226" targetname: "232" label: "1" } -edge: {sourcename: "226" targetname: "227" label: "2" } -node: {title: "227" label: "PhiI 227" color: green} -edge: {sourcename: "227" targetname: "230" label: "0" } -edge: {sourcename: "227" targetname: "228" label: "1" } -node: {title: "228" label: "PhiI 228" color: green} -edge: {sourcename: "228" targetname: "229" label: "0" } -edge: {sourcename: "228" targetname: "227" label: "1" } -node: {title: "232" label: "Sel a 232" } -edge: {sourcename: "232" targetname: "225" label: "0" color: blue} -edge: {sourcename: "232" targetname: "233" label: "1" } +graph: { title: "n237" label: "237" status:clustered color:yellow +edge: {sourcename: "n237" targetname: "n239" label: "0" color: red} +edge: {sourcename: "n237" targetname: "n238" label: "1" color: red} +node: {title: "n241" label: "PhiM 241" color: green} +edge: {sourcename: "n241" targetname: "n250" label: "0" color: blue} +edge: {sourcename: "n241" targetname: "n242" label: "1" color: blue} +node: {title: "n238" label: "Jmp 238" } +node: {title: "n242" label: "Store 242" } +edge: {sourcename: "n242" targetname: "n241" label: "0" color: blue} +edge: {sourcename: "n242" targetname: "n248" label: "1" } +edge: {sourcename: "n242" targetname: "n243" label: "2" } +node: {title: "n243" label: "PhiI 243" color: green} +edge: {sourcename: "n243" targetname: "n246" label: "0" } +edge: {sourcename: "n243" targetname: "n244" label: "1" } +node: {title: "n244" label: "PhiI 244" color: green} +edge: {sourcename: "n244" targetname: "n245" label: "0" } +edge: {sourcename: "n244" targetname: "n243" label: "1" } +node: {title: "n248" label: "Sel a 248" } +edge: {sourcename: "n248" targetname: "n241" label: "0" color: blue} +edge: {sourcename: "n248" targetname: "n249" label: "1" } } -graph: { title: "224" label: "224" status:clustered color:yellow -edge: {sourcename: "224" targetname: "219" label: "0" color: red} -node: {title: "223" label: "Jmp 223" } -node: {title: "230" label: "ProjI 1 230" color: yellow} -edge: {sourcename: "230" targetname: "231" label: "0" } -node: {title: "233" label: "ProjP 0 233" color: yellow} -edge: {sourcename: "233" targetname: "231" label: "0" } +graph: { title: "n240" label: "240" status:clustered color:yellow +edge: {sourcename: "n240" targetname: "n235" label: "0" color: red} +node: {title: "n239" label: "Jmp 239" } +node: {title: "n246" label: "ProjI 1 246" color: yellow} +edge: {sourcename: "n246" targetname: "n247" label: "0" } +node: {title: "n249" label: "ProjP 0 249" color: yellow} +edge: {sourcename: "n249" targetname: "n247" label: "0" } } -graph: { title: "218" label: "218" status:clustered color:yellow -edge: {sourcename: "218" targetname: "219" label: "0" color: red} -node: {title: "219" label: "ProjX 0 219" color: yellow} -edge: {sourcename: "219" targetname: "220" label: "0" color: red} -node: {title: "220" label: "Start 220" color: blue} -node: {title: "229" label: "0I 229" color: yellow} -node: {title: "231" label: "ProjT 4 231" color: yellow} -edge: {sourcename: "231" targetname: "220" label: "0" } -node: {title: "234" label: "ProjM 1 234" color: yellow} -edge: {sourcename: "234" targetname: "220" label: "0" color: blue} +graph: { title: "n234" label: "234" status:clustered color:yellow +edge: {sourcename: "n234" targetname: "n235" label: "0" color: red} +node: {title: "n235" label: "ProjX 0 235" color: yellow} +edge: {sourcename: "n235" targetname: "n236" label: "0" color: red} +node: {title: "n236" label: "Start 236" color: blue} +node: {title: "n245" label: "0I 245" color: yellow} +node: {title: "n247" label: "ProjT 4 247" color: yellow} +edge: {sourcename: "n247" targetname: "n236" label: "0" } +node: {title: "n250" label: "ProjM 1 250" color: yellow} +edge: {sourcename: "n250" targetname: "n236" label: "0" color: blue} } -node: {title: "217" label: "Bad 217" } +node: {title: "n233" label: "Bad 233" } } diff --git a/testprograms/ref-results/main-type.vcg b/testprograms/ref-results/main-type.vcg index b8473c62b..d157de26d 100644 --- a/testprograms/ref-results/main-type.vcg +++ b/testprograms/ref-results/main-type.vcg @@ -7,50 +7,65 @@ 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: "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: "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:"t3" targetname: "t1" class: 6 label: "res 0" color: green} } diff --git a/testprograms/ref-results/main.vcg b/testprograms/ref-results/main.vcg index 5d180eab2..a673446cf 100644 --- a/testprograms/ref-results/main.vcg +++ b/testprograms/ref-results/main.vcg @@ -7,43 +7,43 @@ 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: "n52" label: "Bad 52" } } diff --git a/testprograms/ref-results/run-result.txt b/testprograms/ref-results/run-result.txt index 27dc36cd7..c583ebf08 100644 --- a/testprograms/ref-results/run-result.txt +++ b/testprograms/ref-results/run-result.txt @@ -114,9 +114,6 @@ Use xvcg to view these graphs: Creating type information... Done building the graph. Dumping it. -use xvcg to view this graph: -/ben/goetz/bin/xvcg GRAPHNAME - Creating an IR graph: WHILE_EXAMPLE... Optimizing ... diff --git a/testprograms/ref-results/set_a.vcg b/testprograms/ref-results/set_a.vcg index de8943fa5..8ec831a87 100644 --- a/testprograms/ref-results/set_a.vcg +++ b/testprograms/ref-results/set_a.vcg @@ -7,40 +7,40 @@ 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: "198" label: "198" status:clustered color:yellow -edge: {sourcename: "198" targetname: "199" label: "0" color: red} -node: {title: "197" label: "End 197" color: blue} +graph: { title: "n214" label: "214" status:clustered color:yellow +edge: {sourcename: "n214" targetname: "n215" label: "0" color: red} +node: {title: "n213" label: "End 213" color: blue} } -graph: { title: "200" label: "200" status:clustered color:yellow -edge: {sourcename: "200" targetname: "201" label: "0" color: red} -node: {title: "199" label: "Return 199" } -edge: {sourcename: "199" targetname: "204" label: "0" color: blue} -node: {title: "204" label: "ProjM 0 204" color: yellow} -edge: {sourcename: "204" targetname: "205" label: "0" color: blue} -node: {title: "205" label: "Store 205" } -edge: {sourcename: "205" targetname: "210" label: "0" color: blue} -edge: {sourcename: "205" targetname: "208" label: "1" } -edge: {sourcename: "205" targetname: "206" label: "2" } -node: {title: "206" label: "ProjI 1 206" color: yellow} -edge: {sourcename: "206" targetname: "207" label: "0" } -node: {title: "208" label: "Sel a 208" } -edge: {sourcename: "208" targetname: "210" label: "0" color: blue} -edge: {sourcename: "208" targetname: "209" label: "1" } -node: {title: "209" label: "ProjP 0 209" color: yellow} -edge: {sourcename: "209" targetname: "207" label: "0" } +graph: { title: "n216" label: "216" status:clustered color:yellow +edge: {sourcename: "n216" targetname: "n217" label: "0" color: red} +node: {title: "n215" label: "Return 215" } +edge: {sourcename: "n215" targetname: "n220" label: "0" color: blue} +node: {title: "n220" label: "ProjM 0 220" color: yellow} +edge: {sourcename: "n220" targetname: "n221" label: "0" color: blue} +node: {title: "n221" label: "Store 221" } +edge: {sourcename: "n221" targetname: "n226" label: "0" color: blue} +edge: {sourcename: "n221" targetname: "n224" label: "1" } +edge: {sourcename: "n221" targetname: "n222" label: "2" } +node: {title: "n222" label: "ProjI 1 222" color: yellow} +edge: {sourcename: "n222" targetname: "n223" label: "0" } +node: {title: "n224" label: "Sel a 224" } +edge: {sourcename: "n224" targetname: "n226" label: "0" color: blue} +edge: {sourcename: "n224" targetname: "n225" label: "1" } +node: {title: "n225" label: "ProjP 0 225" color: yellow} +edge: {sourcename: "n225" targetname: "n223" label: "0" } } -graph: { title: "202" label: "202" status:clustered color:yellow -edge: {sourcename: "202" targetname: "201" label: "0" color: red} -node: {title: "201" label: "ProjX 0 201" color: yellow} -edge: {sourcename: "201" targetname: "203" label: "0" color: red} -node: {title: "203" label: "Start 203" color: blue} -node: {title: "207" label: "ProjT 4 207" color: yellow} -edge: {sourcename: "207" targetname: "203" label: "0" } -node: {title: "210" label: "ProjM 1 210" color: yellow} -edge: {sourcename: "210" targetname: "203" label: "0" color: blue} +graph: { title: "n218" label: "218" status:clustered color:yellow +edge: {sourcename: "n218" targetname: "n217" label: "0" color: red} +node: {title: "n217" label: "ProjX 0 217" color: yellow} +edge: {sourcename: "n217" targetname: "n219" label: "0" color: red} +node: {title: "n219" label: "Start 219" color: blue} +node: {title: "n223" label: "ProjT 4 223" color: yellow} +edge: {sourcename: "n223" targetname: "n219" label: "0" } +node: {title: "n226" label: "ProjM 1 226" color: yellow} +edge: {sourcename: "n226" targetname: "n219" label: "0" color: blue} } -node: {title: "213" label: "Bad 213" } +node: {title: "n229" label: "Bad 229" } } -- 2.20.1