From 2f1660d797cad3ad5739e4543817dac6af4b07d2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= Date: Thu, 2 Sep 2004 14:35:13 +0000 Subject: [PATCH] fixed test: new reference [r3819] --- TODO | 10 + ir/ir/irdump.c | 2 +- ir/ir/irdump.h | 2 +- testprograms/global_var_example.c | 2 +- .../ARRAY-HEAP_EXAMPLE_main-type.vcg | 27 + .../ref-results/ARRAY-HEAP_EXAMPLE_main.vcg | 27 + .../ARRAY-STACK_EXAMPLE_main-type.vcg | 27 + .../ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 27 + .../ref-results/ARRAY-STACK_EXAMPLE_main.vcg | 27 + testprograms/ref-results/All_graphs.vcg | 469 +++++++----------- testprograms/ref-results/All_types.vcg | 27 + .../ref-results/CALL_STR_EXAMPLE_main.vcg | 27 + .../ref-results/COND_EXAMPLE_main.vcg | 27 + .../ref-results/CONST_EVAL_EXAMPLE_main.vcg | 27 + .../ref-results/DEAD_BLOCK_main-cfg.vcg | 27 + testprograms/ref-results/DEAD_BLOCK_main.vcg | 27 + testprograms/ref-results/EMPTY_main.vcg | 27 + .../ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg | 27 + .../ref-results/FLOAT_EXAMPLE_main.vcg | 27 + .../ref-results/GLOBAL_CSE_EXAMPLE_main.vcg | 27 + .../GLOBAL_VAR_main-pure-wtypes.vcg | 27 + testprograms/ref-results/GLOBAL_VAR_main.vcg | 27 + .../ref-results/IF_ELSE_EXAMPLE_main.vcg | 27 + testprograms/ref-results/IF_EXAMPLE_main.vcg | 27 + .../IF_WHILE_EXAMPLE_main-pure.vcg | 49 +- .../ref-results/IRREGULAR_CF_main-cfg.vcg | 27 + .../ref-results/IRREGULAR_CF_main.vcg | 27 + .../ref-results/IRR_LOOP_main-cfg.vcg | 27 + testprograms/ref-results/IRR_LOOP_main.vcg | 27 + .../ref-results/MEMORY_EXAMPLE_main.vcg | 27 + .../OO_INLINE_EXAMPLE_main-wtypes.vcg | 27 + .../ref-results/OO_INLINE_EXAMPLE_main.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-ip.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-pure-ip.vcg | 27 + ...OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-pure.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-type.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 27 + .../OO_PROGRAM_EXAMPLE_main-wtypes.vcg | 27 + .../ref-results/OO_PROGRAM_EXAMPLE_main.vcg | 27 + .../ref-results/PRIMA_INLINE_c-wtypes.vcg | 27 + testprograms/ref-results/PRIMA_INLINE_c.vcg | 27 + .../ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 27 + .../ref-results/PRIMA_INLINE_set_a.vcg | 27 + .../ref-results/PRIMA_c-pure-wtypes.vcg | 27 + testprograms/ref-results/PRIMA_c-pure.vcg | 27 + testprograms/ref-results/PRIMA_c-type.vcg | 27 + testprograms/ref-results/PRIMA_c-wtypes.vcg | 27 + testprograms/ref-results/PRIMA_c.vcg | 27 + .../ref-results/PRIMA_set_a-pure-wtypes.vcg | 27 + testprograms/ref-results/PRIMA_set_a-pure.vcg | 27 + testprograms/ref-results/PRIMA_set_a-type.vcg | 27 + .../ref-results/PRIMA_set_a-wtypes.vcg | 27 + testprograms/ref-results/PRIMA_set_a.vcg | 27 + .../THREE_CFPRED_EXAMPLE_main-cfg.vcg | 27 + .../ref-results/THREE_CFPRED_EXAMPLE_main.vcg | 27 + .../ref-results/WHILE_EXAMPLE_main.vcg | 27 + testprograms/ref-results/class_hierarchy.vcg | 27 + testprograms/ref-results/run-result.txt | 11 +- 60 files changed, 1666 insertions(+), 310 deletions(-) diff --git a/TODO b/TODO index 11bfcbe62..380090143 100644 --- a/TODO +++ b/TODO @@ -1,3 +1,13 @@ + * 27.8.2004 Goetz + Classes need a flag comparable to visibility of entities. + This flag must express whether these classes are accessed from + outside, i.e., the fields must have a specific layout. + Further it should express whether the outside can allocate classes + of the type. Then we can determine whether the class can be turned + into a description class by, e.g., rta. + + * + * 5.7.04 Goetz in free_type: check the types that there is no pointer type that points to the freed type. If so report error. diff --git a/ir/ir/irdump.c b/ir/ir/irdump.c index 62b2da5bb..ae6a7fbcf 100644 --- a/ir/ir/irdump.c +++ b/ir/ir/irdump.c @@ -1353,7 +1353,7 @@ void dump_entity_node(FILE *F, entity *ent, int color) fprintf (F, ENTITY_NODE_ATTR); fprintf (F, "\n info1: \""); - dump_entity_to_file(F, ent, dump_verbosity_max); + dump_entity_to_file(F, ent, dump_verbosity_entattrs | dump_verbosity_entconsts); fprintf(F, "\"\n}\n"); } diff --git a/ir/ir/irdump.h b/ir/ir/irdump.h index 8d92ad40c..21dc4dcf3 100644 --- a/ir/ir/irdump.h +++ b/ir/ir/irdump.h @@ -289,7 +289,7 @@ typedef enum { dump_verbosity_onlyPrimitiveTypes = 0x000BF000, /**< dump only primitive types */ dump_verbosity_onlyEnumerationTypes=0x0008F000, /**< dump only enumeration types */ - dump_verbosity_max = 0x48888888, /**< turn on all verbosity. */ + dump_verbosity_max = 0x48888887, /**< turn on all verbosity. */ } dump_verbosity; diff --git a/testprograms/global_var_example.c b/testprograms/global_var_example.c index 2bf7051f4..e3ea14cfb 100644 --- a/testprograms/global_var_example.c +++ b/testprograms/global_var_example.c @@ -94,7 +94,7 @@ int main(int argc, char **argv) store = new_Store (get_store(), i_ptr, new_Const(mode_Is, new_tarval_from_long (2, mode_Is))); - set_store(new_Proj(store, mode_M, 0)); + set_store(new_Proj(store, mode_M, pn_Store_M)); x = new_Return (get_store(), 0, NULL); diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 196b2d21f..49e1a9c6b 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "e18" label: "ent a_elem_ent" color: yellow info1: "entity a_elem_ent (18) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg index dec25f53b..b6532c326 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g32" label: "ARRAY-HEAP_EXAMPLE_main" status:clustered color:white graph: { title: "n50" label: "Block 50" status:clustered color:yellow diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg index 41527b284..d4a61dede 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "e19" label: "ent a_tp_elem_ent" color: yellow info1: "entity a_tp_elem_ent (19) diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg index b7f5bc46f..59d79dd8c 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g33" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white graph: { title: "n48" label: "Block 48" status:clustered color:yellow diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg index bf61768a7..c2ef14b90 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g33" label: "ARRAY-STACK_EXAMPLE_main" status:clustered color:white graph: { title: "n48" label: "Block 48" status:clustered color:yellow diff --git a/testprograms/ref-results/All_graphs.vcg b/testprograms/ref-results/All_graphs.vcg index d914f84c6..87cc50786 100644 --- a/testprograms/ref-results/All_graphs.vcg +++ b/testprograms/ref-results/All_graphs.vcg @@ -23,353 +23,256 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 -graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white -graph: { title: "n105" label: "Block 105" status:clustered color:yellow -edge: {sourcename: "n105" targetname: "n106" label: "0" class:13 priority:60 color:red} -node: {title: "n103" label: "End OO_PROGRAM_EXAMPLE_main 103" info1: "mode: X -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +graph: { title: "g25" label: "main" status:clustered color:white +graph: { title: "n15" label: "Block 15" status:clustered color:yellow +edge: {sourcename: "n15" targetname: "n78" label: "0" class:13 priority:60 color:red} +node: {title: "n16" label: "End main 16" info1: "mode: X +visited: 18 +irg: main arity: 2 "color: blue} } -graph: { title: "n107" label: "Block 107" status:clustered color:yellow -edge: {sourcename: "n107" targetname: "n191" label: "0" class:13 priority:60 color:red} -node: {title: "n106" label: "Return 106" info1: "mode: X -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 2 +graph: { title: "n76" label: "Block 76" status:clustered color:yellow +edge: {sourcename: "n76" targetname: "n62" label: "0" class:13 priority:60 color:red} +node: {title: "n78" label: "Return 78" info1: "mode: X +visited: 18 +irg: main +arity: 1 "} -edge: {sourcename: "n106" targetname: "n193" label: "0" class:14 priority:50 color:blue} -edge: {sourcename: "n106" targetname: "n194" label: "1" class:1 priority:50} -node: {title: "n193" label: "FilterM 0 193" info1: "mode: M -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 1 backedges: -intra predecessor nodes: - CallT 113 -"color: yellow} -edge: {sourcename: "n193" targetname: "n162" label: "0" class:17 priority:10 color:blue} -node: {title: "n194" label: "FilterIs 0 194" info1: "mode: Is -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 1 backedges: -intra predecessor nodes: - ProjT 112 -"color: yellow} -edge: {sourcename: "n194" targetname: "n154" label: "0" class:16 priority:10} +edge: {sourcename: "n78" targetname: "n75" label: "0" class:17 priority:10 color:blue} } -graph: { title: "n188" label: "Block 188" status:clustered color:yellow -edge: {sourcename: "n188" targetname: "n185" label: "0" class:13 priority:60 color:red} -node: {title: "n187" label: "FilterM 0 187" info1: "mode: M -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 1 backedges: -intra predecessor nodes: - CallT 121 +graph: { title: "n60" label: "Block 60" status:clustered color:yellow +edge: {sourcename: "n60" targetname: "n59" label: "0" class:13 priority:60 color:red} +backedge: {sourcename: "n60" targetname: "n70" label: "1" linestyle:dashed class:13 priority:60 color:red} +node: {title: "n75" label: "PhiM 75" info1: "mode: M +visited: 18 +irg: main +arity: 2 backedges: +"color: green} +edge: {sourcename: "n75" targetname: "n74" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n75" targetname: "n69" label: "1" class:17 priority:10 color:blue} +node: {title: "n62" label: "ProjX 0 62" info1: "mode: X +visited: 18 +irg: main +arity: 1 "color: yellow} -edge: {sourcename: "n187" targetname: "n137" label: "0" class:17 priority:10 color:blue} -node: {title: "n192" label: "ProjX 0 192" info1: "mode: X -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +edge: {sourcename: "n62" targetname: "n61" label: "0" class:13 priority:60 color:red} +node: {title: "n63" label: "ProjX 1 63" info1: "mode: X +visited: 18 +irg: main arity: 1 "color: yellow} -edge: {sourcename: "n192" targetname: "n190" label: "0" class:13 priority:60 color:red} -node: {title: "n190" label: "CallBegin c 190" info1: "mode: T -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +edge: {sourcename: "n63" targetname: "n61" label: "0" class:13 priority:60 color:red} +node: {title: "n61" label: "Cond 61" info1: "mode: T +visited: 18 +irg: main arity: 1 -possible callees: - 0: PRIMA_c "} -node: {title: "n190n165" label: "SymC &c 165" info1: "mode: P -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n61n43" label: "trueb 43" info1: "mode: b +visited: 18 +irg: main +arity: 0 +Const of type type_unknown +"color: yellow} +edge: {sourcename: "n61" targetname: "n61n43" label: "0" class:16 priority:10} +} + +graph: { title: "n57" label: "Block 57" status:clustered color:yellow +edge: {sourcename: "n57" targetname: "n56" label: "0" class:13 priority:60 color:red} +edge: {sourcename: "n57" targetname: "n45" label: "1" class:13 priority:60 color:red} +node: {title: "n74" label: "PhiM 74" info1: "mode: M +visited: 18 +irg: main +arity: 2 backedges: +"color: green} +edge: {sourcename: "n74" targetname: "n52" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n74" targetname: "n23" label: "1" class:17 priority:10 color:blue} +node: {title: "n59" label: "Jmp 59" info1: "mode: X +visited: 18 +irg: main arity: 0 -kind addr_ent "} -edge: {sourcename: "n190" targetname: "n190n165" label: "0" class:16 priority:10} } -graph: { title: "n182" label: "Block 182" status:clustered color:yellow -edge: {sourcename: "n182" targetname: "n108" label: "0" class:13 priority:60 color:red} -node: {title: "n124" label: "ProjM 0 124" info1: "mode: M -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +graph: { title: "n47" label: "Block 47" status:clustered color:yellow +edge: {sourcename: "n47" targetname: "n46" label: "0" class:13 priority:60 color:red} +node: {title: "n52" label: "ProjM 0 52" info1: "mode: M +visited: 18 +irg: main arity: 1 "color: yellow} -edge: {sourcename: "n124" targetname: "n116" label: "0" class:17 priority:10 color:blue} -node: {title: "n115" label: "ProjP 2 115" info1: "mode: P -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 1 -"color: yellow} -edge: {sourcename: "n115" targetname: "n116" label: "0" class:1 priority:50} -node: {title: "n116" label: "Alloc 116" info1: "mode: T -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue} +node: {title: "n50" label: "Call 50" info1: "mode: T +visited: 18 +irg: main arity: 2 -allocating entity of type PRIMA +calling method of type a "} -node: {title: "n116n117" label: "SymC PRIMA size 117" info1: "mode: Iu -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +node: {title: "n50n48" label: "SymC &a 48" info1: "mode: P +visited: 18 +irg: main arity: 0 -kind size -"} -edge: {sourcename: "n116" targetname: "n118" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n116" targetname: "n116n117" label: "1" class:16 priority:10} -node: {title: "n186" label: "ProjX 0 186" info1: "mode: X -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 1 -"color: yellow} -edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red} -node: {title: "n184" label: "CallBegin set_a 184" info1: "mode: T -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 1 -possible callees: - 0: PRIMA_set_a +kind addr_ent "} -node: {title: "n184n166" label: "SymC &set_a 166" info1: "mode: P -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +edge: {sourcename: "n50" targetname: "n23" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n50" targetname: "n50n48" label: "1" class:16 priority:10} +node: {title: "n56" label: "Jmp 56" info1: "mode: X +visited: 18 +irg: main arity: 0 -kind addr_ent "} -edge: {sourcename: "n184" targetname: "n184n166" label: "0" class:16 priority:10} } -graph: { title: "n109" label: "Block 109" status:clustered color:yellow -edge: {sourcename: "n109" targetname: "n108" label: "0" class:13 priority:60 color:red} -node: {title: "n118" label: "ProjM 1 118" info1: "mode: M -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +graph: { title: "n26" label: "Block 26" status:clustered color:yellow +edge: {sourcename: "n26" targetname: "n20" label: "0" class:13 priority:60 color:red} +node: {title: "n46" label: "ProjX 1 46" info1: "mode: X +visited: 18 +irg: main arity: 1 "color: yellow} -edge: {sourcename: "n118" targetname: "n110" label: "0" class:17 priority:10 color:blue} -node: {title: "n108" label: "ProjX 0 108" info1: "mode: X -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main +edge: {sourcename: "n46" targetname: "n44" label: "0" class:13 priority:60 color:red} +node: {title: "n45" label: "ProjX 0 45" info1: "mode: X +visited: 18 +irg: main arity: 1 "color: yellow} -edge: {sourcename: "n108" targetname: "n110" label: "0" class:13 priority:60 color:red} -node: {title: "n110" label: "Start OO_PROGRAM_EXAMPLE_main 110" info1: "mode: T -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 0 -start of method of type OO_PROGRAM_EXAMPLE_main -"color: blue} -} - -} - -graph: { title: "g68" label: "PRIMA_set_a" status:clustered color:white -graph: { title: "n179" label: "Block 179" status:clustered color:yellow -edge: {sourcename: "n179" targetname: "n178" label: "0" class:13 priority:60 color:red} -node: {title: "n185" label: "ProjX 0 185" info1: "mode: X -visited: 51 -irg: PRIMA_set_a +edge: {sourcename: "n45" targetname: "n44" label: "0" class:13 priority:60 color:red} +node: {title: "n44" label: "Cond 44" info1: "mode: T +visited: 18 +irg: main arity: 1 -"color: yellow} -edge: {sourcename: "n185" targetname: "n180" label: "0" class:13 priority:60 color:red} -node: {title: "n180" label: "EndReg PRIMA_set_a 180" info1: "mode: T -visited: 51 -irg: PRIMA_set_a +"} +node: {title: "n44n43" label: "trueb 43" info1: "mode: b +visited: 18 +irg: main arity: 0 -"color: blue} +Const of type type_unknown +"color: yellow} +edge: {sourcename: "n44" targetname: "n44n43" label: "0" class:16 priority:10} } -graph: { title: "n133" label: "Block 133" status:clustered color:yellow -edge: {sourcename: "n133" targetname: "n134" label: "0" class:13 priority:60 color:red} -node: {title: "n137" label: "ProjM 0 137" info1: "mode: M -visited: 51 -irg: PRIMA_set_a +graph: { title: "n64" label: "Block 64" status:clustered color:yellow +edge: {sourcename: "n64" targetname: "n63" label: "0" class:13 priority:60 color:red} +node: {title: "n69" label: "ProjM 0 69" info1: "mode: M +visited: 18 +irg: main arity: 1 "color: yellow} -edge: {sourcename: "n137" targetname: "n138" label: "0" class:17 priority:10 color:blue} -node: {title: "n138" label: "Store 138" info1: "mode: T -visited: 51 -irg: PRIMA_set_a -arity: 3 -"} -edge: {sourcename: "n138" targetname: "n175" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n138" targetname: "n141" label: "1" class:1 priority:50} -edge: {sourcename: "n138" targetname: "n177" label: "2" class:16 priority:10} -node: {title: "n141" label: "Sel a 141" info1: "mode: P -visited: 51 -irg: PRIMA_set_a +edge: {sourcename: "n69" targetname: "n67" label: "0" class:17 priority:10 color:blue} +node: {title: "n67" label: "Call 67" info1: "mode: T +visited: 18 +irg: main arity: 2 -Selecting entity of type int - from entity of type PRIMA +calling method of type a +"} +node: {title: "n67n48" label: "SymC &a 48" info1: "mode: P +visited: 18 +irg: main +arity: 0 +kind addr_ent "} -edge: {sourcename: "n141" targetname: "n175" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n141" targetname: "n176" label: "1" class:16 priority:10} -node: {title: "n178" label: "Jmp 178" info1: "mode: X -visited: 51 -irg: PRIMA_set_a +edge: {sourcename: "n67" targetname: "n75" label: "0" class:17 priority:10 color:blue} +edge: {sourcename: "n67" targetname: "n67n48" label: "1" class:16 priority:10} +node: {title: "n70" label: "Jmp 70" info1: "mode: X +visited: 18 +irg: main arity: 0 "} } -graph: { title: "n135" label: "Block 135" status:clustered color:yellow -edge: {sourcename: "n135" targetname: "n186" label: "0" class:13 priority:60 color:red} -node: {title: "n175" label: "FilterM 1 175" info1: "mode: M -visited: 51 -irg: PRIMA_set_a -arity: 1 backedges: -intra predecessor nodes: - StartT 136 -"color: yellow} -edge: {sourcename: "n175" targetname: "n124" label: "0" class:17 priority:10 color:blue} -node: {title: "n176" label: "FilterP 0 176" info1: "mode: P -visited: 51 -irg: PRIMA_set_a -arity: 1 backedges: -intra predecessor nodes: - ProjT 140 -"color: yellow} -edge: {sourcename: "n176" targetname: "n115" label: "0" class:16 priority:10} -node: {title: "n177" label: "FilterIs 1 177" info1: "mode: Is -visited: 51 -irg: PRIMA_set_a -arity: 1 backedges: -intra predecessor nodes: - ProjT 140 -"color: yellow} -node: {title: "n177n122" label: "0x2Is 122" info1: "mode: Is -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 0 -Const of type type_unknown +graph: { title: "n17" label: "Block 17" status:clustered color:yellow +edge: {sourcename: "n17" targetname: "n20" label: "0" class:13 priority:60 color:red} +node: {title: "n23" label: "ProjM 1 23" info1: "mode: M +visited: 18 +irg: main +arity: 1 "color: yellow} -edge: {sourcename: "n177" targetname: "n177n122" label: "0" class:16 priority:10} -node: {title: "n134" label: "ProjX 0 134" info1: "mode: X -visited: 51 -irg: PRIMA_set_a +edge: {sourcename: "n23" targetname: "n18" label: "0" class:17 priority:10 color:blue} +node: {title: "n20" label: "ProjX 0 20" info1: "mode: X +visited: 18 +irg: main arity: 1 "color: yellow} -edge: {sourcename: "n134" targetname: "n136" label: "0" class:13 priority:60 color:red} -node: {title: "n136" label: "Start PRIMA_set_a 136" info1: "mode: T -visited: 51 -irg: PRIMA_set_a +edge: {sourcename: "n20" targetname: "n18" label: "0" class:13 priority:60 color:red} +node: {title: "n18" label: "Start main 18" info1: "mode: T +visited: 18 +irg: main arity: 0 -start of method of type set_a - param 0 type: class_prima_ptr - param 1 type: int +start of method of type main "color: blue} } } -graph: { title: "g90" label: "PRIMA_c" status:clustered color:white -graph: { title: "n171" label: "Block 171" status:clustered color:yellow -edge: {sourcename: "n171" targetname: "n170" label: "0" class:13 priority:60 color:red} -node: {title: "n191" label: "ProjX 0 191" info1: "mode: X -visited: 51 -irg: PRIMA_c -arity: 1 -"color: yellow} -edge: {sourcename: "n191" targetname: "n172" label: "0" class:13 priority:60 color:red} -node: {title: "n172" label: "EndReg PRIMA_c 172" info1: "mode: T -visited: 51 -irg: PRIMA_c +graph: { title: "g41" label: "a" status:clustered color:white +graph: { title: "n31" label: "Block 31" status:clustered color:yellow +edge: {sourcename: "n31" targetname: "n81" label: "0" class:13 priority:60 color:red} +node: {title: "n32" label: "End a 32" info1: "mode: X +visited: 18 +irg: a arity: 0 "color: blue} } -graph: { title: "n150" label: "Block 150" status:clustered color:yellow -edge: {sourcename: "n150" targetname: "n151" label: "0" class:13 priority:60 color:red} -node: {title: "n162" label: "ProjM 0 162" info1: "mode: M -visited: 51 -irg: PRIMA_c +graph: { title: "n42" label: "Block 42" status:clustered color:yellow +edge: {sourcename: "n42" targetname: "n36" label: "0" class:13 priority:60 color:red} +node: {title: "n81" label: "Return 81" info1: "mode: X +visited: 18 +irg: a arity: 1 -"color: yellow} -edge: {sourcename: "n162" targetname: "n156" label: "0" class:17 priority:10 color:blue} -node: {title: "n154" label: "AddIs 154" info1: "mode: Is -visited: 51 -irg: PRIMA_c -arity: 2 -"} -edge: {sourcename: "n154" targetname: "n155" label: "0" class:1 priority:50} -edge: {sourcename: "n154" targetname: "n167" label: "1" class:16 priority:10} -node: {title: "n155" label: "ProjIs 2 155" info1: "mode: Is -visited: 51 -irg: PRIMA_c -arity: 1 -"color: yellow} -edge: {sourcename: "n155" targetname: "n156" label: "0" class:1 priority:50} -node: {title: "n156" label: "Load 156" info1: "mode: T -visited: 51 -irg: PRIMA_c -arity: 2 -"} -edge: {sourcename: "n156" targetname: "n168" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n156" targetname: "n157" label: "1" class:1 priority:50} -node: {title: "n157" label: "Sel a 157" info1: "mode: P -visited: 51 -irg: PRIMA_c -arity: 2 -Selecting entity of type int - from entity of type PRIMA -"} -edge: {sourcename: "n157" targetname: "n168" label: "0" class:17 priority:10 color:blue} -edge: {sourcename: "n157" targetname: "n169" label: "1" class:16 priority:10} -node: {title: "n170" label: "Jmp 170" info1: "mode: X -visited: 51 -irg: PRIMA_c -arity: 0 "} +edge: {sourcename: "n81" targetname: "n39" label: "0" class:17 priority:10 color:blue} } -graph: { title: "n152" label: "Block 152" status:clustered color:yellow -edge: {sourcename: "n152" targetname: "n192" label: "0" class:13 priority:60 color:red} -node: {title: "n168" label: "FilterM 1 168" info1: "mode: M -visited: 51 -irg: PRIMA_c -arity: 1 backedges: -intra predecessor nodes: - StartT 153 -"color: yellow} -edge: {sourcename: "n168" targetname: "n187" label: "0" class:17 priority:10 color:blue} -node: {title: "n169" label: "FilterP 0 169" info1: "mode: P -visited: 51 -irg: PRIMA_c -arity: 1 backedges: -intra predecessor nodes: - ProjT 159 -"color: yellow} -edge: {sourcename: "n169" targetname: "n115" label: "0" class:16 priority:10} -node: {title: "n167" label: "FilterIs 1 167" info1: "mode: Is -visited: 51 -irg: PRIMA_c -arity: 1 backedges: -intra predecessor nodes: - ProjT 159 -"color: yellow} -node: {title: "n167n114" label: "0x5Is 114" info1: "mode: Is -visited: 51 -irg: OO_PROGRAM_EXAMPLE_main -arity: 0 -Const of type type_unknown +graph: { title: "n33" label: "Block 33" status:clustered color:yellow +edge: {sourcename: "n33" targetname: "n36" label: "0" class:13 priority:60 color:red} +node: {title: "n39" label: "ProjM 1 39" info1: "mode: M +visited: 18 +irg: a +arity: 1 "color: yellow} -edge: {sourcename: "n167" targetname: "n167n114" label: "0" class:16 priority:10} -node: {title: "n151" label: "ProjX 0 151" info1: "mode: X -visited: 51 -irg: PRIMA_c +edge: {sourcename: "n39" targetname: "n34" label: "0" class:17 priority:10 color:blue} +node: {title: "n36" label: "ProjX 0 36" info1: "mode: X +visited: 18 +irg: a arity: 1 "color: yellow} -edge: {sourcename: "n151" targetname: "n153" label: "0" class:13 priority:60 color:red} -node: {title: "n153" label: "Start PRIMA_c 153" info1: "mode: T -visited: 51 -irg: PRIMA_c +edge: {sourcename: "n36" targetname: "n34" label: "0" class:13 priority:60 color:red} +node: {title: "n34" label: "Start a 34" info1: "mode: T +visited: 18 +irg: a arity: 0 -start of method of type c - param 0 type: class_prima_ptr - param 1 type: int +start of method of type a "color: blue} } diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg index ec9deb98e..051a28213 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "t11" label: "primitive int" info1: "state: layout_fixed, mode: Is, diff --git a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg index b22c813d7..8e4d8af1b 100644 --- a/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CALL_STR_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g45" label: "CALL_STR_EXAMPLE_main" status:clustered color:white graph: { title: "n57" label: "Block 57" status:clustered color:yellow diff --git a/testprograms/ref-results/COND_EXAMPLE_main.vcg b/testprograms/ref-results/COND_EXAMPLE_main.vcg index 4e8c0bd06..797011455 100644 --- a/testprograms/ref-results/COND_EXAMPLE_main.vcg +++ b/testprograms/ref-results/COND_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "COND_EXAMPLE_main" status:clustered color:white graph: { title: "n60" label: "Block 60" status:clustered color:yellow diff --git a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg index 74a8e93dd..599abce2f 100644 --- a/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg +++ b/testprograms/ref-results/CONST_EVAL_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "CONST_EVAL_EXAMPLE_main" status:clustered color:white graph: { title: "n45" label: "Block 45" status:clustered color:yellow diff --git a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg index 2aad89b50..bd9d30d83 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main-cfg.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n58" label: "Block n58" } edge: { sourcename: "n58" targetname: "n65"} diff --git a/testprograms/ref-results/DEAD_BLOCK_main.vcg b/testprograms/ref-results/DEAD_BLOCK_main.vcg index cc9da194e..927c7c36e 100644 --- a/testprograms/ref-results/DEAD_BLOCK_main.vcg +++ b/testprograms/ref-results/DEAD_BLOCK_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "DEAD_BLOCK_main" status:clustered color:white graph: { title: "n58" label: "Block 58" status:clustered color:yellow diff --git a/testprograms/ref-results/EMPTY_main.vcg b/testprograms/ref-results/EMPTY_main.vcg index bc6fa259d..c37fc206c 100644 --- a/testprograms/ref-results/EMPTY_main.vcg +++ b/testprograms/ref-results/EMPTY_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g25" label: "EMPTY_main" status:clustered color:white graph: { title: "n15" label: "Block 15" status:clustered color:yellow diff --git a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg index 3a6cd39e1..4ed0b03ba 100644 --- a/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg +++ b/testprograms/ref-results/ENDLESS_LOOP_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white graph: { title: "n78" label: "Block 78" status:clustered color:yellow diff --git a/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg b/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg index 0ded022aa..6a16683fe 100644 --- a/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg +++ b/testprograms/ref-results/FLOAT_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "FLOAT_EXAMPLE_main" status:clustered color:white graph: { title: "n16" label: "Block 16" status:clustered color:yellow diff --git a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg index e8bbb48ee..cbd0c7a15 100644 --- a/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/GLOBAL_CSE_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "GLOBAL_CSE_EXAMPLE_main" status:clustered color:white graph: { title: "n63" label: "Block 63" status:clustered color:yellow diff --git a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg index 95e3ccf14..d4dc1df42 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n43" label: "Block 43" info1: "mode: BB visited: 11 diff --git a/testprograms/ref-results/GLOBAL_VAR_main.vcg b/testprograms/ref-results/GLOBAL_VAR_main.vcg index de884580d..72fe0e196 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "GLOBAL_VAR_main" status:clustered color:white graph: { title: "n39" label: "Block 39" status:clustered color:yellow diff --git a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg index 772ecaf86..2e82fe75e 100644 --- a/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_ELSE_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "IF_ELSE_EXAMPLE_main" status:clustered color:white graph: { title: "n61" label: "Block 61" status:clustered color:yellow diff --git a/testprograms/ref-results/IF_EXAMPLE_main.vcg b/testprograms/ref-results/IF_EXAMPLE_main.vcg index 94f3222da..39e5794c8 100644 --- a/testprograms/ref-results/IF_EXAMPLE_main.vcg +++ b/testprograms/ref-results/IF_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "IF_EXAMPLE_main" status:clustered color:white graph: { title: "n16" label: "Block 16" status:clustered color:yellow diff --git a/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg b/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg index a11821b47..2862e4187 100644 --- a/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg +++ b/testprograms/ref-results/IF_WHILE_EXAMPLE_main-pure.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n89" label: "Start 89" info1: "mode: T visited: 17 @@ -91,24 +118,4 @@ visited: 17 irg: IF_WHILE_EXAMPLE_main arity: 0 "} -edge: { sourcename: "n80" targetname: "n81" class:2 priority:50 linestyle:dotted} -node: {title: "n91" label: "Block 91" info1: "mode: BB -visited: 17 -irg: IF_WHILE_EXAMPLE_main -arity: 1 backedges: -"color: lightyellow} -edge: {sourcename: "n91" targetname: "n88" label: "0" class:13 priority:60 color:red} -node: {title: "n90" label: "Jmp 90" info1: "mode: X -visited: 17 -irg: IF_WHILE_EXAMPLE_main -arity: 0 -"} -edge: { sourcename: "n90" targetname: "n91" class:2 priority:50 linestyle:dotted} -node: {title: "n79" label: "Block 79" info1: "mode: BB -visited: 17 -irg: IF_WHILE_EXAMPLE_main -arity: 2 backedges: -"color: lightyellow} -edge: {sourcename: "n79" targetname: "n90" label: "0" class:13 priority:60 color:red} -edge: {sourcename: "n79" targetname: "n80" label: "1" class:13 priority:60 color:red} -node +edge: { sourcename: " diff --git a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg index 4a6f1e15c..9365ce552 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main-cfg.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n64" label: "Block n64" } edge: { sourcename: "n64" targetname: "n66"} diff --git a/testprograms/ref-results/IRREGULAR_CF_main.vcg b/testprograms/ref-results/IRREGULAR_CF_main.vcg index b75f446ed..1670ddc4a 100644 --- a/testprograms/ref-results/IRREGULAR_CF_main.vcg +++ b/testprograms/ref-results/IRREGULAR_CF_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "IRREGULAR_CF_main" status:clustered color:white graph: { title: "n64" label: "Block 64" status:clustered color:yellow diff --git a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg index a38ddbd45..ad1720dbc 100644 --- a/testprograms/ref-results/IRR_LOOP_main-cfg.vcg +++ b/testprograms/ref-results/IRR_LOOP_main-cfg.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n61" label: "Block n61" } edge: { sourcename: "n61" targetname: "n63"} diff --git a/testprograms/ref-results/IRR_LOOP_main.vcg b/testprograms/ref-results/IRR_LOOP_main.vcg index ecc9d935d..dffc3c994 100644 --- a/testprograms/ref-results/IRR_LOOP_main.vcg +++ b/testprograms/ref-results/IRR_LOOP_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "IRR_LOOP_main" status:clustered color:white graph: { title: "n61" label: "Block 61" status:clustered color:yellow diff --git a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg index 32cd731df..9c238d30c 100644 --- a/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg +++ b/testprograms/ref-results/MEMORY_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "MEMORY_EXAMPLE_main" status:clustered color:white graph: { title: "n77" label: "Block 77" status:clustered color:yellow diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg index aca6d3b36..7163c4550 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g35" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white graph: { title: "n195" label: "Block 195" status:clustered color:yellow diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg index 69f413ff1..92a2b345f 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g35" label: "OO_INLINE_EXAMPLE_main" status:clustered color:white graph: { title: "n195" label: "Block 195" status:clustered color:yellow diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg index 0c973f8a3..217aa90be 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-ip.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n105" label: "Block 105" status:clustered color:yellow 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 b1180a455..a58d4bbe1 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-ip.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n109" label: "Block 109" info1: "mode: BB visited: 32 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 7eb89fe41..55246e76e 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 @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n109" label: "Block 109" info1: "mode: BB visited: 36 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 b88eb05d6..3086c9e0d 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n109" label: "Block 109" info1: "mode: BB visited: 20 diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg index 5163a94c4..c44ad1eda 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n109" label: "Block 109" info1: "mode: BB visited: 18 diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg index f6b5bc698..8c9c71229 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "t18" label: "method c" info1: "state: layout_fixed, mode: P, 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 4f8c3dd19..dee6fc64e 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n105" label: "Block 105" status:clustered color:yellow diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg index 7aa996c08..b0c0245fd 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n105" label: "Block 105" status:clustered color:yellow diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg index 48d83dba9..5e84f4793 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g35" label: "OO_PROGRAM_EXAMPLE_main" status:clustered color:white graph: { title: "n105" label: "Block 105" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg index df6648ce5..283f6f33e 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g90" label: "PRIMA_INLINE_c" status:clustered color:white graph: { title: "n241" label: "Block 241" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_INLINE_c.vcg b/testprograms/ref-results/PRIMA_INLINE_c.vcg index ba023f2be..eb88e16bf 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g90" label: "PRIMA_INLINE_c" status:clustered color:white graph: { title: "n241" label: "Block 241" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg index e2b157bd8..0e1af2bba 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g68" label: "PRIMA_INLINE_set_a" status:clustered color:white graph: { title: "n220" label: "Block 220" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg index d25e81050..6d81cedaa 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g68" label: "PRIMA_INLINE_set_a" status:clustered color:white graph: { title: "n220" label: "Block 220" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg index bb5b47446..ef12d1cb7 100644 --- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n152" label: "Block 152" info1: "mode: BB visited: 13 diff --git a/testprograms/ref-results/PRIMA_c-pure.vcg b/testprograms/ref-results/PRIMA_c-pure.vcg index 927b1a541..b0da8bdc9 100644 --- a/testprograms/ref-results/PRIMA_c-pure.vcg +++ b/testprograms/ref-results/PRIMA_c-pure.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n152" label: "Block 152" info1: "mode: BB visited: 11 diff --git a/testprograms/ref-results/PRIMA_c-type.vcg b/testprograms/ref-results/PRIMA_c-type.vcg index e91bd1ff8..eeaf4f29a 100644 --- a/testprograms/ref-results/PRIMA_c-type.vcg +++ b/testprograms/ref-results/PRIMA_c-type.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "e14" label: "ent a" color: yellow info1: "entity a (14) diff --git a/testprograms/ref-results/PRIMA_c-wtypes.vcg b/testprograms/ref-results/PRIMA_c-wtypes.vcg index 111cedb66..2180d9939 100644 --- a/testprograms/ref-results/PRIMA_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g90" label: "PRIMA_c" status:clustered color:white graph: { title: "n148" label: "Block 148" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_c.vcg b/testprograms/ref-results/PRIMA_c.vcg index 0a3354c81..e98cb74bc 100644 --- a/testprograms/ref-results/PRIMA_c.vcg +++ b/testprograms/ref-results/PRIMA_c.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g90" label: "PRIMA_c" status:clustered color:white graph: { title: "n148" label: "Block 148" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg index 04dfa5994..bbe72813a 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n135" label: "Block 135" info1: "mode: BB visited: 13 diff --git a/testprograms/ref-results/PRIMA_set_a-pure.vcg b/testprograms/ref-results/PRIMA_set_a-pure.vcg index 1d3ea1ef7..a9f49e314 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n135" label: "Block 135" info1: "mode: BB visited: 11 diff --git a/testprograms/ref-results/PRIMA_set_a-type.vcg b/testprograms/ref-results/PRIMA_set_a-type.vcg index d33ced126..757a23083 100644 --- a/testprograms/ref-results/PRIMA_set_a-type.vcg +++ b/testprograms/ref-results/PRIMA_set_a-type.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "e14" label: "ent a" color: yellow info1: "entity a (14) diff --git a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg index 9b2e07e84..750f35d45 100644 --- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g68" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n131" label: "Block 131" status:clustered color:yellow diff --git a/testprograms/ref-results/PRIMA_set_a.vcg b/testprograms/ref-results/PRIMA_set_a.vcg index 7b05e8b0b..992164591 100644 --- a/testprograms/ref-results/PRIMA_set_a.vcg +++ b/testprograms/ref-results/PRIMA_set_a.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g68" label: "PRIMA_set_a" status:clustered color:white graph: { title: "n131" label: "Block 131" status:clustered color:yellow diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg index 7e276a418..abcaa6560 100644 --- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg +++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main-cfg.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "n76" label: "Block n76" } edge: { sourcename: "n76" targetname: "n78"} diff --git a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg index cd26c91f8..bbd0f7888 100644 --- a/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg +++ b/testprograms/ref-results/THREE_CFPRED_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g26" label: "THREE_CFPRED_EXAMPLE_main" status:clustered color:white graph: { title: "n76" label: "Block 76" status:clustered color:yellow diff --git a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg index 7d84478f3..add4b546f 100644 --- a/testprograms/ref-results/WHILE_EXAMPLE_main.vcg +++ b/testprograms/ref-results/WHILE_EXAMPLE_main.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 graph: { title: "g27" label: "WHILE_EXAMPLE_main" status:clustered color:white graph: { title: "n66" label: "Block 66" status:clustered color:yellow diff --git a/testprograms/ref-results/class_hierarchy.vcg b/testprograms/ref-results/class_hierarchy.vcg index fa45c218b..f62155f98 100644 --- a/testprograms/ref-results/class_hierarchy.vcg +++ b/testprograms/ref-results/class_hierarchy.vcg @@ -23,6 +23,33 @@ classname 11: "Overwrites" classname 12: "Member" infoname 1: "Attribute" infoname 2: "Verification errors" +colorentry 100: 0 0 0 +colorentry 101: 20 0 0 +colorentry 102: 40 0 0 +colorentry 103: 60 0 0 +colorentry 104: 80 0 0 +colorentry 105: 100 0 0 +colorentry 106: 120 0 0 +colorentry 107: 140 0 0 +colorentry 108: 150 0 0 +colorentry 109: 180 0 0 +colorentry 110: 200 0 0 +colorentry 111: 220 0 0 +colorentry 112: 240 0 0 +colorentry 113: 255 0 0 +colorentry 113: 255 20 20 +colorentry 114: 255 40 40 +colorentry 115: 255 60 60 +colorentry 116: 255 80 80 +colorentry 117: 255 100 100 +colorentry 118: 255 120 120 +colorentry 119: 255 140 140 +colorentry 120: 255 150 150 +colorentry 121: 255 180 180 +colorentry 122: 255 200 200 +colorentry 123: 255 220 220 +colorentry 124: 255 240 240 +colorentry 125: 255 250 250 node: {title: "t12" label: "class PRIMA" info1: "state: layout_undefined size: -1b, diff --git a/testprograms/ref-results/run-result.txt b/testprograms/ref-results/run-result.txt index 0313f94f4..8f8509954 100644 --- a/testprograms/ref-results/run-result.txt +++ b/testprograms/ref-results/run-result.txt @@ -147,9 +147,6 @@ Use xvcg to view these graphs: /ben/goetz/bin/xvcg GRAPHNAME Dumping Callgraph. -Use xvcg to view these graphs: -/ben/goetz/bin/xvcg GRAPHNAME - Creating an IR graph: THREE_CFPRED_EXAMPLE ... Optimizing ... @@ -163,3 +160,11 @@ Optimizing ... Done building the graph. Dumping it. Use xvcg to view this graph: /ben/goetz/bin/xvcg GRAPHNAME + +Dumping Graphs. +Use xvcg to view these graphs: +/ben/goetz/bin/xvcg GRAPHNAME + +Dumping Graphs. +Use xvcg to view these graphs: +/ben/goetz/bin/xvcg GRAPHNAME -- 2.20.1