From de553080ddf4ca36f5384bfaac8cdd53192f05d5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Mon, 27 Sep 2004 08:36:21 +0000 Subject: [PATCH] added output of entity in SymConst info [r3957] --- .../ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg | 2 ++ .../ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg | 2 ++ .../ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 2 ++ testprograms/ref-results/All_graphs.vcg | 4 ++++ testprograms/ref-results/All_types.vcg | 2 ++ testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg | 2 ++ .../ref-results/GLOBAL_VAR_main-pure-wtypes.vcg | 2 ++ .../ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg | 6 ++++++ .../ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg | 4 ++++ .../ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg | 4 ++++ .../OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 10 ++++++++++ .../OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg | 6 ++++++ .../ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg | 6 ++++++ .../ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 10 ++++++++++ .../ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg | 6 ++++++ testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg | 4 ++++ testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 4 ++++ testprograms/ref-results/PRIMA_c-pure-wtypes.vcg | 4 ++++ testprograms/ref-results/PRIMA_c-type.vcg | 4 ++++ testprograms/ref-results/PRIMA_c-wtypes.vcg | 4 ++++ testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg | 4 ++++ testprograms/ref-results/PRIMA_set_a-type.vcg | 4 ++++ testprograms/ref-results/PRIMA_set_a-wtypes.vcg | 4 ++++ 23 files changed, 100 insertions(+) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 49e1a9c6b..2ab9c5966 100644 --- 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 d4a61dede..5e95880cf 100644 --- 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 0d27adbe6..e9262ef73 100644 --- 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 17e3e7b8d..19374495e 100644 --- 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 051a28213..5e6696e05 100644 --- 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 38f9a2cdd..ebfce784d 100644 --- 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 b93d1bf0b..136fb0087 100644 --- 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 fdb073d2d..177c94405 100644 --- 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 4f00aa904..2766ee2d8 100644 --- 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 d3f0ba6de..a209b05fc 100644 --- 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 423ac7d04..012ff8f01 100644 --- 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 e9e0fa78c..3fbf0c987 100644 --- 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 8c9c71229..52f0b8a9b 100644 --- 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 1349d1491..b903aa381 100644 --- 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 02aee7455..ee1a4579f 100644 --- 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 d78fe4527..1a2023e4c 100644 --- 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 931fe66c6..2bd39df5e 100644 --- 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 c6f9267a6..096685099 100644 --- 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 eeaf4f29a..b419591c9 100644 --- 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 a3dd4bbab..75ec51f4b 100644 --- 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 cb01e1342..d3383e08c 100644 --- 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 757a23083..8c896864a 100644 --- 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 cf5fef6a8..93a706330 100644 --- 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, -- 2.20.1