From 463663751fe60e80faaba3e35ea72784f7fe3559 Mon Sep 17 00:00:00 2001 From: FIRM Projekt Account Date: Thu, 9 Dec 2004 12:31:14 +0000 Subject: [PATCH] numbering of start and end block excanged [r4617] --- testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg | 6 +++--- testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg | 6 +++--- .../ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg | 6 +++--- testprograms/ref-results/All_types.vcg | 2 +- testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg | 2 +- testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg | 6 +++--- .../ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes-ip.vcg | 6 +++--- .../ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg | 6 +++--- testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg | 6 +++--- .../ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg | 6 +++--- testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg | 6 +++--- testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg | 4 ++-- testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg | 4 ++-- testprograms/ref-results/PRIMA_c-pure-wtypes.vcg | 4 ++-- testprograms/ref-results/PRIMA_c-type.vcg | 4 ++-- testprograms/ref-results/PRIMA_c-wtypes.vcg | 4 ++-- testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg | 4 ++-- testprograms/ref-results/PRIMA_set_a-type.vcg | 4 ++-- testprograms/ref-results/PRIMA_set_a-wtypes.vcg | 4 ++-- 19 files changed, 45 insertions(+), 45 deletions(-) diff --git a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg index 7d8b4d9a9..d9f5d431a 100644 --- a/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-HEAP_EXAMPLE_main-type.vcg @@ -79,7 +79,7 @@ node: {title: "n22" label: "0x9Iu 22" info1: "0x9 22 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: Const of type type_unknown " @@ -89,7 +89,7 @@ node: {title: "n23" label: "0x0Iu 23" info1: "0x0 23 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: Const of type type_unknown " @@ -123,7 +123,7 @@ node: {title: "n16" label: "SymC &ARRAY-HEAP_EXAMPLE_main 16" info1: "SymC &AR visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.ARRAY-HEAP_EXAMPLE_main (17) diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg index 265eefdf3..7e03c7534 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-type.vcg @@ -79,7 +79,7 @@ node: {title: "n23" label: "0x9Iu 23" info1: "0x9 23 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: Const of type type_unknown " @@ -89,7 +89,7 @@ node: {title: "n24" label: "0x0Iu 24" info1: "0x0 24 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: Const of type type_unknown " @@ -145,7 +145,7 @@ node: {title: "n17" label: "SymC &main 17" info1: "SymC &main 17 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity ARRAY-STACK_EXAMPLE.main (18) diff --git a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg index 5e45bfe8c..a980d40a5 100644 --- a/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/ARRAY-STACK_EXAMPLE_main-wtypes.vcg @@ -253,7 +253,7 @@ node: {title: "n23" label: "0x9Iu 23" info1: "0x9 23 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: Const of type type_unknown " @@ -263,7 +263,7 @@ node: {title: "n24" label: "0x0Iu 24" info1: "0x0 24 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: Const of type type_unknown " @@ -319,7 +319,7 @@ node: {title: "n17" label: "SymC &main 17" info1: "SymC &main 17 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity ARRAY-STACK_EXAMPLE.main (18) diff --git a/testprograms/ref-results/All_types.vcg b/testprograms/ref-results/All_types.vcg index e44bc6768..39a3dde08 100644 --- a/testprograms/ref-results/All_types.vcg +++ b/testprograms/ref-results/All_types.vcg @@ -95,7 +95,7 @@ node: {title: "n17" label: "SymC &main 17" info1: "SymC &main 17 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity WHILE_EXAMPLE.main (18) diff --git a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg index 0c6317317..6fb6cbe92 100644 --- a/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg +++ b/testprograms/ref-results/GLOBAL_VAR_main-pure-wtypes.vcg @@ -276,7 +276,7 @@ node: {title: "n16" label: "SymC &GLOBAL_VAR_main 16" info1: "SymC &GLOBAL_VAR visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.GLOBAL_VAR_main (17) diff --git a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg index e6c94c977..4f1e59ac5 100644 --- a/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_INLINE_EXAMPLE_main-wtypes.vcg @@ -399,7 +399,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA_INLINE.set_a (20) @@ -450,7 +450,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA_INLINE.c (23) @@ -493,7 +493,7 @@ node: {title: "n25" label: "SymC &OO_INLINE_EXAMPLE_main 25" info1: "SymC &OO_ visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.OO_INLINE_EXAMPLE_main (26) 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 03655dd89..85ddb8235 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 @@ -890,7 +890,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 40 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -941,7 +941,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 41 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) @@ -984,7 +984,7 @@ node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO visited: 42 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26) 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 fbabc63f5..691a32785 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-pure-wtypes.vcg @@ -437,7 +437,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -479,7 +479,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) @@ -512,7 +512,7 @@ node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO visited: 1 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26) diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg index 185c3d3be..63cc95f3a 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-type.vcg @@ -120,7 +120,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 7 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -162,7 +162,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 7 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) @@ -195,7 +195,7 @@ node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO visited: 7 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26) 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 9e7641412..4479cafbc 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes-ip.vcg @@ -739,7 +739,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 48 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -790,7 +790,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 49 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) @@ -833,7 +833,7 @@ node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO visited: 50 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26) diff --git a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg index bc61cf4c4..9fc04dc06 100644 --- a/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg +++ b/testprograms/ref-results/OO_PROGRAM_EXAMPLE_main-wtypes.vcg @@ -397,7 +397,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 4 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -439,7 +439,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 4 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) @@ -472,7 +472,7 @@ node: {title: "n25" label: "SymC &OO_PROGRAM_EXAMPLE_main 25" info1: "SymC &OO visited: 4 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26) diff --git a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg index 3c1e505e3..167943292 100644 --- a/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_c-wtypes.vcg @@ -315,7 +315,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 3 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA_INLINE.set_a (20) @@ -366,7 +366,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 3 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA_INLINE.c (23) diff --git a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg index a0daafa16..9bab8f2b3 100644 --- a/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_INLINE_set_a-wtypes.vcg @@ -258,7 +258,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA_INLINE.set_a (20) @@ -309,7 +309,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA_INLINE.c (23) diff --git a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg index 4d201e1e3..3b829c5aa 100644 --- a/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-pure-wtypes.vcg @@ -323,7 +323,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 3 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -374,7 +374,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 3 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) diff --git a/testprograms/ref-results/PRIMA_c-type.vcg b/testprograms/ref-results/PRIMA_c-type.vcg index cd8111aaa..4681f580b 100644 --- a/testprograms/ref-results/PRIMA_c-type.vcg +++ b/testprograms/ref-results/PRIMA_c-type.vcg @@ -101,7 +101,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 9 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -152,7 +152,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 9 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) diff --git a/testprograms/ref-results/PRIMA_c-wtypes.vcg b/testprograms/ref-results/PRIMA_c-wtypes.vcg index b81de240b..1e825b0c9 100644 --- a/testprograms/ref-results/PRIMA_c-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_c-wtypes.vcg @@ -286,7 +286,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 6 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -337,7 +337,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 6 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) diff --git a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg index cc8d52d78..8274f9c65 100644 --- a/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-pure-wtypes.vcg @@ -293,7 +293,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -344,7 +344,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 2 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) diff --git a/testprograms/ref-results/PRIMA_set_a-type.vcg b/testprograms/ref-results/PRIMA_set_a-type.vcg index 3e4e52359..184fc85f1 100644 --- a/testprograms/ref-results/PRIMA_set_a-type.vcg +++ b/testprograms/ref-results/PRIMA_set_a-type.vcg @@ -101,7 +101,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 8 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -152,7 +152,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 8 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) diff --git a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg index 7badfee5f..0c2b85a72 100644 --- a/testprograms/ref-results/PRIMA_set_a-wtypes.vcg +++ b/testprograms/ref-results/PRIMA_set_a-wtypes.vcg @@ -258,7 +258,7 @@ node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19 visited: 5 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.set_a (20) @@ -309,7 +309,7 @@ node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22 visited: 5 arity: 0 pred nodes: - -1: Block 1 + -1: Block 3 Private Attributes: kind: addr_ent entity: entity PRIMA.c (23) -- 2.20.1