From f0d338c505f258088ab0f3f2f54ed91a3ee02d72 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Wed, 22 Jan 2003 13:59:05 +0000 Subject: [PATCH] testing procedure installed [r643] --- Makefile.in | 9 + testprograms/Makefile.in | 18 ++ .../ARRAY-HEAP_EXAMPLE_main-type.vcg | 30 +-- .../ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 72 +++--- .../ARRAY-STACK_EXAMPLE_main-all.vcg | 108 ++++----- testprograms/ref-results/All_types.vcg | 70 +++--- .../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 | 98 ++++---- 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 | 184 +++++++-------- .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 106 ++++----- .../OO_PROGRAM_EXAMPLE_main-all.vcg | 182 +++++++-------- .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 100 ++++----- testprograms/ref-results/PRIMA_c-all.vcg | 134 +++++------ testprograms/ref-results/PRIMA_set_a-all.vcg | 114 +++++----- .../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 | 38 ++-- testprograms/ref-results/main.vcg | 66 +++--- testprograms/ref-results/set_a.vcg | 60 ++--- 37 files changed, 1557 insertions(+), 1530 deletions(-) diff --git a/Makefile.in b/Makefile.in index 6726d5ce1..4329a0c41 100644 --- a/Makefile.in +++ b/Makefile.in @@ -73,3 +73,12 @@ stamp-h: config.h.in config.status config.status: configure ./config.status --recheck + +test:: + $(MAKE) -C testprograms test; + +test-reference:: + $(MAKE) -C testprograms reference; + +test-clean: + $(MAKE) -C testprograms realclean diff --git a/testprograms/Makefile.in b/testprograms/Makefile.in index 96c452eb7..9cca442c0 100644 --- a/testprograms/Makefile.in +++ b/testprograms/Makefile.in @@ -10,6 +10,8 @@ srcdir = @srcdir@ topdir = .. subdir := testprograms +DIFF ?= diff +REF_DIR = $(srcdir)/ref-results SOURCES := Makefile.in \ array-heap_example.c empty.c irr_cf_example.c \ @@ -41,3 +43,19 @@ all: $(bin_EXAMPLES) $(topdir)/libfirm.a run: $(run_bin_EXAMPLES) + +test: clean all + ($(run_bin_EXAMPLES))>run-result.txt + ($(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) \ + done; + @echo Libfirm test successful + +reference: clean all + rm -f $(REF_DIR)/*.vcg + ($(run_bin_EXAMPLES))>$(REF_DIR)/run-result.txt + install -c -m0644 *.vcg $(REF_DIR) + +subdir_clean: + rm -f run-result.txt *.vcg $(bin_EXAMPLES) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 53f14870a..1d8f362d1 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -7,39 +7,39 @@ 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: "0x80a0830" label: "ent a_elem_ent" color: yellow info1:"automatic allocated +node: {title: "0x80a1f28" label: "ent a_elem_ent" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x80a0830" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x80a0790" label: "array a"info1: "state: layout_undefined +edge: { sourcename: "0x80a1f28" targetname: "0x809f7c0" class: 3 label: "type" color: red} +node: {title: "0x80a1eb8" label: "array a"info1: "state: layout_undefined size: -1B, "} -edge: { sourcename: "0x80a0790" targetname: "0x809e0c0" class: 10 label: "arr elt tp" color:green} -edge: { sourcename: "0x80a0790" targetname: "0x80a0830" class: 10 label: "arr ent" color: green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +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, mode: I, size: 4B, "} -node: {title: "0x809e170" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow info1:"static allocated +node: {title: "0x809f850" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow info1:"static allocated local constant non_volatile existent - irg = 0x809e1e0 "} -edge: { sourcename: "0x809e170" targetname: "0x809e0e8" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e170" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(GlobalType_ARRAY-HEAP_EXAMPLE_main)P " color: yellow} -node: {title: "0x809bae0" label: "class GlobalType"info1: "state: layout_undefined + 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 size: -1B, " color: green} -edge: { sourcename: "0x809bae0" targetname: "0x809e170" class: 12 label: "member" color:blue} -node: {title: "0x809e0e8" label: "method ARRAY-HEAP_EXAMPLE_main"info1: "state: layout_fixed, +edge: { sourcename: "0x809d1e0" targetname: "0x809f850" class: 12 label: "member" color:blue} +node: {title: "0x809f7e8" label: "method ARRAY-HEAP_EXAMPLE_main"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e0e8" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} +edge: { sourcename: "0x809f7e8" targetname: "0x809f7c0" class: 6 label: "res 0" color: green} } diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index a9334c8b3..a64674656 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: "0x80a0930" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0930" targetname: "0x80a09a8" label: "0" color: red} -node: {title: "0x80a0910" label: "End " color: blue} +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: "0x80a09e4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09e4" targetname: "0x80a0a5c" label: "0" color: red} -node: {title: "0x80a09a8" label: "Return " } -edge: {sourcename: "0x80a09a8" targetname: "0x80a0d70" label: "0" color: blue} -edge: {sourcename: "0x80a09a8" targetname: "0x80a0b44" label: "1" } -node: {title: "0x80a0b44" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a0b44" targetname: "0x80a0b80" label: "0" } -node: {title: "0x80a0b80" label: "Load " } -edge: {sourcename: "0x80a0b80" targetname: "0x80a0d34" label: "0" color: blue} -edge: {sourcename: "0x80a0b80" targetname: "0x80a0bc0" label: "1" } -node: {title: "0x80a0bc0" label: "Sel a_elem_ent" } -edge: {sourcename: "0x80a0bc0" targetname: "0x80a0d34" label: "0" color: blue} -edge: {sourcename: "0x80a0bc0" targetname: "0x80a0c3c" label: "1" } -edge: {sourcename: "0x80a0bc0" targetname: "0x80a0c04" label: "2" } -node: {title: "0x80a0c3c" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a0c3c" targetname: "0x80a0c78" label: "0" } -node: {title: "0x80a0c78" label: "Alloc " } -edge: {sourcename: "0x80a0c78" targetname: "0x80a0cf8" label: "0" color: blue} -edge: {sourcename: "0x80a0c78" targetname: "0x80a0cc0" label: "1" } -node: {title: "0x80a0d34" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0d34" targetname: "0x80a0c78" label: "0" color: blue} -node: {title: "0x80a0d70" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0d70" targetname: "0x80a0b80" label: "0" 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: "0x80a0a98" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a98" targetname: "0x80a0a5c" label: "0" color: red} -node: {title: "0x80a0a5c" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0a5c" targetname: "0x80a0b10" label: "0" color: red} -node: {title: "0x80a0b10" label: "Start " color: blue} -node: {title: "0x80a0c04" label: "3I " color: yellow} -node: {title: "0x80a0cc0" label: "40I " color: yellow} -node: {title: "0x80a0cf8" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0cf8" targetname: "0x80a0b10" 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} } -node: {title: "0x80a0e60" label: "Bad " } +node: {title: "50" label: "Bad 50" } } diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg index d656b308a..95be2b320 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg @@ -7,91 +7,91 @@ 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: "0x80a0a90" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a90" targetname: "0x80a0b08" label: "0" color: red} -node: {title: "0x80a0a70" label: "End " color: blue} +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: "0x80a0b44" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b44" targetname: "0x80a0bbc" label: "0" color: red} -node: {title: "0x80a0b08" label: "Return " } -edge: {sourcename: "0x80a0b08" targetname: "0x80a0e54" label: "0" color: blue} -edge: {sourcename: "0x80a0b08" targetname: "0x80a0ca4" label: "1" } -node: {title: "0x80a0ca4" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a0ca4" targetname: "0x80a0ce0" label: "0" } -node: {title: "0x80a0ce0" label: "Load " } -edge: {sourcename: "0x80a0ce0" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0ce0" targetname: "0x80a0d20" label: "1" } -node: {title: "0x80a0d20" label: "Sel a_tp_elem_ent" } -edge: {sourcename: "0x80a0d20" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0d20" targetname: "0x80a0d9c" label: "1" } -edge: {sourcename: "0x80a0d20" targetname: "0x80a0d64" label: "2" } -node: {title: "0x80a0d9c" label: "Sel a" } -edge: {sourcename: "0x80a0d9c" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0d9c" targetname: "0x80a0ddc" label: "1" } -node: {title: "0x80a0e54" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0e54" targetname: "0x80a0ce0" label: "0" 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: "0x80a0bf8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0bf8" targetname: "0x80a0bbc" label: "0" color: red} -node: {title: "0x80a0bbc" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0bbc" targetname: "0x80a0c70" label: "0" color: red} -node: {title: "0x80a0c70" label: "Start " color: blue} -node: {title: "0x80a0d64" label: "3I " color: yellow} -node: {title: "0x80a0ddc" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a0ddc" targetname: "0x80a0c70" label: "0" } -node: {title: "0x80a0e18" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0e18" targetname: "0x80a0c70" 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} } -node: {title: "0x80a0f08" label: "Bad " } -node: {title: "0x80a08e8" label: "ent a_tp_elem_ent" color: yellow info1:"automatic allocated +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: "0x80a08e8" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x80a0850" label: "array a_tp"info1: "state: layout_undefined +edge: { sourcename: "0x80a1f88" targetname: "0x809f7a0" class: 3 label: "type" color: red} +node: {title: "0x80a1f10" label: "array a_tp"info1: "state: layout_undefined size: -1B, "} -edge: { sourcename: "0x80a0850" targetname: "0x809e0c0" class: 10 label: "arr elt tp" color:green} -edge: { sourcename: "0x80a0850" targetname: "0x80a08e8" class: 10 label: "arr ent" color: green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +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, mode: I, size: 4B, "} -node: {title: "0x80a0970" label: "ent a" color: yellow info1:"automatic allocated +node: {title: "0x80a2010" label: "ent a" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x80a0970" targetname: "0x80a0850" class: 3 label: "type" color: red} -node: {title: "0x80a0750" label: "class mainframe_tp"info1: "state: layout_undefined +edge: { sourcename: "0x80a2010" targetname: "0x80a1f10" class: 3 label: "type" color: red} +node: {title: "0x80a1e38" label: "class mainframe_tp"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x80a0750" targetname: "0x80a0970" class: 12 label: "member" color:blue} -node: {title: "0x809e1e0" label: "ent main" color: yellow info1:"static allocated +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 = 0x809e268 "} -edge: { sourcename: "0x809e1e0" targetname: "0x809e180" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e1e0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(ARRAY-STACK_EXAMPLE_main)P " color: yellow} -node: {title: "0x809e0e8" label: "class ARRAY-STACK_EXAMPLE"info1: "state: layout_undefined + 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 size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1e0" class: 12 label: "member" color:blue} -node: {title: "0x809e180" label: "method main"info1: "state: layout_fixed, +edge: { sourcename: "0x809f7c8" targetname: "0x809f8a8" class: 12 label: "member" color:blue} +node: {title: "0x809f848" label: "method main"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -edge: { sourcename: "0x80a0d20" targetname: "0x80a08e8" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a0d9c" targetname: "0x80a0970" class: 2 priority: 2 linestyle: dotted} +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} } diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg index 5b060dd12..d246e61fe 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -17,78 +17,78 @@ classname 10: "Array Element Type" classname 11: "Overwrites" classname 12: "Member" -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +node: {title: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -node: {title: "0x809e0e8" label: "class PRIMA"info1: "state: layout_undefined +node: {title: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1b0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e2d0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e3a0" class: 12 label: "member" color:blue} -node: {title: "0x809e1b0" label: "ent a" color: yellow info1:"automatic allocated +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: "0x809e1b0" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x809e2d0" label: "ent set_a" color: yellow info1:"static allocated +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 = 0x80a0ae0 "} -edge: { sourcename: "0x809e2d0" targetname: "0x809e238" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e2d0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(PRIMA_set_a)P " color: yellow} -node: {title: "0x809e238" label: "method set_a"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e238" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e238" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -node: {title: "0x809e180" label: "pointer class_prima_ptr"info1: "state: layout_fixed, +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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0e8" class: 9 label: "points to" color:green} -node: {title: "0x809e3a0" label: "ent c" color: yellow info1:"static allocated +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 = 0x80a30e8 "} -edge: { sourcename: "0x809e3a0" targetname: "0x809e340" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e3a0" targetname: "0x809beb0" label: "value "} -node: {title: "0x809beb0" label: "&(PRIMA_c)P " color: yellow} -node: {title: "0x809e340" label: "method c"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e340" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -node: {title: "0x809e428" label: "method OO_INLINE_EXAMPLE_main"info1: "state: layout_fixed, +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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e428" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -node: {title: "0x809bae0" label: "class GlobalType"info1: "state: layout_undefined +edge: { sourcename: "0x80a0198" targetname: "0x809fe40" class: 6 label: "res 0" color: green} +node: {title: "0x809d860" label: "class GlobalType"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809bae0" targetname: "0x809e488" class: 12 label: "member" color:blue} -node: {title: "0x809e488" label: "ent OO_INLINE_EXAMPLE_main" color: yellow info1:"static allocated +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 = 0x809e510 "} -edge: { sourcename: "0x809e488" targetname: "0x809e428" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e488" targetname: "0x809bee8" label: "value "} -node: {title: "0x809bee8" label: "&(GlobalType_OO_INLINE_EXAMPLE_main)P " color: yellow} + 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} } diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg index 7e7df9c23..858e75b18 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: "0x80a09b0" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09b0" targetname: "0x80a0a28" label: "0" color: red} -node: {title: "0x80a0990" label: "End " color: blue} +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: "0x80a0a60" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a60" targetname: "0x80a0ad8" label: "0" color: red} -node: {title: "0x80a0a28" label: "Return " } -edge: {sourcename: "0x80a0a28" targetname: "0x80a0bc0" label: "0" color: blue} -node: {title: "0x80a0bc0" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0bc0" targetname: "0x80a0bfc" label: "0" color: blue} -node: {title: "0x80a0bfc" label: "Call " } -edge: {sourcename: "0x80a0bfc" targetname: "0x80a0cbc" label: "0" color: blue} -edge: {sourcename: "0x80a0bfc" targetname: "0x80a0c80" label: "1" } -edge: {sourcename: "0x80a0bfc" targetname: "0x80a0c48" label: "2" } -node: {title: "0x80a0c80" label: "SymC f " } +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: "0x80a0b14" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b14" targetname: "0x80a0ad8" label: "0" color: red} -node: {title: "0x80a0ad8" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0ad8" targetname: "0x80a0b8c" label: "0" color: red} -node: {title: "0x80a0b8c" label: "Start " color: blue} -node: {title: "0x80a0c48" label: "Hello world!P " color: yellow} -node: {title: "0x80a0cbc" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0cbc" targetname: "0x80a0b8c" label: "0" color: blue} +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} } -node: {title: "0x80a0dac" label: "Bad " } +node: {title: "37" label: "Bad 37" } } diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg index 324859d74..2c44d821e 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: "0x80a0910" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0910" targetname: "0x80a0988" label: "0" color: red} -node: {title: "0x80a08f0" label: "End " color: blue} +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: "0x80a09c4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09c4" targetname: "0x80a0f54" label: "0" color: red} -edge: {sourcename: "0x80a09c4" targetname: "0x80a0a44" label: "1" color: red} -node: {title: "0x80a0988" label: "Return " } -edge: {sourcename: "0x80a0988" targetname: "0x80a10cc" label: "0" color: blue} -edge: {sourcename: "0x80a0988" targetname: "0x80a103c" label: "1" } -node: {title: "0x80a103c" label: "PhiI " color: green} -edge: {sourcename: "0x80a103c" targetname: "0x80a1094" label: "0" } -edge: {sourcename: "0x80a103c" targetname: "0x80a0df4" label: "1" } +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: "0x80a0a80" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a80" targetname: "0x80a0af8" label: "0" color: red} -node: {title: "0x80a0a44" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0a44" targetname: "0x80a0be0" label: "0" color: red} -node: {title: "0x80a0be0" label: "Cond " } -edge: {sourcename: "0x80a0be0" targetname: "0x80a0c20" label: "0" } -node: {title: "0x80a0c20" label: "Projb Ne" color: yellow} -edge: {sourcename: "0x80a0c20" targetname: "0x80a0c5c" label: "0" } -node: {title: "0x80a0c5c" label: "CmpT " } -edge: {sourcename: "0x80a0c5c" targetname: "0x80a0cd0" label: "0" } -edge: {sourcename: "0x80a0c5c" targetname: "0x80a0c98" label: "1" } -node: {title: "0x80a0cd0" label: "AndI " } -edge: {sourcename: "0x80a0cd0" targetname: "0x80a0e6c" label: "0" } -edge: {sourcename: "0x80a0cd0" targetname: "0x80a0d0c" label: "1" } -node: {title: "0x80a0d0c" label: "ConvI " } -edge: {sourcename: "0x80a0d0c" targetname: "0x80a0d44" label: "0" } -node: {title: "0x80a0d44" label: "Projb Lt" color: yellow} -edge: {sourcename: "0x80a0d44" targetname: "0x80a0d80" label: "0" } -node: {title: "0x80a0d80" label: "CmpT " } -edge: {sourcename: "0x80a0d80" targetname: "0x80a0df4" label: "0" } -edge: {sourcename: "0x80a0d80" targetname: "0x80a0dbc" label: "1" } -node: {title: "0x80a0df4" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a0df4" targetname: "0x80a0e30" label: "0" } -node: {title: "0x80a0e6c" label: "ConvI " } -edge: {sourcename: "0x80a0e6c" targetname: "0x80a0ea4" label: "0" } -node: {title: "0x80a0ea4" label: "Projb Gt" color: yellow} -edge: {sourcename: "0x80a0ea4" targetname: "0x80a0ee0" label: "0" } -node: {title: "0x80a0ee0" label: "CmpT " } -edge: {sourcename: "0x80a0ee0" targetname: "0x80a0df4" label: "0" } -edge: {sourcename: "0x80a0ee0" targetname: "0x80a0f1c" label: "1" } -node: {title: "0x80a1000" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a1000" targetname: "0x80a0be0" label: "0" color: red} +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: "0x80a0b34" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b34" targetname: "0x80a0af8" label: "0" color: red} -node: {title: "0x80a0af8" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0af8" targetname: "0x80a0bac" label: "0" color: red} -node: {title: "0x80a0bac" label: "Start " color: blue} -node: {title: "0x80a0c98" label: "0I " color: yellow} -node: {title: "0x80a0dbc" label: "10I " color: yellow} -node: {title: "0x80a0e30" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a0e30" targetname: "0x80a0bac" label: "0" } -node: {title: "0x80a0f1c" label: "2I " color: yellow} -node: {title: "0x80a1094" label: "1I " color: yellow} -node: {title: "0x80a10cc" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a10cc" targetname: "0x80a0bac" label: "0" color: blue} +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: "0x80a0f88" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0f88" targetname: "0x80a1000" label: "0" color: red} -node: {title: "0x80a0f54" label: "Jmp " } +graph: { title: "68" label: "68" status:clustered color:yellow +edge: {sourcename: "68" targetname: "69" label: "0" color: red} +node: {title: "67" label: "Jmp 67" } } -node: {title: "0x80a1180" label: "Bad " } +node: {title: "75" label: "Bad 75" } } diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg index e67d104af..d2f6027f5 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: "0x80a08c8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a08c8" targetname: "0x80a0940" label: "0" color: red} -node: {title: "0x80a08a8" label: "End " color: blue} +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: "0x80a0980" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0980" targetname: "0x80a09f8" label: "0" color: red} -node: {title: "0x80a0940" label: "Return " } -edge: {sourcename: "0x80a0940" targetname: "0x80a0b18" label: "0" color: blue} -edge: {sourcename: "0x80a0940" targetname: "0x80a0ae0" label: "1" } -edge: {sourcename: "0x80a0940" targetname: "0x80a0ae0" label: "2" } +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: "0x80a0a34" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a34" targetname: "0x80a09f8" label: "0" color: red} -node: {title: "0x80a09f8" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a09f8" targetname: "0x80a0aac" label: "0" color: red} -node: {title: "0x80a0aac" label: "Start " color: blue} -node: {title: "0x80a0ae0" label: "12I " color: yellow} -node: {title: "0x80a0b18" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0b18" targetname: "0x80a0aac" label: "0" color: blue} +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} } -node: {title: "0x80a0c08" label: "Bad " } +node: {title: "40" label: "Bad 40" } } diff --git a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg index 5e53e0d9d..2ac0d57c0 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:"0x80a0928" label: "Block 0x80a0928" } -edge: { sourcename: "0x80a0928" targetname: "0x80a0ba4" } -node: {title:"0x80a0ba4" label: "Block 0x80a0ba4" } -edge: { sourcename: "0x80a0ba4" targetname: "0x80a0a88" } -node: {title:"0x80a0a88" label: "Block 0x80a0a88" } -edge: { sourcename: "0x80a0a88" targetname: "0x80a0a88" } -node: {title: "0x80a0a54" label: "BadT" } +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" } } diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg index 7225a8d9d..5654e0d16 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: "0x80a0928" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0928" targetname: "0x80a09a0" label: "0" color: red} -node: {title: "0x80a0908" label: "End " color: blue} +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: "0x80a0ba4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0ba4" targetname: "0x80a0b00" label: "0" color: red} -node: {title: "0x80a09a0" label: "Return " } -edge: {sourcename: "0x80a09a0" targetname: "0x80a0c6c" label: "0" color: blue} -edge: {sourcename: "0x80a09a0" targetname: "0x80a0c34" label: "1" } +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: "0x80a0a88" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a88" targetname: "0x80a0b00" label: "0" color: red} -node: {title: "0x80a0b00" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0b00" targetname: "0x80a0b3c" label: "0" color: red} -node: {title: "0x80a0b3c" label: "Start " color: blue} -node: {title: "0x80a0c34" label: "2I " color: yellow} -node: {title: "0x80a0c6c" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0c6c" targetname: "0x80a0b3c" label: "0" color: blue} +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} } -node: {title: "0x80a0a54" label: "Bad " } +node: {title: "53" label: "Bad 53" } } diff --git a/testprograms/ref-results/EMPTY_main.vcg b/testprograms/ref-results/EMPTY_main.vcg index 4605b5417..0db0dfc70 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: "0x809e280" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e280" targetname: "0x809e5e0" label: "0" color: red} -node: {title: "0x809e2e4" label: "End " color: blue} +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: "0x809e544" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e544" targetname: "0x809e404" label: "0" color: red} -node: {title: "0x809e5e0" label: "Return " } -edge: {sourcename: "0x809e5e0" targetname: "0x809e440" label: "0" 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: "0x809e304" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e304" targetname: "0x809e404" label: "0" color: red} -node: {title: "0x809e404" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x809e404" targetname: "0x809e368" label: "0" color: red} -node: {title: "0x809e368" label: "Start " color: blue} -node: {title: "0x809e440" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x809e440" targetname: "0x809e368" 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} } -node: {title: "0x809e39c" label: "Bad " } +node: {title: "6" label: "Bad 6" } } diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg index 56a4b98e2..a11e46fe5 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: "0x80a0930" label: "Block" status:clustered color:yellow -node: {title: "0x80a0910" label: "End " color: blue} -edge: {sourcename: "0x80a0910" targetname: "0x80a0aac" label: "0" color: red} -edge: {sourcename: "0x80a0910" targetname: "0x80a0cd0" label: "1" } +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: "0x80a0aac" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0aac" targetname: "0x80a0c24" label: "0" color: red} -edge: {sourcename: "0x80a0aac" targetname: "0x80a0b2c" label: "1" color: red} -node: {title: "0x80a0cd0" label: "PhiM " color: green} -edge: {sourcename: "0x80a0cd0" targetname: "0x80a0fb0" label: "0" color: blue} -edge: {sourcename: "0x80a0cd0" targetname: "0x80a0d28" label: "1" color: blue} -node: {title: "0x80a0b2c" label: "Jmp " } -node: {title: "0x80a0d28" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0d28" targetname: "0x80a0d64" label: "0" color: blue} -node: {title: "0x80a0d64" label: "Store " } -edge: {sourcename: "0x80a0d64" targetname: "0x80a0cd0" label: "0" color: blue} -edge: {sourcename: "0x80a0d64" targetname: "0x80a0f40" label: "1" } -edge: {sourcename: "0x80a0d64" targetname: "0x80a0de0" label: "2" } -node: {title: "0x80a0de0" label: "PhiI " color: green} -edge: {sourcename: "0x80a0de0" targetname: "0x80a0ec8" label: "0" } -edge: {sourcename: "0x80a0de0" targetname: "0x80a0e38" label: "1" } -node: {title: "0x80a0e38" label: "PhiI " color: green} -edge: {sourcename: "0x80a0e38" targetname: "0x80a0e90" label: "0" } -edge: {sourcename: "0x80a0e38" targetname: "0x80a0de0" 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: "0x80a0c58" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0c58" targetname: "0x80a0a3c" label: "0" color: red} -node: {title: "0x80a0c24" label: "Jmp " } -node: {title: "0x80a0ec8" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a0ec8" targetname: "0x80a0f04" label: "0" } +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: "0x80a09c4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09c4" targetname: "0x80a0a3c" label: "0" color: red} -node: {title: "0x80a0a3c" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0a3c" targetname: "0x80a0a78" label: "0" color: red} -node: {title: "0x80a0a78" label: "Start " color: blue} -node: {title: "0x80a0e90" label: "1I " color: yellow} -node: {title: "0x80a0f04" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a0f04" targetname: "0x80a0a78" label: "0" } -node: {title: "0x80a0f40" label: "VAR_AP " color: yellow} -node: {title: "0x80a0fb0" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0fb0" targetname: "0x80a0a78" label: "0" color: blue} +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} } -node: {title: "0x80a0990" label: "Bad " } +node: {title: "59" label: "Bad 59" } } diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg index 7e072a0d8..a7a921389 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: "0x80a0870" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0870" targetname: "0x80a08e8" label: "0" color: red} -node: {title: "0x80a0850" label: "End " color: blue} +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: "0x80a0924" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0924" targetname: "0x80a0d54" label: "0" color: red} -edge: {sourcename: "0x80a0924" targetname: "0x80a09a4" label: "1" color: red} -node: {title: "0x80a08e8" label: "Return " } -edge: {sourcename: "0x80a08e8" targetname: "0x80a0f7c" label: "0" color: blue} -edge: {sourcename: "0x80a08e8" targetname: "0x80a0e3c" label: "1" } -node: {title: "0x80a0e3c" label: "PhiI " color: green} -edge: {sourcename: "0x80a0e3c" targetname: "0x80a0f08" label: "0" } -edge: {sourcename: "0x80a0e3c" targetname: "0x80a0e94" label: "1" } +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: "0x80a09d8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09d8" targetname: "0x80a0a50" label: "0" color: red} -node: {title: "0x80a09a4" label: "Jmp " } +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: "0x80a0a8c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a8c" targetname: "0x80a0b04" label: "0" color: red} -node: {title: "0x80a0bec" label: "Cond " } -edge: {sourcename: "0x80a0bec" targetname: "0x80a0c2c" label: "0" } +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: "0x80a0b40" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b40" targetname: "0x80a0b04" label: "0" color: red} -node: {title: "0x80a0bb8" label: "Start " color: blue} +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: "0x80a0d88" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0d88" targetname: "0x80a0e00" label: "0" color: red} -node: {title: "0x80a0d54" label: "Jmp " } +graph: { title: "65" label: "65" status:clustered color:yellow +edge: {sourcename: "65" targetname: "66" label: "0" color: red} +node: {title: "64" label: "Jmp 64" } } -node: {title: "0x80a0a50" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0a50" targetname: "0x80a0bec" label: "0" color: red} -node: {title: "0x80a0b04" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0b04" targetname: "0x80a0bb8" label: "0" color: red} -node: {title: "0x80a0c2c" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0c2c" targetname: "0x80a0c68" label: "0" } -node: {title: "0x80a0c68" label: "CmpT " } -edge: {sourcename: "0x80a0c68" targetname: "0x80a0cdc" label: "0" } -edge: {sourcename: "0x80a0c68" targetname: "0x80a0ca4" label: "1" } -node: {title: "0x80a0ca4" label: "2I " color: yellow} -node: {title: "0x80a0cdc" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a0cdc" targetname: "0x80a0d18" label: "0" } -node: {title: "0x80a0d18" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a0d18" targetname: "0x80a0bb8" label: "0" } -node: {title: "0x80a0e00" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0e00" targetname: "0x80a0bec" label: "0" color: red} -node: {title: "0x80a0e94" label: "SubI " } -edge: {sourcename: "0x80a0e94" targetname: "0x80a0cdc" label: "0" } -edge: {sourcename: "0x80a0e94" targetname: "0x80a0ed0" label: "1" } -node: {title: "0x80a0ed0" label: "3I " color: yellow} -node: {title: "0x80a0f08" label: "AddI " } -edge: {sourcename: "0x80a0f08" targetname: "0x80a0e94" label: "0" } -edge: {sourcename: "0x80a0f08" targetname: "0x80a0f44" label: "1" } -node: {title: "0x80a0f44" label: "5I " color: yellow} -node: {title: "0x80a0f7c" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0f7c" targetname: "0x80a0bb8" label: "0" color: blue} -node: {title: "0x80a1030" label: "Bad " } +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" } } diff --git a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg index 2b697f6cf..7b9a111a8 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg @@ -7,71 +7,71 @@ 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: "0x80a0878" label: "End " color: blue} -edge: { sourcename: "0x80a0878" targetname: "0x80a0898" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0898" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0898" targetname: "0x80a0910" label: "0" color: red} -node: {title: "0x80a0910" label: "Return " } -edge: { sourcename: "0x80a0910" targetname: "0x80a0948" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0910" targetname: "0x80a0aa8" label: "0" color: blue} -node: {title: "0x80a0948" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0948" targetname: "0x80a09c0" label: "0" color: red} -node: {title: "0x80a09c0" label: "ProjX 0" color: yellow} -edge: { sourcename: "0x80a09c0" targetname: "0x80a09fc" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a09c0" targetname: "0x80a0a74" label: "0" color: red} -node: {title: "0x80a09fc" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a09fc" targetname: "0x80a09c0" label: "0" color: red} -node: {title: "0x80a0a74" label: "Start " color: blue} -edge: { sourcename: "0x80a0a74" targetname: "0x80a09fc" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0aa8" label: "ProjM 0" color: yellow} -edge: { sourcename: "0x80a0aa8" targetname: "0x80a0948" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0aa8" targetname: "0x80a0ae4" label: "0" color: blue} -node: {title: "0x80a0ae4" label: "Store " } -edge: { sourcename: "0x80a0ae4" targetname: "0x80a0948" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0ae4" targetname: "0x80a0bdc" label: "0" color: blue} -edge: {sourcename: "0x80a0ae4" targetname: "0x80a0b60" label: "1" } -edge: {sourcename: "0x80a0ae4" targetname: "0x80a0b28" label: "2" } -node: {title: "0x80a0b28" label: "2I " color: yellow} -edge: { sourcename: "0x80a0b28" targetname: "0x80a09fc" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0b60" label: "Sel i" } -edge: { sourcename: "0x80a0b60" targetname: "0x80a0948" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0b60" targetname: "0x80a0bdc" label: "0" color: blue} -edge: {sourcename: "0x80a0b60" targetname: "0x80a0ba0" label: "1" } -node: {title: "0x80a0ba0" label: "ProjP 3" color: yellow} -edge: { sourcename: "0x80a0ba0" targetname: "0x80a09fc" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0ba0" targetname: "0x80a0a74" label: "0" } -node: {title: "0x80a0bdc" label: "ProjM 1" color: yellow} -edge: { sourcename: "0x80a0bdc" targetname: "0x80a09fc" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0bdc" targetname: "0x80a0a74" label: "0" color: blue} -node: {title: "0x809e1e0" label: "ent i" color: yellow info1:"automatic allocated +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: "0x809e1e0" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x809bae0" label: "class GlobalType"info1: "state: layout_undefined +edge: { sourcename: "0x809f7f8" targetname: "0x809f6c0" class: 3 label: "type" color: red} +node: {title: "0x809d0e0" label: "class GlobalType"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809bae0" targetname: "0x809e170" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809bae0" targetname: "0x809e1e0" class: 12 label: "member" color:blue} -node: {title: "0x809e170" label: "ent GLOBAL_VAR_main" color: yellow info1:"static allocated +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 = 0x809e278 "} -edge: { sourcename: "0x809e170" targetname: "0x809e0e8" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e170" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(GlobalType_GLOBAL_VAR_main)P " color: yellow} -node: {title: "0x809e0e8" label: "method GLOBAL_VAR_main"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +node: {title: "0x809f6c0" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -edge: { sourcename: "0x80a0b60" targetname: "0x809e1e0" class: 2 priority: 2 linestyle: dotted} +edge: { sourcename: "32" targetname: "0x809f7f8" 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 e9021ffbc..8824f87f0 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: "0x80a0898" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0898" targetname: "0x80a0910" label: "0" color: red} -node: {title: "0x80a0878" label: "End " color: blue} +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: "0x80a0948" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0948" targetname: "0x80a09c0" label: "0" color: red} -node: {title: "0x80a0910" label: "Return " } -edge: {sourcename: "0x80a0910" targetname: "0x80a0aa8" label: "0" color: blue} -node: {title: "0x80a0aa8" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0aa8" targetname: "0x80a0ae4" label: "0" color: blue} -node: {title: "0x80a0ae4" label: "Store " } -edge: {sourcename: "0x80a0ae4" targetname: "0x80a0bdc" label: "0" color: blue} -edge: {sourcename: "0x80a0ae4" targetname: "0x80a0b60" label: "1" } -edge: {sourcename: "0x80a0ae4" targetname: "0x80a0b28" label: "2" } -node: {title: "0x80a0b60" label: "Sel i" } -edge: {sourcename: "0x80a0b60" targetname: "0x80a0bdc" label: "0" color: blue} -edge: {sourcename: "0x80a0b60" targetname: "0x80a0ba0" label: "1" } +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: "0x80a09fc" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09fc" targetname: "0x80a09c0" label: "0" color: red} -node: {title: "0x80a09c0" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a09c0" targetname: "0x80a0a74" label: "0" color: red} -node: {title: "0x80a0a74" label: "Start " color: blue} -node: {title: "0x80a0b28" label: "2I " color: yellow} -node: {title: "0x80a0ba0" label: "ProjP 3" color: yellow} -edge: {sourcename: "0x80a0ba0" targetname: "0x80a0a74" label: "0" } -node: {title: "0x80a0bdc" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0bdc" targetname: "0x80a0a74" label: "0" color: blue} +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} } -node: {title: "0x80a0c90" label: "Bad " } +node: {title: "37" label: "Bad 37" } } diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg index 590c29ef7..100b25117 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: "0x80a0860" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0860" targetname: "0x80a08d8" label: "0" color: red} -node: {title: "0x80a0840" label: "End " color: blue} +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: "0x80a09c4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09c4" targetname: "0x80a0a3c" label: "0" color: red} -node: {title: "0x80a08d8" label: "Return " } -edge: {sourcename: "0x80a08d8" targetname: "0x80a0be0" label: "0" color: blue} -edge: {sourcename: "0x80a08d8" targetname: "0x80a0ba8" label: "1" } -edge: {sourcename: "0x80a08d8" targetname: "0x80a0b70" label: "2" } +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: "0x80a0a78" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a78" targetname: "0x80a0a3c" label: "0" color: red} -node: {title: "0x80a0a3c" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0a3c" targetname: "0x80a0af0" label: "0" color: red} -node: {title: "0x80a0af0" label: "Start " color: blue} -node: {title: "0x80a0b70" label: "2I " color: yellow} -node: {title: "0x80a0ba8" label: "0I " color: yellow} -node: {title: "0x80a0be0" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0be0" targetname: "0x80a0af0" label: "0" color: blue} +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} } -node: {title: "0x80a0b24" label: "Bad " } +node: {title: "56" label: "Bad 56" } } diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg index d2c033c96..9a9c526a9 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: "0x809e2a0" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e2a0" targetname: "0x809eb2c" label: "0" color: red} -node: {title: "0x809e30c" label: "End " color: blue} +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: "0x809e910" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e910" targetname: "0x809e720" label: "0" color: red} -edge: {sourcename: "0x809e910" targetname: "0x809e8dc" label: "1" color: red} -node: {title: "0x809eb2c" label: "Return " } -edge: {sourcename: "0x809eb2c" targetname: "0x809e470" label: "0" color: blue} -edge: {sourcename: "0x809eb2c" targetname: "0x809e9cc" label: "1" } -node: {title: "0x809e9cc" label: "PhiI " color: green} -edge: {sourcename: "0x809e9cc" targetname: "0x809e5e0" label: "0" } -edge: {sourcename: "0x809e9cc" targetname: "0x809e874" label: "1" } +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: "0x809e798" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e798" targetname: "0x809e75c" label: "0" color: red} -node: {title: "0x809e8dc" label: "Jmp " } -node: {title: "0x809e874" label: "SubI " } -edge: {sourcename: "0x809e874" targetname: "0x809e5e0" label: "0" } -edge: {sourcename: "0x809e874" targetname: "0x809e804" 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: "0x809e574" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e574" targetname: "0x809e434" label: "0" color: red} -node: {title: "0x809e75c" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x809e75c" targetname: "0x809e6e0" label: "0" color: red} -node: {title: "0x809e6e0" label: "Cond " } -edge: {sourcename: "0x809e6e0" targetname: "0x809e6a4" label: "0" } -node: {title: "0x809e6a4" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x809e6a4" targetname: "0x809e668" label: "0" } -node: {title: "0x809e668" label: "CmpT " } -edge: {sourcename: "0x809e668" targetname: "0x809e5e0" label: "0" } -edge: {sourcename: "0x809e668" targetname: "0x809e61c" label: "1" } -node: {title: "0x809e5e0" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x809e5e0" targetname: "0x809e524" label: "0" } -node: {title: "0x809e720" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x809e720" targetname: "0x809e6e0" label: "0" color: red} +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: "0x809e32c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x809e32c" targetname: "0x809e434" label: "0" color: red} -node: {title: "0x809e434" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x809e434" targetname: "0x809e398" label: "0" color: red} -node: {title: "0x809e398" label: "Start " color: blue} -node: {title: "0x809e61c" label: "2I " color: yellow} -node: {title: "0x809e524" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x809e524" targetname: "0x809e398" label: "0" } -node: {title: "0x809e804" label: "3I " color: yellow} -node: {title: "0x809e470" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x809e470" targetname: "0x809e398" 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: "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} } -node: {title: "0x809e3cc" label: "Bad " } +node: {title: "6" label: "Bad 6" } } diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg index 40e64f8a2..0399e9796 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: "0x80a0d8c" label: "Start " color: blue} -edge: { sourcename: "0x80a0d8c" targetname: "0x80a0cd8" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0d50" label: "ProjX 0" color: yellow} -edge: { sourcename: "0x80a0d50" targetname: "0x80a0cd8" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0d50" targetname: "0x80a0d8c" label: "0" color: red} -node: {title: "0x80a0cd8" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0d50" label: "0" color: red} -node: {title: "0x80a0ca0" label: "0I " color: yellow} -edge: { sourcename: "0x80a0ca0" targetname: "0x80a0cd8" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0c64" label: "CmpT " } -edge: { sourcename: "0x80a0c64" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0c64" targetname: "0x80a0ca0" label: "0" } -edge: {sourcename: "0x80a0c64" targetname: "0x80a0ca0" label: "1" } -node: {title: "0x80a0c28" label: "Projb Eq" color: yellow} -edge: { sourcename: "0x80a0c28" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0c28" targetname: "0x80a0c64" label: "0" } -node: {title: "0x80a0be8" label: "Cond " } -edge: { sourcename: "0x80a0be8" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0be8" targetname: "0x80a0c28" label: "0" } -node: {title: "0x80a0bac" label: "ProjX 1" color: yellow} -edge: { sourcename: "0x80a0bac" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0bac" targetname: "0x80a0be8" label: "0" color: red} -node: {title: "0x80a0b34" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0b34" targetname: "0x80a0bac" label: "0" color: red} -node: {title: "0x80a0b00" label: "Jmp " } -edge: { sourcename: "0x80a0b00" targetname: "0x80a0b34" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0df4" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0df4" targetname: "0x80a0d50" label: "0" color: red} -node: {title: "0x80a0dc0" label: "Jmp " } -edge: { sourcename: "0x80a0dc0" targetname: "0x80a0df4" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0a80" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0dc0" label: "0" color: red} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0b00" label: "1" color: red} -node: {title: "0x80a0a44" label: "ProjX 0" color: yellow} -edge: { sourcename: "0x80a0a44" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0a44" targetname: "0x80a0be8" label: "0" color: red} -node: {title: "0x80a09cc" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a09cc" targetname: "0x80a0a44" label: "0" color: red} -node: {title: "0x80a0f58" label: "0I " color: yellow} -edge: { sourcename: "0x80a0f58" targetname: "0x80a0cd8" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0f00" label: "PhiI " color: green} -edge: { sourcename: "0x80a0f00" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0f00" targetname: "0x80a0f58" label: "0" } -edge: {sourcename: "0x80a0f00" targetname: "0x80a0ea8" label: "1" } -node: {title: "0x80a0f90" label: "1I " color: yellow} -edge: { sourcename: "0x80a0f90" targetname: "0x80a0cd8" class: 2 priority: 2 linestyle: dotted} -node: {title: "0x80a0ea8" label: "PhiI " color: green} -edge: { sourcename: "0x80a0ea8" targetname: "0x80a0a80" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0ea8" targetname: "0x80a0f90" label: "0" } -edge: {sourcename: "0x80a0ea8" targetname: "0x80a0f00" label: "1" } -node: {title: "0x80a0e6c" label: "SubI " } -edge: { sourcename: "0x80a0e6c" targetname: "0x80a09cc" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0e6c" targetname: "0x80a0f00" label: "0" } -edge: {sourcename: "0x80a0e6c" targetname: "0x80a0ea8" label: "1" } -node: {title: "0x80a0fc8" label: "ProjM 1" color: yellow} -edge: { sourcename: "0x80a0fc8" targetname: "0x80a0cd8" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0fc8" targetname: "0x80a0d8c" label: "0" color: blue} -node: {title: "0x80a0990" label: "Return " } -edge: { sourcename: "0x80a0990" targetname: "0x80a09cc" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0990" targetname: "0x80a0fc8" label: "0" color: blue} -edge: {sourcename: "0x80a0990" targetname: "0x80a0e6c" label: "1" } -node: {title: "0x80a0918" label: "Block " color: lightyellow} -edge: {sourcename: "0x80a0918" targetname: "0x80a0990" label: "0" color: red} -node: {title: "0x80a08f8" label: "End " color: blue} -edge: { sourcename: "0x80a08f8" targetname: "0x80a0918" class: 2 priority: 2 linestyle: dotted} -edge: {sourcename: "0x80a0d8c" targetname: "0x80a0d50" color: red linestyle: dashed} -edge: {sourcename: "0x80a0d8c" targetname: "0x80a0fc8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0d50" targetname: "0x80a0df4" color: red linestyle: dashed} -edge: {sourcename: "0x80a0d50" targetname: "0x80a0cd8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0df4" targetname: "0x80a0dc0" color: red linestyle: dashed} -edge: {sourcename: "0x80a0dc0" targetname: "0x80a0a80" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0bac" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0be8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0c28" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0c64" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0a44" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0f00" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a80" targetname: "0x80a0ea8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0bac" targetname: "0x80a0b34" color: red linestyle: dashed} -edge: {sourcename: "0x80a0b34" targetname: "0x80a0b00" color: red linestyle: dashed} -edge: {sourcename: "0x80a0b00" targetname: "0x80a0a80" color: red linestyle: dashed} -edge: {sourcename: "0x80a0be8" targetname: "0x80a0bac" color: red linestyle: dashed} -edge: {sourcename: "0x80a0be8" targetname: "0x80a0a44" color: red linestyle: dashed} -edge: {sourcename: "0x80a0a44" targetname: "0x80a09cc" color: red linestyle: dashed} -edge: {sourcename: "0x80a09cc" targetname: "0x80a0990" color: red linestyle: dashed} -edge: {sourcename: "0x80a09cc" targetname: "0x80a0e6c" color: red linestyle: dashed} -edge: {sourcename: "0x80a0990" targetname: "0x80a0918" color: red linestyle: dashed} -edge: {sourcename: "0x80a0918" targetname: "0x80a08f8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0e6c" targetname: "0x80a0990" color: red linestyle: dashed} -edge: {sourcename: "0x80a0c28" targetname: "0x80a0be8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0c64" targetname: "0x80a0c28" color: red linestyle: dashed} -edge: {sourcename: "0x80a0f00" targetname: "0x80a0ea8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0f00" targetname: "0x80a0e6c" color: red linestyle: dashed} -edge: {sourcename: "0x80a0ea8" targetname: "0x80a0f00" color: red linestyle: dashed} -edge: {sourcename: "0x80a0ea8" targetname: "0x80a0e6c" color: red linestyle: dashed} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0d50" color: red linestyle: dashed} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0d8c" color: red linestyle: dashed} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0ca0" color: red linestyle: dashed} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0fc8" color: red linestyle: dashed} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0f58" color: red linestyle: dashed} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0f90" color: red linestyle: dashed} -edge: {sourcename: "0x80a0ca0" targetname: "0x80a0c64" color: red linestyle: dashed} -edge: {sourcename: "0x80a0ca0" targetname: "0x80a0c64" color: red linestyle: dashed} -edge: {sourcename: "0x80a0fc8" targetname: "0x80a0990" color: red linestyle: dashed} -edge: {sourcename: "0x80a0f58" targetname: "0x80a0f00" color: red linestyle: dashed} -edge: {sourcename: "0x80a0f90" targetname: "0x80a0ea8" color: red linestyle: dashed} +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} } diff --git a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg index e30b3eba5..b3287cc53 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:"0x80a0918" label: "Block 0x80a0918" } -edge: { sourcename: "0x80a0918" targetname: "0x80a09c8" } -node: {title:"0x80a09c8" label: "Block 0x80a09c8" } -edge: { sourcename: "0x80a09c8" targetname: "0x80a1080" } -edge: { sourcename: "0x80a09c8" targetname: "0x80a0a7c" } -node: {title:"0x80a0a7c" label: "Block 0x80a0a7c" } -edge: { sourcename: "0x80a0a7c" targetname: "0x80a0ea8" } -edge: { sourcename: "0x80a0a7c" targetname: "0x80a0b30" } -node: {title:"0x80a0b30" label: "Block 0x80a0b30" } -edge: { sourcename: "0x80a0b30" targetname: "0x80a0be4" } -node: {title:"0x80a0be4" label: "Block 0x80a0be4" } -edge: { sourcename: "0x80a0be4" targetname: "0x80a0c98" } -node: {title:"0x80a0c98" label: "Block 0x80a0c98" } -edge: { sourcename: "0x80a0c98" targetname: "0x80a0c98" } -node: {title:"0x80a0ea8" label: "Block 0x80a0ea8" } -edge: { sourcename: "0x80a0ea8" targetname: "0x80a0be4" } -node: {title:"0x80a1080" label: "Block 0x80a1080" } -edge: { sourcename: "0x80a1080" targetname: "0x80a0ea8" } -node: {title: "0x80a1224" label: "BadT" } +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" } } diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg index d9e83b2dd..45cbb7cda 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: "0x80a0918" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0918" targetname: "0x80a0990" label: "0" color: red} -node: {title: "0x80a08f8" label: "End " color: blue} +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: "0x80a09c8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09c8" targetname: "0x80a104c" label: "0" color: red} -edge: {sourcename: "0x80a09c8" targetname: "0x80a0a48" label: "1" color: red} -node: {title: "0x80a0990" label: "Return " } -edge: {sourcename: "0x80a0990" targetname: "0x80a1134" label: "0" 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: "0x80a0a7c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a7c" targetname: "0x80a0e6c" label: "0" color: red} -edge: {sourcename: "0x80a0a7c" targetname: "0x80a0afc" label: "1" color: red} -node: {title: "0x80a0a48" label: "Jmp " } +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: "0x80a0b30" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b30" targetname: "0x80a0ba8" label: "0" color: red} -node: {title: "0x80a0afc" label: "Jmp " } +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: "0x80a0be4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0be4" targetname: "0x80a0c5c" label: "0" color: red} -node: {title: "0x80a0ba8" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0ba8" targetname: "0x80a0d44" label: "0" color: red} -node: {title: "0x80a0d44" label: "Cond " } -edge: {sourcename: "0x80a0d44" targetname: "0x80a0d84" label: "0" } -node: {title: "0x80a0d84" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0d84" targetname: "0x80a0dc0" label: "0" } -node: {title: "0x80a0dc0" label: "CmpT " } -edge: {sourcename: "0x80a0dc0" targetname: "0x80a0e34" label: "0" } -edge: {sourcename: "0x80a0dc0" targetname: "0x80a0dfc" label: "1" } -node: {title: "0x80a0f20" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0f20" targetname: "0x80a0d44" label: "0" color: red} +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: "0x80a0c98" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0c98" targetname: "0x80a0c5c" label: "0" color: red} -node: {title: "0x80a0c5c" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0c5c" targetname: "0x80a0d10" label: "0" color: red} -node: {title: "0x80a0d10" label: "Start " color: blue} -node: {title: "0x80a0dfc" label: "1I " color: yellow} -node: {title: "0x80a0e34" label: "0I " color: yellow} -node: {title: "0x80a1014" label: "2I " color: yellow} -node: {title: "0x80a1134" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a1134" targetname: "0x80a0d10" label: "0" color: blue} +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: "0x80a0ea8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0ea8" targetname: "0x80a0f20" label: "0" color: red} -node: {title: "0x80a0e6c" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0e6c" targetname: "0x80a0f5c" label: "0" color: red} -node: {title: "0x80a0f5c" label: "Cond " } -edge: {sourcename: "0x80a0f5c" targetname: "0x80a0f9c" label: "0" } -node: {title: "0x80a0f9c" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0f9c" targetname: "0x80a0fd8" label: "0" } -node: {title: "0x80a0fd8" label: "CmpT " } -edge: {sourcename: "0x80a0fd8" targetname: "0x80a0e34" label: "0" } -edge: {sourcename: "0x80a0fd8" targetname: "0x80a1014" label: "1" } -node: {title: "0x80a10f8" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a10f8" targetname: "0x80a0f5c" label: "0" color: red} +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: "0x80a1080" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1080" targetname: "0x80a10f8" label: "0" color: red} -node: {title: "0x80a104c" label: "Jmp " } +graph: { title: "74" label: "74" status:clustered color:yellow +edge: {sourcename: "74" targetname: "75" label: "0" color: red} +node: {title: "73" label: "Jmp 73" } } -node: {title: "0x80a1224" label: "Bad " } +node: {title: "80" label: "Bad 80" } } diff --git a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg index 79a3df0a7..a13614405 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:"0x80a0928" label: "Block 0x80a0928" } -edge: { sourcename: "0x80a0928" targetname: "0x80a09d8" } -node: {title:"0x80a09d8" label: "Block 0x80a09d8" } -edge: { sourcename: "0x80a09d8" targetname: "0x80a0b50" } -edge: { sourcename: "0x80a09d8" targetname: "0x80a0a94" } -node: {title:"0x80a0a94" label: "Block 0x80a0a94" } -edge: { sourcename: "0x80a0a94" targetname: "0x80a0e58" } -edge: { sourcename: "0x80a0a94" targetname: "0x80a0b50" } -node: {title:"0x80a0b50" label: "Block 0x80a0b50" } -edge: { sourcename: "0x80a0b50" targetname: "0x80a0e58" } -edge: { sourcename: "0x80a0b50" targetname: "0x80a0a94" } -node: {title:"0x80a0e58" label: "Block 0x80a0e58" } -edge: { sourcename: "0x80a0e58" targetname: "0x80a0cfc" } -node: {title:"0x80a0cfc" label: "Block 0x80a0cfc" } -edge: { sourcename: "0x80a0cfc" targetname: "0x80a0cfc" } -node: {title: "0x80a12e8" label: "BadT" } +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" } } diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg index e6b90cc3b..da7d3d990 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: "0x80a0928" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0928" targetname: "0x80a09a0" label: "0" color: red} -node: {title: "0x80a0908" label: "End " color: blue} +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: "0x80a09d8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09d8" targetname: "0x80a10b4" label: "0" color: red} -edge: {sourcename: "0x80a09d8" targetname: "0x80a0a58" label: "1" color: red} -node: {title: "0x80a09a0" label: "Return " } -edge: {sourcename: "0x80a09a0" targetname: "0x80a10f0" label: "0" color: blue} -node: {title: "0x80a10f0" label: "PhiM " color: green} -edge: {sourcename: "0x80a10f0" targetname: "0x80a11a0" label: "0" color: blue} -edge: {sourcename: "0x80a10f0" targetname: "0x80a1148" label: "1" 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: "0x80a0a94" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a94" targetname: "0x80a1078" label: "0" color: red} -edge: {sourcename: "0x80a0a94" targetname: "0x80a0b14" label: "1" color: red} -node: {title: "0x80a0a58" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0a58" targetname: "0x80a0c0c" label: "0" color: red} -node: {title: "0x80a0bd0" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0bd0" targetname: "0x80a0c0c" label: "0" color: red} -node: {title: "0x80a0c0c" label: "Cond " } -edge: {sourcename: "0x80a0c0c" targetname: "0x80a0c4c" label: "0" } -node: {title: "0x80a0c4c" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0c4c" targetname: "0x80a0c88" label: "0" } -node: {title: "0x80a0c88" label: "CmpT " } -edge: {sourcename: "0x80a0c88" targetname: "0x80a0de4" label: "0" } -edge: {sourcename: "0x80a0c88" targetname: "0x80a0cc4" label: "1" } -node: {title: "0x80a1148" label: "PhiM " color: green} -edge: {sourcename: "0x80a1148" targetname: "0x80a11f8" label: "0" color: blue} -edge: {sourcename: "0x80a1148" targetname: "0x80a11a0" 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: "0x80a0b50" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b50" targetname: "0x80a0e1c" label: "0" color: red} -edge: {sourcename: "0x80a0b50" targetname: "0x80a0bd0" label: "1" color: red} -node: {title: "0x80a0b14" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0b14" targetname: "0x80a0fc0" label: "0" color: red} -node: {title: "0x80a0fc0" label: "Cond " } -edge: {sourcename: "0x80a0fc0" targetname: "0x80a1000" label: "0" } -node: {title: "0x80a1000" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a1000" targetname: "0x80a103c" label: "0" } -node: {title: "0x80a103c" label: "CmpT " } -edge: {sourcename: "0x80a103c" targetname: "0x80a0de4" label: "0" } -edge: {sourcename: "0x80a103c" targetname: "0x80a0cc4" label: "1" } -node: {title: "0x80a10b4" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a10b4" targetname: "0x80a0fc0" label: "0" color: red} -node: {title: "0x80a11a0" label: "PhiM " color: green} -edge: {sourcename: "0x80a11a0" targetname: "0x80a11f8" label: "0" color: blue} -edge: {sourcename: "0x80a11a0" targetname: "0x80a1148" 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: "0x80a0e58" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0e58" targetname: "0x80a0d74" label: "0" color: red} -node: {title: "0x80a0e1c" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0e1c" targetname: "0x80a0ed0" label: "0" color: red} -node: {title: "0x80a0ed0" label: "Cond " } -edge: {sourcename: "0x80a0ed0" targetname: "0x80a0f10" label: "0" } -node: {title: "0x80a0f10" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0f10" targetname: "0x80a0f4c" label: "0" } -node: {title: "0x80a0f4c" label: "CmpT " } -edge: {sourcename: "0x80a0f4c" targetname: "0x80a0de4" label: "0" } -edge: {sourcename: "0x80a0f4c" targetname: "0x80a0f88" label: "1" } -node: {title: "0x80a1078" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a1078" targetname: "0x80a0ed0" label: "0" color: red} +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: "0x80a0cfc" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0cfc" targetname: "0x80a0d74" label: "0" color: red} -node: {title: "0x80a0cc4" label: "2I " color: yellow} -node: {title: "0x80a0d74" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0d74" targetname: "0x80a0db0" label: "0" color: red} -node: {title: "0x80a0db0" label: "Start " color: blue} -node: {title: "0x80a0de4" label: "0I " color: yellow} -node: {title: "0x80a0f88" label: "1I " color: yellow} -node: {title: "0x80a11f8" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a11f8" targetname: "0x80a0db0" label: "0" color: blue} +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} } -node: {title: "0x80a12e8" label: "Bad " } +node: {title: "80" label: "Bad 80" } } diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index f6b90f2ed..b37b4e3f2 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: "0x80a0930" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0930" targetname: "0x80a09a8" label: "0" color: red} -node: {title: "0x80a0910" label: "End " color: blue} +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: "0x80a09e4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09e4" targetname: "0x80a0a5c" label: "0" color: red} -node: {title: "0x80a09a8" label: "Return " } -edge: {sourcename: "0x80a09a8" targetname: "0x80a1300" label: "0" color: blue} -edge: {sourcename: "0x80a09a8" targetname: "0x80a1284" label: "1" } -node: {title: "0x80a1284" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a1284" targetname: "0x80a12c0" label: "0" } -node: {title: "0x80a12c0" label: "Load " } -edge: {sourcename: "0x80a12c0" targetname: "0x80a0e00" label: "0" color: blue} -edge: {sourcename: "0x80a12c0" targetname: "0x80a0c88" label: "1" } -node: {title: "0x80a1300" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a1300" targetname: "0x80a12c0" label: "0" 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: "0x80a0a98" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a98" targetname: "0x80a1250" label: "0" color: red} -edge: {sourcename: "0x80a0a98" targetname: "0x80a0b18" label: "1" color: red} -node: {title: "0x80a0a5c" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0a5c" targetname: "0x80a0b54" label: "0" color: red} -node: {title: "0x80a0b18" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0b18" targetname: "0x80a0b54" label: "0" color: red} -node: {title: "0x80a0b54" label: "Cond " } -edge: {sourcename: "0x80a0b54" targetname: "0x80a0b94" label: "0" } -node: {title: "0x80a0b94" label: "Projb Gt" color: yellow} -edge: {sourcename: "0x80a0b94" targetname: "0x80a0bd0" label: "0" } -node: {title: "0x80a0bd0" label: "CmpT " } -edge: {sourcename: "0x80a0bd0" targetname: "0x80a11dc" label: "0" } -edge: {sourcename: "0x80a0bd0" targetname: "0x80a0c0c" label: "1" } -node: {title: "0x80a0c0c" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a0c0c" targetname: "0x80a0c48" label: "0" } -node: {title: "0x80a0c48" label: "Load " } -edge: {sourcename: "0x80a0c48" targetname: "0x80a0da8" label: "0" color: blue} -edge: {sourcename: "0x80a0c48" targetname: "0x80a0c88" label: "1" } -node: {title: "0x80a0da8" label: "PhiM " color: green} -edge: {sourcename: "0x80a0da8" targetname: "0x80a102c" label: "0" color: blue} -edge: {sourcename: "0x80a0da8" targetname: "0x80a0e00" label: "1" color: blue} -node: {title: "0x80a0e00" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0e00" targetname: "0x80a0e3c" label: "0" color: blue} -node: {title: "0x80a0e3c" label: "Store " } -edge: {sourcename: "0x80a0e3c" targetname: "0x80a0eb8" label: "0" color: blue} -edge: {sourcename: "0x80a0e3c" targetname: "0x80a0e80" label: "1" } -edge: {sourcename: "0x80a0e3c" targetname: "0x80a0c0c" label: "2" } -node: {title: "0x80a0eb8" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0eb8" targetname: "0x80a0ef4" label: "0" color: blue} -node: {title: "0x80a0ef4" label: "Store " } -edge: {sourcename: "0x80a0ef4" targetname: "0x80a0ff0" label: "0" color: blue} -edge: {sourcename: "0x80a0ef4" targetname: "0x80a0c88" label: "1" } -edge: {sourcename: "0x80a0ef4" targetname: "0x80a0f38" label: "2" } -node: {title: "0x80a0f38" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a0f38" targetname: "0x80a0f74" label: "0" } -node: {title: "0x80a0f74" label: "Load " } -edge: {sourcename: "0x80a0f74" targetname: "0x80a0fb4" label: "0" color: blue} -edge: {sourcename: "0x80a0f74" targetname: "0x80a0e80" label: "1" } -node: {title: "0x80a0fb4" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0fb4" targetname: "0x80a0c48" label: "0" color: blue} -node: {title: "0x80a0ff0" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0ff0" targetname: "0x80a0f74" 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: "0x80a1068" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1068" targetname: "0x80a0d38" label: "0" color: red} -node: {title: "0x80a102c" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a102c" targetname: "0x80a10e0" label: "0" color: blue} -node: {title: "0x80a10e0" label: "Store " } -edge: {sourcename: "0x80a10e0" targetname: "0x80a115c" label: "0" color: blue} -edge: {sourcename: "0x80a10e0" targetname: "0x80a0e80" label: "1" } -edge: {sourcename: "0x80a10e0" targetname: "0x80a1124" label: "2" } -node: {title: "0x80a115c" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a115c" targetname: "0x80a1198" label: "0" color: blue} -node: {title: "0x80a1198" label: "Store " } -edge: {sourcename: "0x80a1198" targetname: "0x80a1214" label: "0" color: blue} -edge: {sourcename: "0x80a1198" targetname: "0x80a0c88" label: "1" } -edge: {sourcename: "0x80a1198" targetname: "0x80a11dc" label: "2" } -node: {title: "0x80a1250" label: "Jmp " } +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: "0x80a0cc0" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0cc0" targetname: "0x80a0d38" label: "0" color: red} -node: {title: "0x80a0c88" label: "VAR_AP " color: yellow} -node: {title: "0x80a0d38" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0d38" targetname: "0x80a0d74" label: "0" color: red} -node: {title: "0x80a0d74" label: "Start " color: blue} -node: {title: "0x80a0e80" label: "VAR_BP " color: yellow} -node: {title: "0x80a1124" label: "1I " color: yellow} -node: {title: "0x80a11dc" label: "0I " color: yellow} -node: {title: "0x80a1214" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a1214" targetname: "0x80a0d74" label: "0" color: blue} +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} } -node: {title: "0x80a13f0" label: "Bad " } +node: {title: "99" label: "Bad 99" } } diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg index b2a8d1c61..b2b02dc00 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg @@ -7,143 +7,143 @@ 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: "0x80a6758" label: "Block" status:clustered color:yellow -node: {title: "0x80a6738" label: "End " color: blue} +graph: { title: "168" label: "168" status:clustered color:yellow +node: {title: "167" label: "End 167" color: blue} } -graph: { title: "0x80a68d4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a68d4" targetname: "0x80a6988" label: "0" color: red} -edge: {sourcename: "0x80a68d4" targetname: "0x80a6954" label: "1" color: red} -node: {title: "0x80a6a34" label: "PhiM " color: green} -edge: {sourcename: "0x80a6a34" targetname: "0x80a6d2c" label: "0" color: blue} -edge: {sourcename: "0x80a6a34" targetname: "0x80a6a8c" label: "1" color: blue} -node: {title: "0x80a6954" label: "Jmp " } -node: {title: "0x80a6a8c" label: "Store " } -edge: {sourcename: "0x80a6a8c" targetname: "0x80a6a34" label: "0" color: blue} -edge: {sourcename: "0x80a6a8c" targetname: "0x80a6bf0" label: "1" } -edge: {sourcename: "0x80a6a8c" targetname: "0x80a6ad0" label: "2" } -node: {title: "0x80a6ad0" label: "PhiI " color: green} -edge: {sourcename: "0x80a6ad0" targetname: "0x80a6bb8" label: "0" } -edge: {sourcename: "0x80a6ad0" targetname: "0x80a6b28" label: "1" } -node: {title: "0x80a6b28" label: "PhiI " color: green} -edge: {sourcename: "0x80a6b28" targetname: "0x80a6b80" label: "0" } -edge: {sourcename: "0x80a6b28" targetname: "0x80a6ad0" label: "1" } -node: {title: "0x80a6bf0" label: "Sel a" } -edge: {sourcename: "0x80a6bf0" targetname: "0x80a6a34" label: "0" color: blue} -edge: {sourcename: "0x80a6bf0" targetname: "0x80a6c30" label: "1" } +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: "0x80a69bc" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a69bc" targetname: "0x80a6864" label: "0" color: red} -node: {title: "0x80a6988" label: "Jmp " } -node: {title: "0x80a6b80" label: "0I " color: yellow} -node: {title: "0x80a6c30" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a6c30" targetname: "0x80a6c6c" label: "0" } -node: {title: "0x80a6c6c" label: "Alloc " } -edge: {sourcename: "0x80a6c6c" targetname: "0x80a6cf0" label: "0" color: blue} -edge: {sourcename: "0x80a6c6c" targetname: "0x80a6cb4" label: "1" } -node: {title: "0x80a6cb4" label: "SymC PRIMA size " } -node: {title: "0x80a6d2c" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a6d2c" targetname: "0x80a6d68" label: "0" color: blue} -node: {title: "0x80a6d68" label: "Store " } -edge: {sourcename: "0x80a6d68" targetname: "0x80a6e24" label: "0" color: blue} -edge: {sourcename: "0x80a6d68" targetname: "0x80a6de4" label: "1" } -edge: {sourcename: "0x80a6d68" targetname: "0x80a6dac" label: "2" } -node: {title: "0x80a6de4" label: "Sel a" } -edge: {sourcename: "0x80a6de4" targetname: "0x80a6e24" label: "0" color: blue} -edge: {sourcename: "0x80a6de4" targetname: "0x80a6c30" label: "1" } -node: {title: "0x80a6e24" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a6e24" targetname: "0x80a6c6c" label: "0" color: blue} +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: "0x80a67ec" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a67ec" targetname: "0x80a6864" label: "0" color: red} -node: {title: "0x80a6864" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a6864" targetname: "0x80a68a0" label: "0" color: red} -node: {title: "0x80a68a0" label: "Start " color: blue} -node: {title: "0x80a6bb8" label: "5I " color: yellow} -node: {title: "0x80a6cf0" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a6cf0" targetname: "0x80a68a0" label: "0" color: blue} -node: {title: "0x80a6dac" label: "2I " color: yellow} +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} } -node: {title: "0x80a67b8" label: "Bad " } -node: {title: "0x809e1b0" label: "ent a" color: yellow info1:"automatic allocated +node: {title: "169" label: "Bad 169" } +node: {title: "0x809ff18" label: "ent a" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x809e1b0" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x809e0e8" label: "class PRIMA"info1: "state: layout_undefined +edge: { sourcename: "0x809ff18" targetname: "0x809fe40" class: 3 label: "type" color: red} +node: {title: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1b0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e2d0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e3a0" class: 12 label: "member" color:blue} -node: {title: "0x809e2d0" label: "ent set_a" color: yellow info1:"static allocated +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 = 0x80a0ae0 "} -edge: { sourcename: "0x809e2d0" targetname: "0x809e238" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e2d0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(PRIMA_set_a)P " color: yellow} -node: {title: "0x809e238" label: "method set_a"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e238" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e238" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -node: {title: "0x809e180" label: "pointer class_prima_ptr"info1: "state: layout_fixed, +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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0e8" class: 9 label: "points to" color:green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename: "0x809fee8" targetname: "0x809fe68" class: 9 label: "points to" color:green} +node: {title: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -node: {title: "0x809e3a0" label: "ent c" color: yellow info1:"static allocated +node: {title: "0x80a0110" label: "ent c" color: yellow info1:"static allocated local constant non_volatile existent - irg = 0x80a30e8 "} -edge: { sourcename: "0x809e3a0" targetname: "0x809e340" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e3a0" targetname: "0x809beb0" label: "value "} -node: {title: "0x809beb0" label: "&(PRIMA_c)P " color: yellow} -node: {title: "0x809e340" label: "method c"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e340" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -node: {title: "0x809e488" label: "ent OO_INLINE_EXAMPLE_main" color: yellow info1:"static allocated +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 = 0x809e510 "} -edge: { sourcename: "0x809e488" targetname: "0x809e428" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e488" targetname: "0x809bee8" label: "value "} -node: {title: "0x809bee8" label: "&(GlobalType_OO_INLINE_EXAMPLE_main)P " color: yellow} -node: {title: "0x809bae0" label: "class GlobalType"info1: "state: layout_undefined + 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 size: -1B, " color: green} -edge: { sourcename: "0x809bae0" targetname: "0x809e488" class: 12 label: "member" color:blue} -node: {title: "0x809e428" label: "method OO_INLINE_EXAMPLE_main"info1: "state: layout_fixed, +edge: { sourcename: "0x809d860" targetname: "0x80a01f8" class: 12 label: "member" color:blue} +node: {title: "0x80a0198" label: "method OO_INLINE_EXAMPLE_main"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e428" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -edge: { sourcename: "0x80a6bf0" targetname: "0x809e1b0" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a6c6c" targetname: "0x809e0e8" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a6cb4" targetname: "0x809e0e8" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a6de4" targetname: "0x809e1b0" class: 2 priority: 2 linestyle: dotted} +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} } diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index 0f0066be2..6cf5af593 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: "0x80a6758" label: "Block" status:clustered color:yellow -node: {title: "0x80a6738" label: "End " color: blue} +graph: { title: "168" label: "168" status:clustered color:yellow +node: {title: "167" label: "End 167" color: blue} } -graph: { title: "0x80a68d4" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a68d4" targetname: "0x80a6988" label: "0" color: red} -edge: {sourcename: "0x80a68d4" targetname: "0x80a6954" label: "1" color: red} -node: {title: "0x80a6a34" label: "PhiM " color: green} -edge: {sourcename: "0x80a6a34" targetname: "0x80a6d2c" label: "0" color: blue} -edge: {sourcename: "0x80a6a34" targetname: "0x80a6a8c" label: "1" color: blue} -node: {title: "0x80a6954" label: "Jmp " } -node: {title: "0x80a6a8c" label: "Store " } -edge: {sourcename: "0x80a6a8c" targetname: "0x80a6a34" label: "0" color: blue} -edge: {sourcename: "0x80a6a8c" targetname: "0x80a6bf0" label: "1" } -edge: {sourcename: "0x80a6a8c" targetname: "0x80a6ad0" label: "2" } -node: {title: "0x80a6ad0" label: "PhiI " color: green} -edge: {sourcename: "0x80a6ad0" targetname: "0x80a6bb8" label: "0" } -edge: {sourcename: "0x80a6ad0" targetname: "0x80a6b28" label: "1" } -node: {title: "0x80a6b28" label: "PhiI " color: green} -edge: {sourcename: "0x80a6b28" targetname: "0x80a6b80" label: "0" } -edge: {sourcename: "0x80a6b28" targetname: "0x80a6ad0" label: "1" } -node: {title: "0x80a6bf0" label: "Sel a" } -edge: {sourcename: "0x80a6bf0" targetname: "0x80a6a34" label: "0" color: blue} -edge: {sourcename: "0x80a6bf0" targetname: "0x80a6c30" label: "1" } +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: "0x80a69bc" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a69bc" targetname: "0x80a6864" label: "0" color: red} -node: {title: "0x80a6988" label: "Jmp " } -node: {title: "0x80a6b80" label: "0I " color: yellow} -node: {title: "0x80a6c30" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a6c30" targetname: "0x80a6c6c" label: "0" } -node: {title: "0x80a6c6c" label: "Alloc " } -edge: {sourcename: "0x80a6c6c" targetname: "0x80a6cf0" label: "0" color: blue} -edge: {sourcename: "0x80a6c6c" targetname: "0x80a6cb4" label: "1" } -node: {title: "0x80a6cb4" label: "SymC PRIMA size " } -node: {title: "0x80a6d2c" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a6d2c" targetname: "0x80a6d68" label: "0" color: blue} -node: {title: "0x80a6d68" label: "Store " } -edge: {sourcename: "0x80a6d68" targetname: "0x80a6e24" label: "0" color: blue} -edge: {sourcename: "0x80a6d68" targetname: "0x80a6de4" label: "1" } -edge: {sourcename: "0x80a6d68" targetname: "0x80a6dac" label: "2" } -node: {title: "0x80a6de4" label: "Sel a" } -edge: {sourcename: "0x80a6de4" targetname: "0x80a6e24" label: "0" color: blue} -edge: {sourcename: "0x80a6de4" targetname: "0x80a6c30" label: "1" } -node: {title: "0x80a6e24" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a6e24" targetname: "0x80a6c6c" label: "0" color: blue} +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: "0x80a67ec" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a67ec" targetname: "0x80a6864" label: "0" color: red} -node: {title: "0x80a6864" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a6864" targetname: "0x80a68a0" label: "0" color: red} -node: {title: "0x80a68a0" label: "Start " color: blue} -node: {title: "0x80a6bb8" label: "5I " color: yellow} -node: {title: "0x80a6cf0" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a6cf0" targetname: "0x80a68a0" label: "0" color: blue} -node: {title: "0x80a6dac" label: "2I " color: yellow} +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} } -node: {title: "0x80a67b8" label: "Bad " } +node: {title: "169" label: "Bad 169" } } diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg index e897d39fe..4f7417819 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg @@ -7,140 +7,140 @@ 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: "0x80a56d8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a56d8" targetname: "0x80a5750" label: "0" color: red} -node: {title: "0x80a56b8" label: "End " color: blue} +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: "0x80a578c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a578c" targetname: "0x80a5804" label: "0" color: red} -node: {title: "0x80a5750" label: "Return " } -edge: {sourcename: "0x80a5750" targetname: "0x80a5c68" label: "0" color: blue} -edge: {sourcename: "0x80a5750" targetname: "0x80a58ec" label: "1" } -node: {title: "0x80a58ec" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a58ec" targetname: "0x80a5928" label: "0" } -node: {title: "0x80a5928" label: "ProjT 2" color: yellow} -edge: {sourcename: "0x80a5928" targetname: "0x80a5964" label: "0" } -node: {title: "0x80a5964" label: "Call " } -edge: {sourcename: "0x80a5964" targetname: "0x80a5b28" label: "0" color: blue} -edge: {sourcename: "0x80a5964" targetname: "0x80a5ae8" label: "1" } -edge: {sourcename: "0x80a5964" targetname: "0x80a59ec" label: "2" } -edge: {sourcename: "0x80a5964" targetname: "0x80a59b4" label: "3" } -node: {title: "0x80a59ec" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a59ec" targetname: "0x80a5a28" label: "0" } -node: {title: "0x80a5a28" label: "Alloc " } -edge: {sourcename: "0x80a5a28" targetname: "0x80a5aac" label: "0" color: blue} -edge: {sourcename: "0x80a5a28" targetname: "0x80a5a70" label: "1" } -node: {title: "0x80a5a70" label: "SymC PRIMA size " } -node: {title: "0x80a5ae8" label: "Sel c" } -edge: {sourcename: "0x80a5ae8" targetname: "0x80a5b28" label: "0" color: blue} -edge: {sourcename: "0x80a5ae8" targetname: "0x80a59ec" label: "1" } -node: {title: "0x80a5b28" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a5b28" targetname: "0x80a5b64" label: "0" color: blue} -node: {title: "0x80a5b64" label: "Call " } -edge: {sourcename: "0x80a5b64" targetname: "0x80a5c2c" label: "0" color: blue} -edge: {sourcename: "0x80a5b64" targetname: "0x80a5bec" label: "1" } -edge: {sourcename: "0x80a5b64" targetname: "0x80a59ec" label: "2" } -edge: {sourcename: "0x80a5b64" targetname: "0x80a5bb4" label: "3" } -node: {title: "0x80a5bec" label: "Sel set_a" } -edge: {sourcename: "0x80a5bec" targetname: "0x80a5c2c" label: "0" color: blue} -edge: {sourcename: "0x80a5bec" targetname: "0x80a59ec" label: "1" } -node: {title: "0x80a5c2c" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a5c2c" targetname: "0x80a5a28" label: "0" color: blue} -node: {title: "0x80a5c68" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a5c68" targetname: "0x80a5964" label: "0" 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: "0x80a5840" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a5840" targetname: "0x80a5804" label: "0" color: red} -node: {title: "0x80a5804" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a5804" targetname: "0x80a58b8" label: "0" color: red} -node: {title: "0x80a58b8" label: "Start " color: blue} -node: {title: "0x80a59b4" label: "5I " color: yellow} -node: {title: "0x80a5aac" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a5aac" targetname: "0x80a58b8" label: "0" color: blue} -node: {title: "0x80a5bb4" label: "2I " color: yellow} +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} } -node: {title: "0x80a5d58" label: "Bad " } -node: {title: "0x809e340" label: "method c"info1: "state: layout_fixed, +node: {title: "105" label: "Bad 105" } +node: {title: "0x809fe70" label: "method c"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e340" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -node: {title: "0x809e180" label: "pointer class_prima_ptr"info1: "state: layout_fixed, +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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0e8" class: 9 label: "points to" color:green} -node: {title: "0x809e0e8" label: "class PRIMA"info1: "state: layout_undefined +edge: { sourcename: "0x809fc88" targetname: "0x809fc08" class: 9 label: "points to" color:green} +node: {title: "0x809fc08" label: "class PRIMA"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1b0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e2d0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e3a0" class: 12 label: "member" color:blue} -node: {title: "0x809e1b0" label: "ent a" color: yellow info1:"automatic allocated +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: "0x809e1b0" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename: "0x809fcb8" targetname: "0x809fbe0" class: 3 label: "type" color: red} +node: {title: "0x809fbe0" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -node: {title: "0x809e2d0" label: "ent set_a" color: yellow info1:"static allocated +node: {title: "0x809fdd8" label: "ent set_a" color: yellow info1:"static allocated local constant non_volatile existent - irg = 0x80a0ae0 "} -edge: { sourcename: "0x809e2d0" targetname: "0x809e238" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e2d0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(PRIMA_set_a)P " color: yellow} -node: {title: "0x809e238" label: "method set_a"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e238" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e238" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -node: {title: "0x809e3a0" label: "ent c" color: yellow info1:"static allocated +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 = 0x80a30e8 "} -edge: { sourcename: "0x809e3a0" targetname: "0x809e340" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e3a0" targetname: "0x809beb0" label: "value "} -node: {title: "0x809beb0" label: "&(PRIMA_c)P " color: yellow} -node: {title: "0x809e488" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow info1:"static allocated + 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 = 0x809e510 "} -edge: { sourcename: "0x809e488" targetname: "0x809e428" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e488" targetname: "0x809bee8" label: "value "} -node: {title: "0x809bee8" label: "&(GlobalType_OO_PROGRAM_EXAMPLE_main)P " color: yellow} -node: {title: "0x809bae0" label: "class GlobalType"info1: "state: layout_undefined + 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 size: -1B, " color: green} -edge: { sourcename: "0x809bae0" targetname: "0x809e488" class: 12 label: "member" color:blue} -node: {title: "0x809e428" label: "method OO_PROGRAM_EXAMPLE_main"info1: "state: layout_fixed, +edge: { sourcename: "0x809d600" targetname: "0x809ff98" class: 12 label: "member" color:blue} +node: {title: "0x809ff38" label: "method OO_PROGRAM_EXAMPLE_main"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e428" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -edge: { sourcename: "0x80a5964" targetname: "0x809e340" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a5a28" targetname: "0x809e0e8" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a5a70" targetname: "0x809e0e8" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a5ae8" targetname: "0x809e3a0" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a5b64" targetname: "0x809e238" class: 2 priority: 2 linestyle: dotted} -edge: { sourcename: "0x80a5bec" targetname: "0x809e2d0" class: 2 priority: 2 linestyle: dotted} +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} } diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index bb86a91bb..c774b891c 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: "0x80a56d8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a56d8" targetname: "0x80a5750" label: "0" color: red} -node: {title: "0x80a56b8" label: "End " color: blue} +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: "0x80a578c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a578c" targetname: "0x80a5804" label: "0" color: red} -node: {title: "0x80a5750" label: "Return " } -edge: {sourcename: "0x80a5750" targetname: "0x80a5c68" label: "0" color: blue} -edge: {sourcename: "0x80a5750" targetname: "0x80a58ec" label: "1" } -node: {title: "0x80a58ec" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a58ec" targetname: "0x80a5928" label: "0" } -node: {title: "0x80a5928" label: "ProjT 2" color: yellow} -edge: {sourcename: "0x80a5928" targetname: "0x80a5964" label: "0" } -node: {title: "0x80a5964" label: "Call " } -edge: {sourcename: "0x80a5964" targetname: "0x80a5b28" label: "0" color: blue} -edge: {sourcename: "0x80a5964" targetname: "0x80a5ae8" label: "1" } -edge: {sourcename: "0x80a5964" targetname: "0x80a59ec" label: "2" } -edge: {sourcename: "0x80a5964" targetname: "0x80a59b4" label: "3" } -node: {title: "0x80a59ec" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a59ec" targetname: "0x80a5a28" label: "0" } -node: {title: "0x80a5a28" label: "Alloc " } -edge: {sourcename: "0x80a5a28" targetname: "0x80a5aac" label: "0" color: blue} -edge: {sourcename: "0x80a5a28" targetname: "0x80a5a70" label: "1" } -node: {title: "0x80a5a70" label: "SymC PRIMA size " } -node: {title: "0x80a5ae8" label: "Sel c" } -edge: {sourcename: "0x80a5ae8" targetname: "0x80a5b28" label: "0" color: blue} -edge: {sourcename: "0x80a5ae8" targetname: "0x80a59ec" label: "1" } -node: {title: "0x80a5b28" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a5b28" targetname: "0x80a5b64" label: "0" color: blue} -node: {title: "0x80a5b64" label: "Call " } -edge: {sourcename: "0x80a5b64" targetname: "0x80a5c2c" label: "0" color: blue} -edge: {sourcename: "0x80a5b64" targetname: "0x80a5bec" label: "1" } -edge: {sourcename: "0x80a5b64" targetname: "0x80a59ec" label: "2" } -edge: {sourcename: "0x80a5b64" targetname: "0x80a5bb4" label: "3" } -node: {title: "0x80a5bec" label: "Sel set_a" } -edge: {sourcename: "0x80a5bec" targetname: "0x80a5c2c" label: "0" color: blue} -edge: {sourcename: "0x80a5bec" targetname: "0x80a59ec" label: "1" } -node: {title: "0x80a5c2c" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a5c2c" targetname: "0x80a5a28" label: "0" color: blue} -node: {title: "0x80a5c68" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a5c68" targetname: "0x80a5964" label: "0" 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: "0x80a5840" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a5840" targetname: "0x80a5804" label: "0" color: red} -node: {title: "0x80a5804" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a5804" targetname: "0x80a58b8" label: "0" color: red} -node: {title: "0x80a58b8" label: "Start " color: blue} -node: {title: "0x80a59b4" label: "5I " color: yellow} -node: {title: "0x80a5aac" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a5aac" targetname: "0x80a58b8" label: "0" color: blue} -node: {title: "0x80a5bb4" label: "2I " color: yellow} +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} } -node: {title: "0x80a5d58" label: "Bad " } +node: {title: "105" label: "Bad 105" } } diff --git a/testprograms/ref-results/PRIMA_c-all.vcg b/testprograms/ref-results/PRIMA_c-all.vcg index 48972e00a..d81597ae1 100644 --- a/testprograms/ref-results/PRIMA_c-all.vcg +++ b/testprograms/ref-results/PRIMA_c-all.vcg @@ -7,108 +7,108 @@ 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: "0x80a4198" label: "Block" status:clustered color:yellow -node: {title: "0x80a4178" label: "End " color: blue} +graph: { title: "216" label: "216" status:clustered color:yellow +node: {title: "215" label: "End 215" color: blue} } -graph: { title: "0x80a4314" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a4314" targetname: "0x80a43c8" label: "0" color: red} -edge: {sourcename: "0x80a4314" targetname: "0x80a4394" label: "1" color: red} -node: {title: "0x80a4474" label: "PhiM " color: green} -edge: {sourcename: "0x80a4474" targetname: "0x80a46ec" label: "0" color: blue} -edge: {sourcename: "0x80a4474" targetname: "0x80a44cc" label: "1" color: blue} -node: {title: "0x80a4394" label: "Jmp " } -node: {title: "0x80a44cc" label: "Store " } -edge: {sourcename: "0x80a44cc" targetname: "0x80a4474" label: "0" color: blue} -edge: {sourcename: "0x80a44cc" targetname: "0x80a4670" label: "1" } -edge: {sourcename: "0x80a44cc" targetname: "0x80a4510" label: "2" } -node: {title: "0x80a4510" label: "PhiI " color: green} -edge: {sourcename: "0x80a4510" targetname: "0x80a45f8" label: "0" } -edge: {sourcename: "0x80a4510" targetname: "0x80a4568" label: "1" } -node: {title: "0x80a4568" label: "PhiI " color: green} -edge: {sourcename: "0x80a4568" targetname: "0x80a45c0" label: "0" } -edge: {sourcename: "0x80a4568" targetname: "0x80a4510" label: "1" } -node: {title: "0x80a4670" label: "Sel a" } -edge: {sourcename: "0x80a4670" targetname: "0x80a4474" label: "0" color: blue} -edge: {sourcename: "0x80a4670" targetname: "0x80a46b0" label: "1" } +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: "0x80a43fc" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a43fc" targetname: "0x80a42a4" label: "0" color: red} -node: {title: "0x80a43c8" label: "Jmp " } -node: {title: "0x80a45f8" label: "ProjI 1" color: yellow} -edge: {sourcename: "0x80a45f8" targetname: "0x80a4634" label: "0" } -node: {title: "0x80a46b0" label: "ProjP 0" color: yellow} -edge: {sourcename: "0x80a46b0" targetname: "0x80a4634" label: "0" } +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: "0x80a422c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a422c" targetname: "0x80a42a4" label: "0" color: red} -node: {title: "0x80a42a4" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a42a4" targetname: "0x80a42e0" label: "0" color: red} -node: {title: "0x80a42e0" label: "Start " color: blue} -node: {title: "0x80a45c0" label: "0I " color: yellow} -node: {title: "0x80a4634" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a4634" targetname: "0x80a42e0" label: "0" } -node: {title: "0x80a46ec" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a46ec" targetname: "0x80a42e0" label: "0" color: blue} +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} } -node: {title: "0x80a41f8" label: "Bad " } -node: {title: "0x809e1b0" label: "ent a" color: yellow info1:"automatic allocated +node: {title: "217" label: "Bad 217" } +node: {title: "0x809ff18" label: "ent a" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x809e1b0" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x809e0e8" label: "class PRIMA"info1: "state: layout_undefined +edge: { sourcename: "0x809ff18" targetname: "0x809fe40" class: 3 label: "type" color: red} +node: {title: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1b0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e2d0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e3a0" class: 12 label: "member" color:blue} -node: {title: "0x809e2d0" label: "ent set_a" color: yellow info1:"static allocated +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 = 0x80a0ae0 "} -edge: { sourcename: "0x809e2d0" targetname: "0x809e238" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e2d0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(PRIMA_set_a)P " color: yellow} -node: {title: "0x809e238" label: "method set_a"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e238" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e238" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -node: {title: "0x809e180" label: "pointer class_prima_ptr"info1: "state: layout_fixed, +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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0e8" class: 9 label: "points to" color:green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename: "0x809fee8" targetname: "0x809fe68" class: 9 label: "points to" color:green} +node: {title: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -node: {title: "0x809e3a0" label: "ent c" color: yellow info1:"static allocated +node: {title: "0x80a0110" label: "ent c" color: yellow info1:"static allocated local constant non_volatile existent - irg = 0x80a30e8 "} -edge: { sourcename: "0x809e3a0" targetname: "0x809e340" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e3a0" targetname: "0x809beb0" label: "value "} -node: {title: "0x809beb0" label: "&(PRIMA_c)P " color: yellow} -node: {title: "0x809e340" label: "method c"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e340" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -edge: { sourcename: "0x80a4670" targetname: "0x809e1b0" class: 2 priority: 2 linestyle: dotted} +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} } diff --git a/testprograms/ref-results/PRIMA_set_a-all.vcg b/testprograms/ref-results/PRIMA_set_a-all.vcg index 04148347c..ddbcbb870 100644 --- a/testprograms/ref-results/PRIMA_set_a-all.vcg +++ b/testprograms/ref-results/PRIMA_set_a-all.vcg @@ -7,96 +7,96 @@ 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: "0x80a1bb8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1bb8" targetname: "0x80a1c30" label: "0" color: red} -node: {title: "0x80a1b98" label: "End " color: blue} +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: "0x80a1c68" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1c68" targetname: "0x80a1ce0" label: "0" color: red} -node: {title: "0x80a1c30" label: "Return " } -edge: {sourcename: "0x80a1c30" targetname: "0x80a1dc8" label: "0" color: blue} -node: {title: "0x80a1dc8" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a1dc8" targetname: "0x80a1e04" label: "0" color: blue} -node: {title: "0x80a1e04" label: "Store " } -edge: {sourcename: "0x80a1e04" targetname: "0x80a1f3c" label: "0" color: blue} -edge: {sourcename: "0x80a1e04" targetname: "0x80a1ec0" label: "1" } -edge: {sourcename: "0x80a1e04" targetname: "0x80a1e48" label: "2" } -node: {title: "0x80a1e48" label: "ProjI 1" color: yellow} -edge: {sourcename: "0x80a1e48" targetname: "0x80a1e84" label: "0" } -node: {title: "0x80a1ec0" label: "Sel a" } -edge: {sourcename: "0x80a1ec0" targetname: "0x80a1f3c" label: "0" color: blue} -edge: {sourcename: "0x80a1ec0" targetname: "0x80a1f00" label: "1" } -node: {title: "0x80a1f00" label: "ProjP 0" color: yellow} -edge: {sourcename: "0x80a1f00" targetname: "0x80a1e84" label: "0" } +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: "0x80a1d1c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1d1c" targetname: "0x80a1ce0" label: "0" color: red} -node: {title: "0x80a1ce0" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a1ce0" targetname: "0x80a1d94" label: "0" color: red} -node: {title: "0x80a1d94" label: "Start " color: blue} -node: {title: "0x80a1e84" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a1e84" targetname: "0x80a1d94" label: "0" } -node: {title: "0x80a1f3c" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a1f3c" targetname: "0x80a1d94" label: "0" color: blue} +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} } -node: {title: "0x80a1ff0" label: "Bad " } -node: {title: "0x809e1b0" label: "ent a" color: yellow info1:"automatic allocated +node: {title: "213" label: "Bad 213" } +node: {title: "0x809ff18" label: "ent a" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x809e1b0" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x809e0e8" label: "class PRIMA"info1: "state: layout_undefined +edge: { sourcename: "0x809ff18" targetname: "0x809fe40" class: 3 label: "type" color: red} +node: {title: "0x809fe68" label: "class PRIMA"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1b0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e2d0" class: 12 label: "member" color:blue} -edge: { sourcename: "0x809e0e8" targetname: "0x809e3a0" class: 12 label: "member" color:blue} -node: {title: "0x809e2d0" label: "ent set_a" color: yellow info1:"static allocated +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 = 0x80a0ae0 "} -edge: { sourcename: "0x809e2d0" targetname: "0x809e238" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e2d0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(PRIMA_set_a)P " color: yellow} -node: {title: "0x809e238" label: "method set_a"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e238" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e238" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -node: {title: "0x809e180" label: "pointer class_prima_ptr"info1: "state: layout_fixed, +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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0e8" class: 9 label: "points to" color:green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +edge: { sourcename: "0x809fee8" targetname: "0x809fe68" class: 9 label: "points to" color:green} +node: {title: "0x809fe40" label: "primitive int"info1: "state: layout_fixed, mode: I, size: 4B, "} -node: {title: "0x809e3a0" label: "ent c" color: yellow info1:"static allocated +node: {title: "0x80a0110" label: "ent c" color: yellow info1:"static allocated local constant non_volatile existent - irg = 0x80a30e8 "} -edge: { sourcename: "0x809e3a0" targetname: "0x809e340" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e3a0" targetname: "0x809beb0" label: "value "} -node: {title: "0x809beb0" label: "&(PRIMA_c)P " color: yellow} -node: {title: "0x809e340" label: "method c"info1: "state: layout_fixed, + 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, mode: P, size: 4B, "} -edge: { sourcename: "0x809e340" targetname: "0x809e180" class: 5 label: "param 0" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 5 label: "param 1" color: green} -edge: { sourcename: "0x809e340" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} -edge: { sourcename: "0x80a1ec0" targetname: "0x809e1b0" class: 2 priority: 2 linestyle: dotted} +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} } diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg index a8b42538f..4cc67b2b8 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:"0x80a08c8" label: "Block 0x80a08c8" } -edge: { sourcename: "0x80a08c8" targetname: "0x80a097c" } -node: {title:"0x80a097c" label: "Block 0x80a097c" } -edge: { sourcename: "0x80a097c" targetname: "0x80a1074" } -edge: { sourcename: "0x80a097c" targetname: "0x80a0f8c" } -edge: { sourcename: "0x80a097c" targetname: "0x80a0a38" } -node: {title:"0x80a0a38" label: "Block 0x80a0a38" } -edge: { sourcename: "0x80a0a38" targetname: "0x80a0aec" } -node: {title:"0x80a0aec" label: "Block 0x80a0aec" } -edge: { sourcename: "0x80a0aec" targetname: "0x80a0ba0" } -node: {title:"0x80a0ba0" label: "Block 0x80a0ba0" } -edge: { sourcename: "0x80a0ba0" targetname: "0x80a0c54" } -node: {title:"0x80a0c54" label: "Block 0x80a0c54" } -edge: { sourcename: "0x80a0c54" targetname: "0x80a0c54" } -node: {title:"0x80a0f8c" label: "Block 0x80a0f8c" } -edge: { sourcename: "0x80a0f8c" targetname: "0x80a0aec" } -node: {title:"0x80a1074" label: "Block 0x80a1074" } -edge: { sourcename: "0x80a1074" targetname: "0x80a0ba0" } -node: {title: "0x80a12ac" label: "BadT" } +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" } } diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg index 94c3d2545..5bec73740 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: "0x80a08c8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a08c8" targetname: "0x80a0940" label: "0" color: red} -node: {title: "0x80a08a8" label: "End " color: blue} +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: "0x80a097c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a097c" targetname: "0x80a1040" label: "0" color: red} -edge: {sourcename: "0x80a097c" targetname: "0x80a0f58" label: "1" color: red} -edge: {sourcename: "0x80a097c" targetname: "0x80a0a04" label: "2" color: red} -node: {title: "0x80a0940" label: "Return " } -edge: {sourcename: "0x80a0940" targetname: "0x80a11f8" label: "0" color: blue} -edge: {sourcename: "0x80a0940" targetname: "0x80a1128" label: "1" } -node: {title: "0x80a1128" label: "PhiI " color: green} -edge: {sourcename: "0x80a1128" targetname: "0x80a11c0" label: "0" } -edge: {sourcename: "0x80a1128" targetname: "0x80a1188" label: "1" } -edge: {sourcename: "0x80a1128" targetname: "0x80a1188" label: "2" } +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: "0x80a0a38" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a38" targetname: "0x80a0ab0" label: "0" color: red} -node: {title: "0x80a0a04" label: "Jmp " } +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: "0x80a0aec" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0aec" targetname: "0x80a0b64" label: "0" color: red} -node: {title: "0x80a0ab0" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0ab0" targetname: "0x80a0e68" label: "0" color: red} -node: {title: "0x80a0e68" label: "Cond " } -edge: {sourcename: "0x80a0e68" targetname: "0x80a0ea8" label: "0" } -node: {title: "0x80a0ea8" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0ea8" targetname: "0x80a0ee4" label: "0" } -node: {title: "0x80a0ee4" label: "CmpT " } -edge: {sourcename: "0x80a0ee4" targetname: "0x80a0f20" label: "0" } -edge: {sourcename: "0x80a0ee4" targetname: "0x80a0db8" label: "1" } -node: {title: "0x80a1004" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a1004" targetname: "0x80a0e68" label: "0" color: red} +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: "0x80a0ba0" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0ba0" targetname: "0x80a0c18" label: "0" color: red} -node: {title: "0x80a0b64" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0b64" targetname: "0x80a0d00" label: "0" color: red} -node: {title: "0x80a0d00" label: "Cond " } -edge: {sourcename: "0x80a0d00" targetname: "0x80a0d40" label: "0" } -node: {title: "0x80a0d40" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0d40" targetname: "0x80a0d7c" label: "0" } -node: {title: "0x80a0d7c" label: "CmpT " } -edge: {sourcename: "0x80a0d7c" targetname: "0x80a0e30" label: "0" } -edge: {sourcename: "0x80a0d7c" targetname: "0x80a0db8" label: "1" } -node: {title: "0x80a0db8" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a0db8" targetname: "0x80a0df4" label: "0" } -node: {title: "0x80a10ec" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a10ec" targetname: "0x80a0d00" 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: "0x80a0c54" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0c54" targetname: "0x80a0c18" label: "0" color: red} -node: {title: "0x80a0c18" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0c18" targetname: "0x80a0ccc" label: "0" color: red} -node: {title: "0x80a0ccc" label: "Start " color: blue} -node: {title: "0x80a0df4" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a0df4" targetname: "0x80a0ccc" label: "0" } -node: {title: "0x80a0e30" label: "1I " color: yellow} -node: {title: "0x80a0f20" label: "3I " color: yellow} -node: {title: "0x80a1188" label: "6I " color: yellow} -node: {title: "0x80a11c0" label: "5I " color: yellow} -node: {title: "0x80a11f8" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a11f8" targetname: "0x80a0ccc" label: "0" color: blue} +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: "0x80a0f8c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0f8c" targetname: "0x80a1004" label: "0" color: red} -node: {title: "0x80a0f58" label: "Jmp " } +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: "0x80a1074" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1074" targetname: "0x80a10ec" label: "0" color: red} -node: {title: "0x80a1040" label: "Jmp " } +graph: { title: "87" label: "87" status:clustered color:yellow +edge: {sourcename: "87" targetname: "88" label: "0" color: red} +node: {title: "86" label: "Jmp 86" } } -node: {title: "0x80a12ac" label: "Bad " } +node: {title: "95" label: "Bad 95" } } diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg index 911870b21..61738dd6a 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: "0x80a08f8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a08f8" targetname: "0x80a0970" label: "0" color: red} -node: {title: "0x80a08d8" label: "End " color: blue} +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: "0x80a09ac" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a09ac" targetname: "0x80a0a24" label: "0" color: red} -node: {title: "0x80a0970" label: "Return " } -edge: {sourcename: "0x80a0970" targetname: "0x80a0fe8" label: "0" color: blue} -edge: {sourcename: "0x80a0970" targetname: "0x80a0fac" label: "1" } -node: {title: "0x80a0fac" label: "SubI " } -edge: {sourcename: "0x80a0fac" targetname: "0x80a0cd8" label: "0" } -edge: {sourcename: "0x80a0fac" targetname: "0x80a0c80" label: "1" } +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: "0x80a0a60" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a60" targetname: "0x80a0f78" label: "0" color: red} -edge: {sourcename: "0x80a0a60" targetname: "0x80a0ae0" label: "1" color: red} -node: {title: "0x80a0a24" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0a24" targetname: "0x80a0bc8" label: "0" color: red} -node: {title: "0x80a0b8c" label: "ProjX 1" color: yellow} -edge: {sourcename: "0x80a0b8c" targetname: "0x80a0bc8" label: "0" color: red} -node: {title: "0x80a0bc8" label: "Cond " } -edge: {sourcename: "0x80a0bc8" targetname: "0x80a0c08" label: "0" } -node: {title: "0x80a0c08" label: "Projb Eq" color: yellow} -edge: {sourcename: "0x80a0c08" targetname: "0x80a0c44" label: "0" } -node: {title: "0x80a0c44" label: "CmpT " } -edge: {sourcename: "0x80a0c44" targetname: "0x80a0f40" label: "0" } -edge: {sourcename: "0x80a0c44" targetname: "0x80a0c80" label: "1" } -node: {title: "0x80a0c80" label: "PhiI " color: green} -edge: {sourcename: "0x80a0c80" targetname: "0x80a0f08" label: "0" } -edge: {sourcename: "0x80a0c80" targetname: "0x80a0cd8" label: "1" } -node: {title: "0x80a0cd8" label: "PhiI " color: green} -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0d30" label: "0" } -edge: {sourcename: "0x80a0cd8" targetname: "0x80a0c80" 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: "0x80a0b14" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b14" targetname: "0x80a0b8c" label: "0" color: red} -node: {title: "0x80a0ae0" label: "Jmp " } +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: "0x80a0d6c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0d6c" targetname: "0x80a0de4" label: "0" color: red} -node: {title: "0x80a0d30" label: "ProjI 0" color: yellow} -edge: {sourcename: "0x80a0d30" targetname: "0x80a0ecc" label: "0" } -node: {title: "0x80a0f78" label: "Jmp " } +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: "0x80a0e20" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0e20" targetname: "0x80a0de4" label: "0" color: red} -node: {title: "0x80a0de4" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0de4" targetname: "0x80a0e98" label: "0" color: red} -node: {title: "0x80a0e98" label: "Start " color: blue} -node: {title: "0x80a0ecc" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a0ecc" targetname: "0x80a0e98" label: "0" } -node: {title: "0x80a0f08" label: "1I " color: yellow} -node: {title: "0x80a0f40" label: "0I " color: yellow} -node: {title: "0x80a0fe8" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0fe8" targetname: "0x80a0e98" label: "0" color: blue} +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} } -node: {title: "0x80a109c" label: "Bad " } +node: {title: "76" label: "Bad 76" } } diff --git a/testprograms/ref-results/c.vcg b/testprograms/ref-results/c.vcg index 1c4041b57..c31614cd4 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: "0x80a4198" label: "Block" status:clustered color:yellow -node: {title: "0x80a4178" label: "End " color: blue} +graph: { title: "216" label: "216" status:clustered color:yellow +node: {title: "215" label: "End 215" color: blue} } -graph: { title: "0x80a4314" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a4314" targetname: "0x80a43c8" label: "0" color: red} -edge: {sourcename: "0x80a4314" targetname: "0x80a4394" label: "1" color: red} -node: {title: "0x80a4474" label: "PhiM " color: green} -edge: {sourcename: "0x80a4474" targetname: "0x80a46ec" label: "0" color: blue} -edge: {sourcename: "0x80a4474" targetname: "0x80a44cc" label: "1" color: blue} -node: {title: "0x80a4394" label: "Jmp " } -node: {title: "0x80a44cc" label: "Store " } -edge: {sourcename: "0x80a44cc" targetname: "0x80a4474" label: "0" color: blue} -edge: {sourcename: "0x80a44cc" targetname: "0x80a4670" label: "1" } -edge: {sourcename: "0x80a44cc" targetname: "0x80a4510" label: "2" } -node: {title: "0x80a4510" label: "PhiI " color: green} -edge: {sourcename: "0x80a4510" targetname: "0x80a45f8" label: "0" } -edge: {sourcename: "0x80a4510" targetname: "0x80a4568" label: "1" } -node: {title: "0x80a4568" label: "PhiI " color: green} -edge: {sourcename: "0x80a4568" targetname: "0x80a45c0" label: "0" } -edge: {sourcename: "0x80a4568" targetname: "0x80a4510" label: "1" } -node: {title: "0x80a4670" label: "Sel a" } -edge: {sourcename: "0x80a4670" targetname: "0x80a4474" label: "0" color: blue} -edge: {sourcename: "0x80a4670" targetname: "0x80a46b0" label: "1" } +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: "0x80a43fc" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a43fc" targetname: "0x80a42a4" label: "0" color: red} -node: {title: "0x80a43c8" label: "Jmp " } -node: {title: "0x80a45f8" label: "ProjI 1" color: yellow} -edge: {sourcename: "0x80a45f8" targetname: "0x80a4634" label: "0" } -node: {title: "0x80a46b0" label: "ProjP 0" color: yellow} -edge: {sourcename: "0x80a46b0" targetname: "0x80a4634" label: "0" } +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: "0x80a422c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a422c" targetname: "0x80a42a4" label: "0" color: red} -node: {title: "0x80a42a4" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a42a4" targetname: "0x80a42e0" label: "0" color: red} -node: {title: "0x80a42e0" label: "Start " color: blue} -node: {title: "0x80a45c0" label: "0I " color: yellow} -node: {title: "0x80a4634" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a4634" targetname: "0x80a42e0" label: "0" } -node: {title: "0x80a46ec" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a46ec" targetname: "0x80a42e0" label: "0" color: blue} +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} } -node: {title: "0x80a41f8" label: "Bad " } +node: {title: "217" label: "Bad 217" } } diff --git a/testprograms/ref-results/main-type.vcg b/testprograms/ref-results/main-type.vcg index 51dfc486f..b8473c62b 100644 --- a/testprograms/ref-results/main-type.vcg +++ b/testprograms/ref-results/main-type.vcg @@ -7,50 +7,50 @@ 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: "0x80a08e8" label: "ent a_tp_elem_ent" color: yellow info1:"automatic allocated +node: {title: "0x80a1f88" label: "ent a_tp_elem_ent" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x80a08e8" targetname: "0x809e0c0" class: 3 label: "type" color: red} -node: {title: "0x80a0850" label: "array a_tp"info1: "state: layout_undefined +edge: { sourcename: "0x80a1f88" targetname: "0x809f7a0" class: 3 label: "type" color: red} +node: {title: "0x80a1f10" label: "array a_tp"info1: "state: layout_undefined size: -1B, "} -edge: { sourcename: "0x80a0850" targetname: "0x809e0c0" class: 10 label: "arr elt tp" color:green} -edge: { sourcename: "0x80a0850" targetname: "0x80a08e8" class: 10 label: "arr ent" color: green} -node: {title: "0x809e0c0" label: "primitive int"info1: "state: layout_fixed, +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, mode: I, size: 4B, "} -node: {title: "0x80a0970" label: "ent a" color: yellow info1:"automatic allocated +node: {title: "0x80a2010" label: "ent a" color: yellow info1:"automatic allocated local uninitialized non_volatile existent "} -edge: { sourcename: "0x80a0970" targetname: "0x80a0850" class: 3 label: "type" color: red} -node: {title: "0x80a0750" label: "class mainframe_tp"info1: "state: layout_undefined +edge: { sourcename: "0x80a2010" targetname: "0x80a1f10" class: 3 label: "type" color: red} +node: {title: "0x80a1e38" label: "class mainframe_tp"info1: "state: layout_undefined size: -1B, " color: green} -edge: { sourcename: "0x80a0750" targetname: "0x80a0970" class: 12 label: "member" color:blue} -node: {title: "0x809e1e0" label: "ent main" color: yellow info1:"static allocated +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 = 0x809e268 "} -edge: { sourcename: "0x809e1e0" targetname: "0x809e180" class: 3 label: "type" color: red} -edge: { sourcename: "0x809e1e0" targetname: "0x809be78" label: "value "} -node: {title: "0x809be78" label: "&(ARRAY-STACK_EXAMPLE_main)P " color: yellow} -node: {title: "0x809e0e8" label: "class ARRAY-STACK_EXAMPLE"info1: "state: layout_undefined + 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 size: -1B, " color: green} -edge: { sourcename: "0x809e0e8" targetname: "0x809e1e0" class: 12 label: "member" color:blue} -node: {title: "0x809e180" label: "method main"info1: "state: layout_fixed, +edge: { sourcename: "0x809f7c8" targetname: "0x809f8a8" class: 12 label: "member" color:blue} +node: {title: "0x809f848" label: "method main"info1: "state: layout_fixed, mode: P, size: 4B, "} -edge: { sourcename: "0x809e180" targetname: "0x809e0c0" class: 6 label: "res 0" color: green} +edge: { sourcename: "0x809f848" targetname: "0x809f7a0" class: 6 label: "res 0" color: green} } diff --git a/testprograms/ref-results/main.vcg b/testprograms/ref-results/main.vcg index 6c107fda5..5d180eab2 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: "0x80a0a90" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0a90" targetname: "0x80a0b08" label: "0" color: red} -node: {title: "0x80a0a70" label: "End " color: blue} +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: "0x80a0b44" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0b44" targetname: "0x80a0bbc" label: "0" color: red} -node: {title: "0x80a0b08" label: "Return " } -edge: {sourcename: "0x80a0b08" targetname: "0x80a0e54" label: "0" color: blue} -edge: {sourcename: "0x80a0b08" targetname: "0x80a0ca4" label: "1" } -node: {title: "0x80a0ca4" label: "ProjI 2" color: yellow} -edge: {sourcename: "0x80a0ca4" targetname: "0x80a0ce0" label: "0" } -node: {title: "0x80a0ce0" label: "Load " } -edge: {sourcename: "0x80a0ce0" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0ce0" targetname: "0x80a0d20" label: "1" } -node: {title: "0x80a0d20" label: "Sel a_tp_elem_ent" } -edge: {sourcename: "0x80a0d20" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0d20" targetname: "0x80a0d9c" label: "1" } -edge: {sourcename: "0x80a0d20" targetname: "0x80a0d64" label: "2" } -node: {title: "0x80a0d9c" label: "Sel a" } -edge: {sourcename: "0x80a0d9c" targetname: "0x80a0e18" label: "0" color: blue} -edge: {sourcename: "0x80a0d9c" targetname: "0x80a0ddc" label: "1" } -node: {title: "0x80a0e54" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a0e54" targetname: "0x80a0ce0" label: "0" 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: "0x80a0bf8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a0bf8" targetname: "0x80a0bbc" label: "0" color: red} -node: {title: "0x80a0bbc" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a0bbc" targetname: "0x80a0c70" label: "0" color: red} -node: {title: "0x80a0c70" label: "Start " color: blue} -node: {title: "0x80a0d64" label: "3I " color: yellow} -node: {title: "0x80a0ddc" label: "ProjP 2" color: yellow} -edge: {sourcename: "0x80a0ddc" targetname: "0x80a0c70" label: "0" } -node: {title: "0x80a0e18" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a0e18" targetname: "0x80a0c70" 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} } -node: {title: "0x80a0f08" label: "Bad " } +node: {title: "43" label: "Bad 43" } } diff --git a/testprograms/ref-results/set_a.vcg b/testprograms/ref-results/set_a.vcg index 531febd5c..de8943fa5 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: "0x80a1bb8" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1bb8" targetname: "0x80a1c30" label: "0" color: red} -node: {title: "0x80a1b98" label: "End " color: blue} +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: "0x80a1c68" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1c68" targetname: "0x80a1ce0" label: "0" color: red} -node: {title: "0x80a1c30" label: "Return " } -edge: {sourcename: "0x80a1c30" targetname: "0x80a1dc8" label: "0" color: blue} -node: {title: "0x80a1dc8" label: "ProjM 0" color: yellow} -edge: {sourcename: "0x80a1dc8" targetname: "0x80a1e04" label: "0" color: blue} -node: {title: "0x80a1e04" label: "Store " } -edge: {sourcename: "0x80a1e04" targetname: "0x80a1f3c" label: "0" color: blue} -edge: {sourcename: "0x80a1e04" targetname: "0x80a1ec0" label: "1" } -edge: {sourcename: "0x80a1e04" targetname: "0x80a1e48" label: "2" } -node: {title: "0x80a1e48" label: "ProjI 1" color: yellow} -edge: {sourcename: "0x80a1e48" targetname: "0x80a1e84" label: "0" } -node: {title: "0x80a1ec0" label: "Sel a" } -edge: {sourcename: "0x80a1ec0" targetname: "0x80a1f3c" label: "0" color: blue} -edge: {sourcename: "0x80a1ec0" targetname: "0x80a1f00" label: "1" } -node: {title: "0x80a1f00" label: "ProjP 0" color: yellow} -edge: {sourcename: "0x80a1f00" targetname: "0x80a1e84" label: "0" } +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: "0x80a1d1c" label: "Block" status:clustered color:yellow -edge: {sourcename: "0x80a1d1c" targetname: "0x80a1ce0" label: "0" color: red} -node: {title: "0x80a1ce0" label: "ProjX 0" color: yellow} -edge: {sourcename: "0x80a1ce0" targetname: "0x80a1d94" label: "0" color: red} -node: {title: "0x80a1d94" label: "Start " color: blue} -node: {title: "0x80a1e84" label: "ProjT 4" color: yellow} -edge: {sourcename: "0x80a1e84" targetname: "0x80a1d94" label: "0" } -node: {title: "0x80a1f3c" label: "ProjM 1" color: yellow} -edge: {sourcename: "0x80a1f3c" targetname: "0x80a1d94" label: "0" color: blue} +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} } -node: {title: "0x80a1ff0" label: "Bad " } +node: {title: "213" label: "Bad 213" } } -- 2.20.1