From 88d46184c3bbaa03b2e730de5b188b49877679d2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Sat, 6 Sep 2003 16:14:34 +0000 Subject: [PATCH] more verbose dump: Return [r1807] --- testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg | 2 ++ testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg | 1 + testprograms/ref-results/COND_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg | 3 +++ testprograms/ref-results/DEAD_BLOCK_main.vcg | 2 ++ testprograms/ref-results/EMPTY_main.vcg | 1 + testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/GLOBAL_VAR_main-all.vcg | 1 + testprograms/ref-results/GLOBAL_VAR_main.vcg | 1 + testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg | 3 +++ testprograms/ref-results/IF_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/IF_WHILE_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/IRREGULAR_CF_main.vcg | 1 + testprograms/ref-results/IRR_LOOP_main.vcg | 1 + testprograms/ref-results/MEMORY_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg | 2 ++ testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/PRIMA_set_a-all.vcg | 1 + testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/WHILE_EXAMPLE_main.vcg | 2 ++ testprograms/ref-results/main.vcg | 2 ++ testprograms/ref-results/set_a.vcg | 1 + 23 files changed, 40 insertions(+) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index c468a130f..6cfa5d68d 100644 --- 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 d90bac5c5..f69c1250d 100644 --- 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 e8a4cdd12..cf49f4b81 100644 --- 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 139d5bfd8..6f8313d20 100644 --- 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 719f83125..1f2f46868 100644 --- 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 286b2725b..3fe4892d4 100644 --- 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 9e1fc980a..860b04c37 100644 --- 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 24a5c66f1..2edcde9fe 100644 --- 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 65e210519..da17f2690 100644 --- 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 2534273c0..3b0057b68 100644 --- 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 3a5c6e217..e025d66d0 100644 --- 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 cfaaa6058..68c250009 100644 --- 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 2a548684c..722009e29 100644 --- 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 5e98f496c..8b287c05c 100644 --- 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 f0e609d3b..c56588403 100644 --- 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 c82bc1496..957fee36d 100644 --- 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 9f0713b4e..abd627d36 100644 --- 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 dcbe65fb1..d7bafeec9 100644 --- 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 3c0f91988..b441fcca6 100644 --- 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 d8d83f67d..c6d520388 100644 --- 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 78bd3df0c..bead973bb 100644 --- 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 f2153323a..38959aa36 100644 --- 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 ce0ce6f88..4254dfb7a 100644 --- 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 -- 2.20.1