new reference after bugfix gigo

[r1868]

diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
index 165ca53..e91ee06 100644 (file)
--- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
+++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
@@ -40,6 +40,8 @@ edge: { sourcename: "n19" targetname: "t16"label: "lower 0"}
 node: {title: "n18" label: "0x9Iu  18" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 1
+"}
 node: {title: "n19" label: "0x0Iu  19" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}

diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
index f69c125..f9d028f 100644 (file)
--- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-all.vcg
@@ -100,6 +100,8 @@ edge: { sourcename: "n20" targetname: "t17"label: "lower 0"}
 node: {title: "n19" label: "0x9Iu  19" color: yellow info1: "visited: 2
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 2
+"}
 node: {title: "n20" label: "0x0Iu  20" color: yellow info1: "visited: 2
 Const of type type_unknown
 "}

diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg
index cd2dd81..3d4b23f 100644 (file)
--- a/testprograms/ref-results/All_types.vcg
+++ b/testprograms/ref-results/All_types.vcg
@@ -58,6 +58,8 @@ edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
 node: {title: "n17" label: "&(PRIMA_set_a)P  17" color: yellow info1: "visited: 4
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 4
+"}
 node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
 size: 4B,

diff --git a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg
index 4ba2b0f..13b6db9 100644 (file)
--- a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg
+++ b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg
@@ -17,12 +17,12 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
+node: {title: "n59" label: "Block 59" }
+edge: { sourcename: "n59" targetname: "n67"}
 node: {title: "n67" label: "Block 67" }
-edge: { sourcename: "n67" targetname: "n75"}
-node: {title: "n75" label: "Block 75" }
-edge: { sourcename: "n75" targetname: "n71"}
-node: {title: "n71" label: "Block 71" }
-edge: { sourcename: "n71" targetname: "n71"}
-node: {title: "n70" label: "Bad  70"  info1: "visited: 0
+edge: { sourcename: "n67" targetname: "n63"}
+node: {title: "n63" label: "Block 63" }
+edge: { sourcename: "n63" targetname: "n63"}
+node: {title: "n62" label: "Bad  62"  info1: "visited: 0
 "}
 }

diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg
index 3fe4892..96fdaaf 100644 (file)
--- a/testprograms/ref-results/DEAD_BLOCK_main.vcg
+++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg
@@ -17,38 +17,38 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
-graph: { title: "n67" label: "67" status:clustered color:yellow
-edge: {sourcename: "n67" targetname: "n68" label: "0" color: red}
-node: {title: "n66" label: "End  66" color: blue info1: "visited: 9
+graph: { title: "n59" label: "59" status:clustered color:yellow
+edge: {sourcename: "n59" targetname: "n60" label: "0" color: red}
+node: {title: "n58" label: "End  58" 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
+graph: { title: "n67" label: "67" status:clustered color:yellow
+edge: {sourcename: "n67" targetname: "n64" label: "0" color: red}
+node: {title: "n60" label: "Return  60"  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" }
+edge: {sourcename: "n60" targetname: "n69" label: "0" color: blue}
+edge: {sourcename: "n60" targetname: "n68" label: "1" }
 }
 
-graph: { title: "n71" label: "71" status:clustered color:yellow
-edge: {sourcename: "n71" targetname: "n72" label: "0" color: red}
-node: {title: "n72" label: "ProjX 0 72" color: yellow info1: "visited: 11
+graph: { title: "n63" label: "63" status:clustered color:yellow
+edge: {sourcename: "n63" targetname: "n64" label: "0" color: red}
+node: {title: "n64" label: "ProjX 0 64" color: yellow info1: "visited: 11
 "}
-edge: {sourcename: "n72" targetname: "n73" label: "0" color: red}
-node: {title: "n73" label: "Start  73" color: blue info1: "visited: 11
+edge: {sourcename: "n64" targetname: "n65" label: "0" color: red}
+node: {title: "n65" label: "Start  65" color: blue info1: "visited: 11
 start of method of type main
 "}
-node: {title: "n76" label: "0x2Is  76" color: yellow info1: "visited: 11
+node: {title: "n68" label: "0x2Is  68" color: yellow info1: "visited: 11
 Const of type type_unknown
 "}
-node: {title: "n77" label: "ProjM 1 77" color: yellow info1: "visited: 11
+node: {title: "n69" label: "ProjM 1 69" color: yellow info1: "visited: 11
 "}
-edge: {sourcename: "n77" targetname: "n73" label: "0" color: blue}
+edge: {sourcename: "n69" targetname: "n65" label: "0" color: blue}
 }
 
-node: {title: "n70" label: "Bad  70"  info1: "visited: 0
+node: {title: "n62" label: "Bad  62"  info1: "visited: 0
 "}
 }

diff --git a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
index da17f26..b26a0eb 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main-all.vcg
@@ -107,6 +107,8 @@ edge: { sourcename: "e15" targetname: "n14"label: "value 0"}
 node: {title: "n14" label: "&(GlobalType_GLOBAL_VAR_main)P  14" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 1
+"}
 node: {title: "t13" label: "method GLOBAL_VAR_main" info1: "state: layout_fixed,
 mode: P,
 size: 4B,

diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
index e025d66..a95a8ff 100644 (file)
--- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg
@@ -17,43 +17,43 @@ classname 10: "Array Element Type"
 classname 11: "Overwrites"
 classname 12: "Member"
 
-graph: { title: "n64" label: "64" status:clustered color:yellow
-edge: {sourcename: "n64" targetname: "n65" label: "0" color: red}
-node: {title: "n63" label: "End  63" color: blue info1: "visited: 13
+graph: { title: "n62" label: "62" status:clustered color:yellow
+edge: {sourcename: "n62" targetname: "n63" label: "0" color: red}
+node: {title: "n61" label: "End  61" 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
+graph: { title: "n66" label: "66" status:clustered color:yellow
+edge: {sourcename: "n66" targetname: "n67" label: "0" color: red}
+node: {title: "n63" label: "Return  63"  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" }
-edge: {sourcename: "n65" targetname: "n73" label: "2" }
+edge: {sourcename: "n63" targetname: "n73" label: "0" color: blue}
+edge: {sourcename: "n63" targetname: "n72" label: "1" }
+edge: {sourcename: "n63" targetname: "n71" label: "2" }
 }
 
-graph: { title: "n70" label: "70" status:clustered color:yellow
-edge: {sourcename: "n70" targetname: "n69" label: "0" color: red}
-node: {title: "n69" label: "ProjX 0 69" color: yellow info1: "visited: 15
+graph: { title: "n68" label: "68" status:clustered color:yellow
+edge: {sourcename: "n68" targetname: "n67" label: "0" color: red}
+node: {title: "n67" label: "ProjX 0 67" color: yellow info1: "visited: 15
 "}
-edge: {sourcename: "n69" targetname: "n71" label: "0" color: red}
-node: {title: "n71" label: "Start  71" color: blue info1: "visited: 15
+edge: {sourcename: "n67" targetname: "n69" label: "0" color: red}
+node: {title: "n69" label: "Start  69" color: blue info1: "visited: 15
 start of method of type IF_ELSE_EXAMPLE_main
 "}
-node: {title: "n73" label: "0x2Is  73" color: yellow info1: "visited: 15
+node: {title: "n71" label: "0x2Is  71" color: yellow info1: "visited: 15
 Const of type type_unknown
 "}
-node: {title: "n74" label: "0x0Is  74" color: yellow info1: "visited: 15
+node: {title: "n72" label: "0x0Is  72" color: yellow info1: "visited: 15
 Const of type type_unknown
 "}
-node: {title: "n75" label: "ProjM 1 75" color: yellow info1: "visited: 15
+node: {title: "n73" label: "ProjM 1 73" color: yellow info1: "visited: 15
 "}
-edge: {sourcename: "n75" targetname: "n71" label: "0" color: blue}
+edge: {sourcename: "n73" targetname: "n69" label: "0" color: blue}
 }
 
-node: {title: "n72" label: "Bad  72"  info1: "visited: 0
+node: {title: "n70" label: "Bad  70"  info1: "visited: 0
 "}
 }

diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
index 70671a7..8a44725 100644 (file)
--- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-all.vcg
@@ -146,6 +146,8 @@ edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
 node: {title: "n17" label: "&(PRIMA_set_a)P  17" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 1
+"}
 node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
 size: 4B,

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
index abd627d..246f848 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-all.vcg
@@ -163,6 +163,8 @@ edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
 node: {title: "n17" label: "&(PRIMA_set_a)P  17" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 1
+"}
 node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
 size: 4B,

diff --git a/testprograms/ref-results/PRIMA_c-all.vcg b/testprograms/ref-results/PRIMA_c-all.vcg
index 6cfd649..6e5b810 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-all.vcg
+++ b/testprograms/ref-results/PRIMA_c-all.vcg
@@ -124,6 +124,8 @@ edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
 node: {title: "n17" label: "&(PRIMA_set_a)P  17" color: yellow info1: "visited: 3
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 3
+"}
 node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
 size: 4B,

diff --git a/testprograms/ref-results/PRIMA_set_a-all.vcg b/testprograms/ref-results/PRIMA_set_a-all.vcg
index b441fcc..664405f 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-all.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-all.vcg
@@ -108,6 +108,8 @@ edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
 node: {title: "n17" label: "&(PRIMA_set_a)P  17" color: yellow info1: "visited: 2
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 2
+"}
 node: {title: "t16" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
 size: 4B,

diff --git a/testprograms/ref-results/main-type.vcg b/testprograms/ref-results/main-type.vcg
index ba69cab..52be909 100644 (file)
--- a/testprograms/ref-results/main-type.vcg
+++ b/testprograms/ref-results/main-type.vcg
@@ -40,6 +40,8 @@ edge: { sourcename: "n20" targetname: "t17"label: "lower 0"}
 node: {title: "n19" label: "0x9Iu  19" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}
+node: {title: "n4" label: "Bad  4"  info1: "visited: 1
+"}
 node: {title: "n20" label: "0x0Iu  20" color: yellow info1: "visited: 1
 Const of type type_unknown
 "}