more verbose dump: Return

[r1807]

diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
index c468a13..6cfa5d6 100644 (file)
--- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg
@@ -26,6 +26,8 @@ node: {title: "n48" label: "End  48" color: blue info1: "visited: 8
 graph: { title: "n51" label: "51" status:clustered color:yellow
 edge: {sourcename: "n51" targetname: "n52" label: "0" color: red}
 node: {title: "n50" label: "Return  50"  info1: "visited: 9
+return in method of type ARRAY-HEAP_EXAMPLE_main
+  res 0 type: int
 "}
 edge: {sourcename: "n50" targetname: "n64" label: "0" color: blue}
 edge: {sourcename: "n50" targetname: "n55" label: "1" }

diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
index d90bac5..f69c125 100644 (file)
--- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
@@ -26,6 +26,8 @@ node: {title: "n46" label: "End  46" color: blue info1: "visited: 13
 graph: { title: "n49" label: "49" status:clustered color:yellow
 edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
 node: {title: "n48" label: "Return  48"  info1: "visited: 14
+return in method of type main
+  res 0 type: int
 "}
 edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
 edge: {sourcename: "n48" targetname: "n53" label: "1" }

diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
index e8a4cdd..cf49f4b 100644 (file)
--- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
@@ -26,6 +26,7 @@ node: {title: "n55" label: "End  55" color: blue info1: "visited: 6
 graph: { title: "n58" label: "58" status:clustered color:yellow
 edge: {sourcename: "n58" targetname: "n59" label: "0" color: red}
 node: {title: "n57" label: "Return  57"  info1: "visited: 7
+return in method of type CALL_STR_EXAMPLE_main
 "}
 edge: {sourcename: "n57" targetname: "n62" label: "0" color: blue}
 node: {title: "n62" label: "ProjM 0 62" color: yellow info1: "visited: 7

diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg
index 139d5bf..6f8313d 100644 (file)
--- a/testprograms/ref-results/COND_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg
@@ -27,6 +27,8 @@ graph: { title: "n63" label: "63" status:clustered color:yellow
 edge: {sourcename: "n63" targetname: "n84" label: "0" color: red}
 edge: {sourcename: "n63" targetname: "n64" label: "1" color: red}
 node: {title: "n62" label: "Return  62"  info1: "visited: 10
+return in method of type main
+  res 0 type: int
 "}
 edge: {sourcename: "n62" targetname: "n89" label: "0" color: blue}
 edge: {sourcename: "n62" targetname: "n87" label: "1" }

diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
index 719f831..1f2f468 100644 (file)
--- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg
@@ -26,6 +26,9 @@ node: {title: "n45" label: "End  45" color: blue info1: "visited: 4
 graph: { title: "n48" label: "48" status:clustered color:yellow
 edge: {sourcename: "n48" targetname: "n49" label: "0" color: red}
 node: {title: "n47" label: "Return  47"  info1: "visited: 5
+return in method of type main
+  res 0 type: int
+  res 1 type: int
 "}
 edge: {sourcename: "n47" targetname: "n53" label: "0" color: blue}
 edge: {sourcename: "n47" targetname: "n52" label: "1" }

diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg
index 286b272..3fe4892 100644 (file)
--- a/testprograms/ref-results/DEAD_BLOCK_main.vcg
+++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg
@@ -26,6 +26,8 @@ node: {title: "n66" label: "End  66" color: blue info1: "visited: 9
 graph: { title: "n75" label: "75" status:clustered color:yellow
 edge: {sourcename: "n75" targetname: "n72" label: "0" color: red}
 node: {title: "n68" label: "Return  68"  info1: "visited: 10
+return in method of type main
+  res 0 type: int
 "}
 edge: {sourcename: "n68" targetname: "n77" label: "0" color: blue}
 edge: {sourcename: "n68" targetname: "n76" label: "1" }

diff --git a/testprograms/ref-results/EMPTY_main.vcg b/testprograms/ref-results/EMPTY_main.vcg
index 9e1fc98..860b04c 100644 (file)
--- a/testprograms/ref-results/EMPTY_main.vcg
+++ b/testprograms/ref-results/EMPTY_main.vcg
@@ -26,6 +26,7 @@ node: {title: "n17" label: "End  17" color: blue info1: "visited: 4
 graph: { title: "n28" label: "28" status:clustered color:yellow
 edge: {sourcename: "n28" targetname: "n22" label: "0" color: red}
 node: {title: "n30" label: "Return  30"  info1: "visited: 5
+return in method of type EMPTY_main
 "}
 edge: {sourcename: "n30" targetname: "n23" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
index 24a5c66..2edcde9 100644 (file)
--- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg
@@ -27,6 +27,8 @@ graph: { title: "n66" label: "66" status:clustered color:yellow
 edge: {sourcename: "n66" targetname: "n80" label: "0" color: red}
 edge: {sourcename: "n66" targetname: "n67" label: "1" color: red}
 node: {title: "n65" label: "Return  65"  info1: "visited: 13
+return in method of type GLOBAL_CSE_EXAMPLE_main
+  res 0 type: int
 "}
 edge: {sourcename: "n65" targetname: "n88" label: "0" color: blue}
 edge: {sourcename: "n65" targetname: "n83" label: "1" }

diff --git a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
index 65e2105..da17f26 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
@@ -24,6 +24,7 @@ node: {title: "n40" label: "Block  40" color: lightyellow info1: "visited: 11
 "}
 edge: {sourcename: "n40" targetname: "n41" label: "0" color: red}
 node: {title: "n41" label: "Return  41"  info1: "visited: 11
+return in method of type GLOBAL_VAR_main
 "}
 edge: { sourcename: "n41" targetname: "n42" class: 2 priority: 2 linestyle: dotted}
 edge: {sourcename: "n41" targetname: "n46" label: "0" color: blue}

diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg
index 2534273..3b0057b 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg
@@ -26,6 +26,7 @@ node: {title: "n39" label: "End  39" color: blue info1: "visited: 7
 graph: { title: "n42" label: "42" status:clustered color:yellow
 edge: {sourcename: "n42" targetname: "n43" label: "0" color: red}
 node: {title: "n41" label: "Return  41"  info1: "visited: 8
+return in method of type GLOBAL_VAR_main
 "}
 edge: {sourcename: "n41" targetname: "n46" label: "0" color: blue}
 node: {title: "n46" label: "ProjM 0 46" color: yellow info1: "visited: 8

diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
index 3a5c6e2..e025d66 100644 (file)
--- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
@@ -26,6 +26,9 @@ node: {title: "n63" label: "End  63" color: blue info1: "visited: 13
 graph: { title: "n68" label: "68" status:clustered color:yellow
 edge: {sourcename: "n68" targetname: "n69" label: "0" color: red}
 node: {title: "n65" label: "Return  65"  info1: "visited: 14
+return in method of type IF_ELSE_EXAMPLE_main
+  res 0 type: int
+  res 1 type: int
 "}
 edge: {sourcename: "n65" targetname: "n75" label: "0" color: blue}
 edge: {sourcename: "n65" targetname: "n74" label: "1" }

diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg
index cfaaa60..68c2500 100644 (file)
--- a/testprograms/ref-results/IF_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_EXAMPLE_main.vcg
@@ -27,6 +27,8 @@ graph: { title: "n43" label: "43" status:clustered color:yellow
 edge: {sourcename: "n43" targetname: "n35" label: "0" color: red}
 edge: {sourcename: "n43" targetname: "n42" label: "1" color: red}
 node: {title: "n52" label: "Return  52"  info1: "visited: 9
+return in method of type IF_EXAMPLE_main
+  res 0 type: int
 "}
 edge: {sourcename: "n52" targetname: "n24" label: "0" color: blue}
 edge: {sourcename: "n52" targetname: "n45" label: "1" }

diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
index 2a54868..722009e 100644 (file)
--- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg
@@ -100,6 +100,8 @@ node: {title: "n98" label: "ProjM 1 98" color: yellow info1: "visited: 14
 edge: { sourcename: "n98" targetname: "n88" class: 2 priority: 2 linestyle: dotted}
 edge: {sourcename: "n98" targetname: "n90" label: "0" color: blue}
 node: {title: "n77" label: "Return  77"  info1: "visited: 14
+return in method of type main
+  res 0 type: int
 "}
 edge: { sourcename: "n77" targetname: "n78" class: 2 priority: 2 linestyle: dotted}
 edge: {sourcename: "n77" targetname: "n98" label: "0" color: blue}

diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg
index 5e98f49..8b287c0 100644 (file)
--- a/testprograms/ref-results/IRREGULAR_CF_main.vcg
+++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg
@@ -27,6 +27,7 @@ graph: { title: "n67" label: "67" status:clustered color:yellow
 edge: {sourcename: "n67" targetname: "n89" label: "0" color: red}
 edge: {sourcename: "n67" targetname: "n68" label: "1" color: red}
 node: {title: "n66" label: "Return  66"  info1: "visited: 6
+return in method of type main
 "}
 edge: {sourcename: "n66" targetname: "n92" label: "0" color: blue}
 }

diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg
index f0e609d..c565884 100644 (file)
--- a/testprograms/ref-results/IRR_LOOP_main.vcg
+++ b/testprograms/ref-results/IRR_LOOP_main.vcg
@@ -27,6 +27,7 @@ graph: { title: "n64" label: "64" status:clustered color:yellow
 edge: {sourcename: "n64" targetname: "n88" label: "0" color: red}
 edge: {sourcename: "n64" targetname: "n65" label: "1" color: red}
 node: {title: "n63" label: "Return  63"  info1: "visited: 6
+return in method of type main
 "}
 edge: {sourcename: "n63" targetname: "n89" label: "0" color: blue}
 node: {title: "n89" label: "PhiM  89" color: green info1: "visited: 6

diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
index c82bc14..957fee3 100644 (file)
--- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg
@@ -26,6 +26,8 @@ node: {title: "n77" label: "End  77" color: blue info1: "visited: 15
 graph: { title: "n80" label: "80" status:clustered color:yellow
 edge: {sourcename: "n80" targetname: "n81" label: "0" color: red}
 node: {title: "n79" label: "Return  79"  info1: "visited: 16
+return in method of type main
+  res 0 type: int
 "}
 edge: {sourcename: "n79" targetname: "n115" label: "0" color: blue}
 edge: {sourcename: "n79" targetname: "n113" label: "1" }

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
index 9f0713b..abd627d 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
@@ -26,6 +26,8 @@ node: {title: "n107" label: "End  107" color: blue info1: "visited: 19
 graph: { title: "n110" label: "110" status:clustered color:yellow
 edge: {sourcename: "n110" targetname: "n111" label: "0" color: red}
 node: {title: "n109" label: "Return  109"  info1: "visited: 20
+return in method of type OO_PROGRAM_EXAMPLE_main
+  res 0 type: int
 "}
 edge: {sourcename: "n109" targetname: "n128" label: "0" color: blue}
 edge: {sourcename: "n109" targetname: "n114" label: "1" }

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
index dcbe65f..d7bafee 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg
@@ -26,6 +26,8 @@ node: {title: "n107" label: "End  107" color: blue info1: "visited: 15
 graph: { title: "n110" label: "110" status:clustered color:yellow
 edge: {sourcename: "n110" targetname: "n111" label: "0" color: red}
 node: {title: "n109" label: "Return  109"  info1: "visited: 16
+return in method of type OO_PROGRAM_EXAMPLE_main
+  res 0 type: int
 "}
 edge: {sourcename: "n109" targetname: "n128" label: "0" color: blue}
 edge: {sourcename: "n109" targetname: "n114" label: "1" }

diff --git a/testprograms/ref-results/PRIMA_set_a-all.vcg b/testprograms/ref-results/PRIMA_set_a-all.vcg
index 3c0f919..b441fcc 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-all.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-all.vcg
@@ -26,6 +26,7 @@ node: {title: "n224" label: "End  224" color: blue info1: "visited: 20
 graph: { title: "n227" label: "227" status:clustered color:yellow
 edge: {sourcename: "n227" targetname: "n228" label: "0" color: red}
 node: {title: "n226" label: "Return  226"  info1: "visited: 21
+return in method of type set_a
 "}
 edge: {sourcename: "n226" targetname: "n231" label: "0" color: blue}
 node: {title: "n231" label: "ProjM 0 231" color: yellow info1: "visited: 21

diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
index d8d83f6..c6d5203 100644 (file)
--- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg
@@ -28,6 +28,8 @@ edge: {sourcename: "n79" targetname: "n102" label: "0" color: red}
 edge: {sourcename: "n79" targetname: "n99" label: "1" color: red}
 edge: {sourcename: "n79" targetname: "n80" label: "2" color: red}
 node: {title: "n78" label: "Return  78"  info1: "visited: 9
+return in method of type THREE_CFPRED_EXAMPLE_main
+  res 0 type: int
 "}
 edge: {sourcename: "n78" targetname: "n108" label: "0" color: blue}
 edge: {sourcename: "n78" targetname: "n105" label: "1" }

diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
index 78bd3df..bead973 100644 (file)
--- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg
@@ -26,6 +26,8 @@ node: {title: "n66" label: "End  66" color: blue info1: "visited: 15
 graph: { title: "n69" label: "69" status:clustered color:yellow
 edge: {sourcename: "n69" targetname: "n70" label: "0" color: red}
 node: {title: "n68" label: "Return  68"  info1: "visited: 16
+return in method of type main_tp
+  res 0 type: int
 "}
 edge: {sourcename: "n68" targetname: "n90" label: "0" color: blue}
 edge: {sourcename: "n68" targetname: "n89" label: "1" }

diff --git a/testprograms/ref-results/main.vcg b/testprograms/ref-results/main.vcg
index f215332..38959aa 100644 (file)
--- a/testprograms/ref-results/main.vcg
+++ b/testprograms/ref-results/main.vcg
@@ -26,6 +26,8 @@ node: {title: "n46" label: "End  46" color: blue info1: "visited: 8
 graph: { title: "n49" label: "49" status:clustered color:yellow
 edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
 node: {title: "n48" label: "Return  48"  info1: "visited: 9
+return in method of type main
+  res 0 type: int
 "}
 edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
 edge: {sourcename: "n48" targetname: "n53" label: "1" }

diff --git a/testprograms/ref-results/set_a.vcg b/testprograms/ref-results/set_a.vcg
index ce0ce6f..4254dfb 100644 (file)
--- a/testprograms/ref-results/set_a.vcg
+++ b/testprograms/ref-results/set_a.vcg
@@ -26,6 +26,7 @@ node: {title: "n224" label: "End  224" color: blue info1: "visited: 16
 graph: { title: "n227" label: "227" status:clustered color:yellow
 edge: {sourcename: "n227" targetname: "n228" label: "0" color: red}
 node: {title: "n226" label: "Return  226"  info1: "visited: 17
+return in method of type set_a
 "}
 edge: {sourcename: "n226" targetname: "n231" label: "0" color: blue}
 node: {title: "n231" label: "ProjM 0 231" color: yellow info1: "visited: 17