From e67421b6765e71019d44bf189a15951266c34373 Mon Sep 17 00:00:00 2001 From: FIRM Projekt Account Date: Fri, 29 Oct 2004 09:14:06 +0000 Subject: [PATCH] added more type dumping, fixed typeo [r4247] --- .../ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg | 3 ++- .../ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg | 5 +++-- .../ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 5 +++-- testprograms/ref-results/All_graphs.vcg | 3 +++ testprograms/ref-results/All_types.vcg | 3 ++- testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg | 2 ++ .../ref-results/GLOBAL_VAR_main-pure-wtypes.vcg | 5 +++-- .../ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg | 12 ++++++++---- .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 1 + .../ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg | 3 +++ .../OO_PROGRAM_EXAMPLE_main-pure-ip.vcg | 3 +++ .../OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 14 ++++++++++---- .../OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg | 12 ++++++++---- .../ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg | 1 + .../ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg | 11 +++++++---- .../OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 14 ++++++++++---- .../ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg | 12 ++++++++---- .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 1 + testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg | 8 +++++--- .../ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 8 +++++--- testprograms/ref-results/PRIMA_c-pure-wtypes.vcg | 8 +++++--- testprograms/ref-results/PRIMA_c-type.vcg | 8 +++++--- testprograms/ref-results/PRIMA_c-wtypes.vcg | 8 +++++--- .../ref-results/PRIMA_set_a-pure-wtypes.vcg | 8 +++++--- testprograms/ref-results/PRIMA_set_a-type.vcg | 8 +++++--- testprograms/ref-results/PRIMA_set_a-wtypes.vcg | 8 +++++--- .../STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg | 2 ++ .../STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg | 1 + .../STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg | 1 + .../STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg | 1 + .../STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg | 1 + testprograms/ref-results/class_hierarchy.vcg | 4 ++-- 32 files changed, 126 insertions(+), 58 deletions(-) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 2ab9c5966..43966aff9 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -92,7 +92,7 @@ node: {title: "e14" label: "ent ARRAY-HEAP_EXAMPLE_main" color: yellow type: ARRAY-HEAP_EXAMPLE_main (12) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -113,6 +113,7 @@ arity: 0 kind addr_ent entity GlobalType.ARRAY-HEAP_EXAMPLE_main (14) +SymConst of type type_unknown "} 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 5e95880cf..306616024 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg @@ -92,7 +92,7 @@ node: {title: "e35" label: "ent a" color: yellow type: a_tp (16) owner: mainframe_tp (22) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -114,7 +114,7 @@ node: {title: "e15" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow type: main_tp (13) owner: ARRAY-STACK_EXAMPLE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -135,6 +135,7 @@ arity: 0 kind addr_ent entity ARRAY-STACK_EXAMPLE.main (15) +SymConst of type type_unknown "} 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 e9262ef73..fd4e91dc2 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -190,7 +190,7 @@ node: {title: "e35" label: "ent a" color: yellow type: a_tp (16) owner: mainframe_tp (22) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -212,7 +212,7 @@ node: {title: "e15" label: "ent ARRAY-STACK_EXAMPLE_main" color: yellow type: main_tp (13) owner: ARRAY-STACK_EXAMPLE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -233,6 +233,7 @@ arity: 0 kind addr_ent entity ARRAY-STACK_EXAMPLE.main (15) +SymConst of type type_unknown "} 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 8bbe252a2..d3eef0c2d 100644 --- a/testprograms/ref-results/All_graphs.vcg +++ b/testprograms/ref-results/All_graphs.vcg @@ -118,6 +118,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10} } @@ -147,6 +148,7 @@ visited: 51 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} @@ -170,6 +172,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} 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 5e6696e05..6a08ba59d 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -74,7 +74,7 @@ node: {title: "e15" label: "ent WHILE_EXAMPLE_main" color: yellow type: main_tp (12) owner: WHILE_EXAMPLE (13) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -95,6 +95,7 @@ arity: 0 kind addr_ent entity WHILE_EXAMPLE.main (15) +SymConst of type type_unknown "} 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 ebfce784d..b04e24d81 100644 --- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg @@ -101,6 +101,7 @@ visited: 9 irg: CALL_STR_EXAMPLE_main arity: 0 kind addr_name +SymConst of type type_unknown "} node: {title: "n47" label: "SymC &constStr 47" info1: "mode: P visited: 9 @@ -109,6 +110,7 @@ arity: 0 kind addr_ent entity GlobalType.constStr (17) +SymConst of type type_unknown "} 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 136fb0087..127d9175d 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg @@ -150,7 +150,7 @@ node: {title: "e15" label: "ent i" color: yellow type: int (11) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -173,7 +173,7 @@ node: {title: "e14" label: "ent GLOBAL_VAR_main" color: yellow type: GLOBAL_VAR_main (12) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -194,6 +194,7 @@ arity: 0 kind addr_ent entity GlobalType.GLOBAL_VAR_main (14) +SymConst of type type_unknown "} 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 177c94405..cd4f54075 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg @@ -179,6 +179,7 @@ visited: 26 irg: OO_INLINE_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} node: {title: "n38" label: "0x5Is 38" info1: "mode: Is visited: 26 @@ -215,7 +216,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -239,7 +240,7 @@ node: {title: "e17" label: "ent PRIMA_INLINE_set_a" color: yellow type: set_a (15) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -260,6 +261,7 @@ arity: 0 kind addr_ent entity PRIMA_INLINE.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -284,7 +286,7 @@ node: {title: "e20" label: "ent PRIMA_INLINE_c" color: yellow type: c (18) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -305,6 +307,7 @@ arity: 0 kind addr_ent entity PRIMA_INLINE.c (20) +SymConst of type type_unknown "} node: {title: "t18" label: "method c" info1: "state: layout_fixed, mode: P, @@ -321,7 +324,7 @@ node: {title: "e23" label: "ent OO_INLINE_EXAMPLE_main" color: yellow type: OO_INLINE_EXAMPLE_main (21) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -342,6 +345,7 @@ arity: 0 kind addr_ent entity GlobalType.OO_INLINE_EXAMPLE_main (23) +SymConst of type type_unknown "} node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined size: -1b, diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index edb331bf3..4885ce505 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg @@ -179,6 +179,7 @@ visited: 25 irg: OO_INLINE_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} node: {title: "n38" label: "0x5Is 38" info1: "mode: Is visited: 25 diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg index 8747978e9..81ec4964d 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg @@ -118,6 +118,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10} } @@ -147,6 +148,7 @@ visited: 34 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} @@ -170,6 +172,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} 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 5e74b7ed4..4016118ff 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg @@ -91,6 +91,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10} edge: { sourcename: "n184" targetname: "n182" class:2 priority:50 linestyle:dotted} @@ -174,6 +175,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10} edge: { sourcename: "n190" targetname: "n188" class:2 priority:50 linestyle:dotted} @@ -276,6 +278,7 @@ visited: 32 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} 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 889337f80..972e92b1b 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 @@ -91,6 +91,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10} edge: { sourcename: "n184" targetname: "n182" class:2 priority:50 linestyle:dotted} @@ -174,6 +175,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10} edge: { sourcename: "n190" targetname: "n188" class:2 priority:50 linestyle:dotted} @@ -276,6 +278,7 @@ visited: 36 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} @@ -465,7 +468,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -489,7 +492,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -510,6 +513,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -534,7 +538,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -555,6 +559,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} node: {title: "t18" label: "method c" info1: "state: layout_fixed, mode: P, @@ -571,7 +576,7 @@ node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow type: OO_PROGRAM_EXAMPLE_main (21) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -592,6 +597,7 @@ arity: 0 kind addr_ent entity GlobalType.OO_PROGRAM_EXAMPLE_main (23) +SymConst of type type_unknown "} 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 3fbf0c987..10ffbe186 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg @@ -95,6 +95,7 @@ visited: 20 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} @@ -249,7 +250,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -270,7 +271,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -291,6 +292,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -306,7 +308,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -327,13 +329,14 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow info1: "entity OO_PROGRAM_EXAMPLE_main (23) type: OO_PROGRAM_EXAMPLE_main (21) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -354,6 +357,7 @@ arity: 0 kind addr_ent entity GlobalType.OO_PROGRAM_EXAMPLE_main (23) +SymConst of type type_unknown "} node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined size: -1b, diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg index 63c9924ef..ff0c47be2 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg @@ -95,6 +95,7 @@ visited: 18 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg index 52f0b8a9b..56bc8c8cd 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg @@ -78,7 +78,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -99,7 +99,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -120,6 +120,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -135,7 +136,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -156,13 +157,14 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow info1: "entity OO_PROGRAM_EXAMPLE_main (23) type: OO_PROGRAM_EXAMPLE_main (21) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -183,6 +185,7 @@ arity: 0 kind addr_ent entity GlobalType.OO_PROGRAM_EXAMPLE_main (23) +SymConst of type type_unknown "} 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 0f83a4780..484599d42 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg @@ -118,6 +118,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10} } @@ -147,6 +148,7 @@ visited: 44 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} @@ -170,6 +172,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10} } @@ -413,7 +416,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -437,7 +440,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -458,6 +461,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -482,7 +486,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -503,6 +507,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} node: {title: "t18" label: "method c" info1: "state: layout_fixed, mode: P, @@ -519,7 +524,7 @@ node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow type: OO_PROGRAM_EXAMPLE_main (21) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -540,6 +545,7 @@ arity: 0 kind addr_ent entity GlobalType.OO_PROGRAM_EXAMPLE_main (23) +SymConst of type type_unknown "} 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 ee1a4579f..ec19d8933 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg @@ -174,6 +174,7 @@ visited: 23 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} @@ -230,7 +231,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -251,7 +252,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -272,6 +273,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -287,7 +289,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -308,13 +310,14 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} node: {title: "e23" label: "ent OO_PROGRAM_EXAMPLE_main" color: yellow info1: "entity OO_PROGRAM_EXAMPLE_main (23) type: OO_PROGRAM_EXAMPLE_main (21) owner: GlobalType (0) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -335,6 +338,7 @@ arity: 0 kind addr_ent entity GlobalType.OO_PROGRAM_EXAMPLE_main (23) +SymConst of type type_unknown "} node: {title: "t0" label: "class GlobalType" info1: "state: layout_undefined size: -1b, diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index 39419d1ce..dc515f54f 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg @@ -174,6 +174,7 @@ visited: 19 irg: OO_PROGRAM_EXAMPLE_main arity: 0 kind size +SymConst of type type_unknown "} edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue} edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10} diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg index 1a2023e4c..ba7561d6a 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg @@ -173,7 +173,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -197,7 +197,7 @@ node: {title: "e17" label: "ent PRIMA_INLINE_set_a" color: yellow type: set_a (15) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -218,6 +218,7 @@ arity: 0 kind addr_ent entity PRIMA_INLINE.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -242,7 +243,7 @@ node: {title: "e20" label: "ent PRIMA_INLINE_c" color: yellow type: c (18) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -263,6 +264,7 @@ arity: 0 kind addr_ent entity PRIMA_INLINE.c (20) +SymConst of type type_unknown "} 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 2bd39df5e..da85ff2f2 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg @@ -145,7 +145,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -169,7 +169,7 @@ node: {title: "e17" label: "ent PRIMA_INLINE_set_a" color: yellow type: set_a (15) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -190,6 +190,7 @@ arity: 0 kind addr_ent entity PRIMA_INLINE.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -214,7 +215,7 @@ node: {title: "e20" label: "ent PRIMA_INLINE_c" color: yellow type: c (18) owner: PRIMA_INLINE (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -235,6 +236,7 @@ arity: 0 kind addr_ent entity PRIMA_INLINE.c (20) +SymConst of type type_unknown "} 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 cce870772..6758d3838 100644 --- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg @@ -175,7 +175,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -199,7 +199,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -220,6 +220,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -244,7 +245,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -265,6 +266,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} 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 b419591c9..1a0732fe4 100644 --- a/testprograms/ref-results/PRIMA_c-type.vcg +++ b/testprograms/ref-results/PRIMA_c-type.vcg @@ -56,7 +56,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -80,7 +80,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -101,6 +101,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -125,7 +126,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -146,6 +147,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} 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 4b3c381a8..c05ab8f5c 100644 --- a/testprograms/ref-results/PRIMA_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg @@ -159,7 +159,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -183,7 +183,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -204,6 +204,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -228,7 +229,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -249,6 +250,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} 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 d3383e08c..2da3c2884 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg @@ -159,7 +159,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -183,7 +183,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -204,6 +204,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -228,7 +229,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -249,6 +250,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} 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 8c896864a..b558dceeb 100644 --- a/testprograms/ref-results/PRIMA_set_a-type.vcg +++ b/testprograms/ref-results/PRIMA_set_a-type.vcg @@ -56,7 +56,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -80,7 +80,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -101,6 +101,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -125,7 +126,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -146,6 +147,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} 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 93a706330..270e5700c 100644 --- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg @@ -145,7 +145,7 @@ node: {title: "e14" label: "ent a" color: yellow type: int (11) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_automatic visibility: visibility_local variability: variability_uninitialized @@ -169,7 +169,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -190,6 +190,7 @@ arity: 0 kind addr_ent entity PRIMA.set_a (17) +SymConst of type type_unknown "} node: {title: "t15" label: "method set_a" info1: "state: layout_fixed, mode: P, @@ -214,7 +215,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -235,6 +236,7 @@ arity: 0 kind addr_ent entity PRIMA.c (20) +SymConst of type type_unknown "} node: {title: "t18" label: "method c" info1: "state: layout_fixed, mode: P, diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg index c693d1c56..1825d4e3c 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m1-strength_reduced.vcg @@ -165,6 +165,7 @@ arity: 0 kind addr_ent entity GlobalType.a (21) +SymConst of type type_unknown "} edge: {sourcename: "n81" targetname: "n81n48" label: "0" class:16 priority:10} edge: {sourcename: "n81" targetname: "n80" label: "1" class:1 priority:50} @@ -307,6 +308,7 @@ arity: 0 kind addr_ent entity GlobalType.a (21) +SymConst of type type_unknown "} edge: {sourcename: "n53" targetname: "n53n48" label: "0" class:16 priority:10} edge: {sourcename: "n53" targetname: "n52" label: "1" class:1 priority:50} diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg index dcf3825b0..cf42d87b1 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m2-strength_reduced.vcg @@ -186,6 +186,7 @@ arity: 0 kind addr_ent entity GlobalType.a (108) +SymConst of type type_unknown "} edge: {sourcename: "n141" targetname: "n139" label: "0" class:1 priority:50} edge: {sourcename: "n141" targetname: "n141n123" label: "1" class:16 priority:10} diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg index 3aa96224c..e3753b8c3 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m3-strength_reduced.vcg @@ -180,6 +180,7 @@ arity: 0 kind addr_ent entity GlobalType.a (171) +SymConst of type type_unknown "} edge: {sourcename: "n204" targetname: "n202" label: "0" class:1 priority:50} edge: {sourcename: "n204" targetname: "n204n186" label: "1" class:16 priority:10} diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg index 4c89e3e87..9dcc3376d 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m4-strength_reduced.vcg @@ -180,6 +180,7 @@ arity: 0 kind addr_ent entity GlobalType.a (233) +SymConst of type type_unknown "} edge: {sourcename: "n267" targetname: "n265" label: "0" class:1 priority:50} edge: {sourcename: "n267" targetname: "n267n248" label: "1" class:16 priority:10} diff --git a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg index ca6a9867c..6ca14390e 100644 --- a/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg +++ b/testprograms/ref-results/STRENGTH_RED_EXAMPLE_m5-strength_reduced.vcg @@ -186,6 +186,7 @@ arity: 0 kind addr_ent entity GlobalType.a (295) +SymConst of type type_unknown "} edge: {sourcename: "n329" targetname: "n327" label: "0" class:1 priority:50} edge: {sourcename: "n329" targetname: "n329n310" label: "1" class:16 priority:10} diff --git a/testprograms/ref-results/class_hierarchy.vcg b/testprograms/ref-results/class_hierarchy.vcg index f62155f98..cf7dcfe74 100644 --- a/testprograms/ref-results/class_hierarchy.vcg +++ b/testprograms/ref-results/class_hierarchy.vcg @@ -60,7 +60,7 @@ node: {title: "e17" label: "ent PRIMA_set_a" color: yellow type: set_a (15) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant @@ -79,7 +79,7 @@ node: {title: "e20" label: "ent PRIMA_c" color: yellow type: c (18) owner: PRIMA (12) Does not overwrite other entities. - Is not overwriten by other entities. + Is not overwritten by other entities. allocation: allocation_static visibility: visibility_local variability: variability_constant -- 2.20.1