added output of entity in SymConst info

[r3957]

diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
index 49e1a9c..2ab9c59 100644 (file)
--- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
+++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg
@@ -111,6 +111,8 @@ node: {title: "n13" label: "SymC &ARRAY-HEAP_EXAMPLE_main  13"  info1: "mode:
 visited: 1
 arity: 0
 kind addr_ent
+entity GlobalType.ARRAY-HEAP_EXAMPLE_main (14)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg
index d4a61de..5e95880 100644 (file)
--- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg
+++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg
@@ -133,6 +133,8 @@ node: {title: "n14" label: "SymC &main  14"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity ARRAY-STACK_EXAMPLE.main (15)
+
 "}
 node: {title: "t12" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg
index 0d27adb..e9262ef 100644 (file)
--- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg
+++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg
@@ -231,6 +231,8 @@ node: {title: "n14" label: "SymC &main  14"  info1: "mode:    P
 visited: 2
 arity: 0
 kind addr_ent
+entity ARRAY-STACK_EXAMPLE.main (15)
+
 "}
 node: {title: "t12" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg
index 17e3e7b..1937449 100644 (file)
--- a/testprograms/ref-results/All_graphs.vcg
+++ b/testprograms/ref-results/All_graphs.vcg
@@ -116,6 +116,8 @@ visited: 51
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 }
@@ -166,6 +168,8 @@ visited: 51
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
 }

diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg
index 051a282..5e6696e 100644 (file)
--- a/testprograms/ref-results/All_types.vcg
+++ b/testprograms/ref-results/All_types.vcg
@@ -93,6 +93,8 @@ node: {title: "n14" label: "SymC &main  14"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity WHILE_EXAMPLE.main (15)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
index 38f9a2c..ebfce78 100644 (file)
--- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
+++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg
@@ -107,6 +107,8 @@ visited: 9
 irg:     CALL_STR_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity GlobalType.constStr (17)
+
 "}
 node: {title: "n40" label: "ProjX 0 40"  info1: "mode:    X
 visited: 9

diff --git a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
index b93d1bf..136fb00 100644 (file)
--- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
+++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg
@@ -192,6 +192,8 @@ node: {title: "n13" label: "SymC &GLOBAL_VAR_main  13"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity GlobalType.GLOBAL_VAR_main (14)
+
 "}
 node: {title: "t12" label: "method GLOBAL_VAR_main" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg
index fdb073d..177c944 100644 (file)
--- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg
+++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg
@@ -258,6 +258,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity PRIMA_INLINE.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -301,6 +303,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity PRIMA_INLINE.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,
@@ -336,6 +340,8 @@ node: {title: "n22" label: "SymC &OO_INLINE_EXAMPLE_main  22"  info1: "mode:
 visited: 1
 arity: 0
 kind addr_ent
+entity GlobalType.OO_INLINE_EXAMPLE_main (23)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg
index 4f00aa9..2766ee2 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg
@@ -116,6 +116,8 @@ visited: 34
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 }
@@ -166,6 +168,8 @@ visited: 34
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
 }

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
index d3f0ba6..a209b05 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg
@@ -89,6 +89,8 @@ visited: 32
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
 edge: { sourcename: "n184" targetname: "n182" class:2  priority:50 linestyle:dotted}
@@ -170,6 +172,8 @@ visited: 32
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 edge: { sourcename: "n190" targetname: "n188" class:2  priority:50 linestyle:dotted}

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
index 423ac7d..012ff8f 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg
@@ -89,6 +89,8 @@ visited: 36
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
 edge: { sourcename: "n184" targetname: "n182" class:2  priority:50 linestyle:dotted}
@@ -170,6 +172,8 @@ visited: 36
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 edge: { sourcename: "n190" targetname: "n188" class:2  priority:50 linestyle:dotted}
@@ -504,6 +508,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 39
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -547,6 +553,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 40
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,
@@ -582,6 +590,8 @@ node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:
 visited: 41
 arity: 0
 kind addr_ent
+entity GlobalType.OO_PROGRAM_EXAMPLE_main (23)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
index e9e0fa7..3fbf0c9 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg
@@ -289,6 +289,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -323,6 +325,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 1
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
  info1: "entity OO_PROGRAM_EXAMPLE_main (23)
@@ -348,6 +352,8 @@ node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:
 visited: 1
 arity: 0
 kind addr_ent
+entity GlobalType.OO_PROGRAM_EXAMPLE_main (23)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg
index 8c9c712..52f0b8a 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg
@@ -118,6 +118,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 7
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -152,6 +154,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 7
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
  info1: "entity OO_PROGRAM_EXAMPLE_main (23)
@@ -177,6 +181,8 @@ node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:
 visited: 7
 arity: 0
 kind addr_ent
+entity GlobalType.OO_PROGRAM_EXAMPLE_main (23)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
index 1349d14..b903aa3 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg
@@ -116,6 +116,8 @@ visited: 44
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10}
 }
@@ -166,6 +168,8 @@ visited: 44
 irg:     OO_PROGRAM_EXAMPLE_main
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10}
 }
@@ -452,6 +456,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 47
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -495,6 +501,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 48
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,
@@ -530,6 +538,8 @@ node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:
 visited: 49
 arity: 0
 kind addr_ent
+entity GlobalType.OO_PROGRAM_EXAMPLE_main (23)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg
index 02aee74..ee1a457 100644 (file)
--- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg
+++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg
@@ -270,6 +270,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 4
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -304,6 +306,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 4
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow
  info1: "entity OO_PROGRAM_EXAMPLE_main (23)
@@ -329,6 +333,8 @@ node: {title: "n22" label: "SymC &OO_PROGRAM_EXAMPLE_main  22"  info1: "mode:
 visited: 4
 arity: 0
 kind addr_ent
+entity GlobalType.OO_PROGRAM_EXAMPLE_main (23)
+
 "}
 node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined
 size: -1b,

diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg
index d78fe45..1a2023e 100644 (file)
--- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg
@@ -216,6 +216,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 3
 arity: 0
 kind addr_ent
+entity PRIMA_INLINE.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -259,6 +261,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 3
 arity: 0
 kind addr_ent
+entity PRIMA_INLINE.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg
index 931fe66..2bd39df 100644 (file)
--- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg
@@ -188,6 +188,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 2
 arity: 0
 kind addr_ent
+entity PRIMA_INLINE.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -231,6 +233,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 2
 arity: 0
 kind addr_ent
+entity PRIMA_INLINE.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
index c6f9267..0966850 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg
@@ -218,6 +218,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 3
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -261,6 +263,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 3
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_c-type.vcg b/testprograms/ref-results/PRIMA_c-type.vcg
index eeaf4f2..b419591 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-type.vcg
+++ b/testprograms/ref-results/PRIMA_c-type.vcg
@@ -99,6 +99,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 9
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -142,6 +144,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 9
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_c-wtypes.vcg b/testprograms/ref-results/PRIMA_c-wtypes.vcg
index a3dd4bb..75ec51f 100644 (file)
--- a/testprograms/ref-results/PRIMA_c-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg
@@ -202,6 +202,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 6
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -245,6 +247,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 6
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
index cb01e13..d3383e0 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg
@@ -202,6 +202,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 2
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -245,6 +247,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 2
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_set_a-type.vcg b/testprograms/ref-results/PRIMA_set_a-type.vcg
index 757a230..8c89686 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-type.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-type.vcg
@@ -99,6 +99,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 8
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -142,6 +144,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 8
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,

diff --git a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg
index cf5fef6..93a7063 100644 (file)
--- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg
+++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg
@@ -188,6 +188,8 @@ node: {title: "n16" label: "SymC &set_a  16"  info1: "mode:    P
 visited: 5
 arity: 0
 kind addr_ent
+entity PRIMA.set_a (17)
+
 "}
 node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
 mode: P,
@@ -231,6 +233,8 @@ node: {title: "n19" label: "SymC &c  19"  info1: "mode:    P
 visited: 5
 arity: 0
 kind addr_ent
+entity PRIMA.c (20)
+
 "}
 node: {title: "t18" label: "method c" info1: "state: layout_fixed,
 mode: P,