Update test 23. Update test results.

1 files changed, 125 insertions, 125 deletions

diff --git a/test/test20-03.txt b/test/test20-03.txt
index c76a426..9e65d0a 100644
--- a/test/test20-03.txt
+++ b/test/test20-03.txt
@@ -18,26 +18,26 @@ statement_list : ptr1, ptr2,
 decl_expr : ptr1, ptr2, 
 var_decl ptr3: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
+component_ref : , ptr1, ptr2, ptr3, 
 test20.c: In function 'func2':
 test20.c:16:9: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 100;
          ^
-indirect_ref : ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 100: ptr1, ptr2, ptr3, 
+indirect_ref : , ptr1, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr2, ptr3, 
+field_decl val: , ptr1, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr2, ptr3, 
+integer_cst 100: , ptr1, ptr2, ptr3, 
 var_decl ptr3: ptr1, ptr2, 
-integer_cst 64: ptr1, ptr2, ptr3, 
-parm_decl ptr1: ptr1, ptr2, ptr3, 
-pointer_type : ptr1, ptr2, ptr3, 
-record_type : ptr1, ptr2, ptr3, 
-identifier_node Data1: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-block : ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
+integer_cst 64: , ptr1, ptr2, ptr3, 
+parm_decl ptr1: , ptr1, ptr2, ptr3, 
+pointer_type : , ptr1, ptr2, ptr3, 
+record_type : , ptr1, ptr2, ptr3, 
+identifier_node Data1: , ptr1, ptr2, ptr3, 
+field_decl val: , ptr1, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr2, ptr3, 
+block : , ptr1, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr2, ptr3, 
 function_decl func3: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
@@ -48,12 +48,12 @@ ne_expr : ptr1, ptr2, ptr3,
 var_decl ptr3: ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 modify_expr : ptr2, 
-component_ref : ptr2, 
-indirect_ref : ptr2, 
-var_decl ptr3: ptr2, 
-field_decl val: ptr2, 
-integer_cst 32: ptr2, 
-integer_cst 100: ptr2, 
+component_ref : , ptr2, 
+indirect_ref : , ptr2, 
+var_decl ptr3: , ptr2, 
+field_decl val: , ptr2, 
+integer_cst 32: , ptr2, 
+integer_cst 100: , ptr2, 
 var_decl ptr3: ptr1, ptr2, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 parm_decl ptr1: ptr1, ptr2, ptr3, 
@@ -74,12 +74,12 @@ ne_expr : ptr1, ptr2, ptr3,
 var_decl ptr3: ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 modify_expr : ptr2, 
-component_ref : ptr2, 
-indirect_ref : ptr2, 
-var_decl ptr3: ptr2, 
-field_decl val: ptr2, 
-integer_cst 32: ptr2, 
-integer_cst 100: ptr2, 
+component_ref : , ptr2, 
+indirect_ref : , ptr2, 
+var_decl ptr3: , ptr2, 
+field_decl val: , ptr2, 
+integer_cst 32: , ptr2, 
+integer_cst 100: , ptr2, 
 cond_expr : ptr1, ptr2, ptr3, 
 truth_andif_expr : ptr1, ptr2, ptr3, 
 eq_expr : ptr1, ptr2, ptr3, 
@@ -101,18 +101,18 @@ integer_cst 32: ptr1, ptr2, ptr3,
 integer_cst 64: ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr3, 
-component_ref : ptr1, ptr3, 
-indirect_ref : ptr1, ptr3, 
-parm_decl ptr2: ptr1, ptr3, 
-pointer_type : ptr1, ptr3, 
-record_type : ptr1, ptr3, 
-identifier_node Data1: ptr1, ptr3, 
-field_decl val: ptr1, ptr3, 
-integer_cst 32: ptr1, ptr3, 
-integer_cst 64: ptr1, ptr3, 
-field_decl val: ptr1, ptr3, 
-integer_cst 32: ptr1, ptr3, 
-integer_cst 200: ptr1, ptr3, 
+component_ref : ptr1, ptr2->val, ptr3, 
+indirect_ref : ptr1, ptr2->val, ptr3, 
+parm_decl ptr2: ptr1, ptr2->val, ptr3, 
+pointer_type : ptr1, ptr2->val, ptr3, 
+record_type : ptr1, ptr2->val, ptr3, 
+identifier_node Data1: ptr1, ptr2->val, ptr3, 
+field_decl val: ptr1, ptr2->val, ptr3, 
+integer_cst 32: ptr1, ptr2->val, ptr3, 
+integer_cst 64: ptr1, ptr2->val, ptr3, 
+field_decl val: ptr1, ptr2->val, ptr3, 
+integer_cst 32: ptr1, ptr2->val, ptr3, 
+integer_cst 200: ptr1, ptr2->val, ptr3, 
 var_decl ptr3: ptr1, ptr2, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 parm_decl ptr1: ptr1, ptr2, ptr3, 
@@ -159,22 +159,22 @@ integer_cst 0: ptr1, ptr2,
 decl_expr : ptr1, ptr2, 
 var_decl ptr3: ptr2, 
 modify_expr : ptr1, ptr2, 
-component_ref : ptr2, 
-indirect_ref : ptr2, 
-var_decl ptr3: ptr2, 
-field_decl val: ptr2, 
-integer_cst 32: ptr2, 
-integer_cst 100: ptr2, 
+component_ref : , ptr2, 
+indirect_ref : , ptr2, 
+var_decl ptr3: , ptr2, 
+field_decl val: , ptr2, 
+integer_cst 32: , ptr2, 
+integer_cst 100: , ptr2, 
 var_decl ptr3: ptr1, ptr2, 
-integer_cst 64: ptr2, 
-parm_decl ptr1: ptr2, 
-pointer_type : ptr2, 
-record_type : ptr2, 
-identifier_node Data1: ptr2, 
-field_decl val: ptr2, 
-integer_cst 32: ptr2, 
-block : ptr1, ptr2, 
-var_decl ptr3: ptr2, 
+integer_cst 64: , ptr2, 
+parm_decl ptr1: , ptr2, 
+pointer_type : , ptr2, 
+record_type : , ptr2, 
+identifier_node Data1: , ptr2, 
+field_decl val: , ptr2, 
+integer_cst 32: , ptr2, 
+block : , ptr1, ptr2, 
+var_decl ptr3: , ptr2, 
 function_decl func6: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
@@ -211,26 +211,26 @@ integer_cst 0: ptr1, ptr2,
 decl_expr : ptr1, ptr2, 
 var_decl ptr3: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
+component_ref : , ptr1, ptr2, ptr3, 
 test20.c: In function 'func6':
 test20.c:52:9: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 100;
          ^
-indirect_ref : ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 100: ptr1, ptr2, ptr3, 
+indirect_ref : , ptr1, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr2, ptr3, 
+field_decl val: , ptr1, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr2, ptr3, 
+integer_cst 100: , ptr1, ptr2, ptr3, 
 var_decl ptr3: ptr1, ptr2, 
-integer_cst 64: ptr1, ptr2, ptr3, 
-parm_decl ptr1: ptr1, ptr2, ptr3, 
-pointer_type : ptr1, ptr2, ptr3, 
-record_type : ptr1, ptr2, ptr3, 
-identifier_node Data1: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-block : ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
+integer_cst 64: , ptr1, ptr2, ptr3, 
+parm_decl ptr1: , ptr1, ptr2, ptr3, 
+pointer_type : , ptr1, ptr2, ptr3, 
+record_type : , ptr1, ptr2, ptr3, 
+identifier_node Data1: , ptr1, ptr2, ptr3, 
+field_decl val: , ptr1, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr2, ptr3, 
+block : , ptr1, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr2, ptr3, 
 function_decl func7: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
@@ -276,42 +276,42 @@ identifier_node Data1: ptr1, ptr2, ptr3,
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
+component_ref : ptr1, ptr1->val, ptr2, ptr3, 
 test20.c: In function 'func7':
 test20.c:66:9: warning: Using parameter 'ptr1' without checking for null pointer
      ptr1->val = 100;
          ^
-indirect_ref : ptr1, ptr2, ptr3, 
-parm_decl ptr1: ptr1, ptr2, ptr3, 
-pointer_type : ptr1, ptr2, ptr3, 
-record_type : ptr1, ptr2, ptr3, 
-identifier_node Data1: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 64: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 100: ptr1, ptr2, ptr3, 
-modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
+indirect_ref : ptr1, ptr1->val, ptr2, ptr3, 
+parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3, 
+pointer_type : ptr1, ptr1->val, ptr2, ptr3, 
+record_type : ptr1, ptr1->val, ptr2, ptr3, 
+identifier_node Data1: ptr1, ptr1->val, ptr2, ptr3, 
+field_decl val: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 64: ptr1, ptr1->val, ptr2, ptr3, 
+field_decl val: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 100: ptr1, ptr1->val, ptr2, ptr3, 
+modify_expr : ptr1, ptr1->val, ptr2, ptr3, 
+component_ref : , ptr1, ptr1->val, ptr2, ptr3, 
 test20.c:67:9: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 200;
          ^
-indirect_ref : ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 200: ptr1, ptr2, ptr3, 
+indirect_ref : , ptr1, ptr1->val, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3, 
+field_decl val: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3, 
 var_decl c: ptr1, ptr2, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_type : ptr1, ptr2, ptr3, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
-block : ptr1, ptr2, ptr3, 
-var_decl c: ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_type : , ptr1, ptr1->val, ptr2, ptr3, 
+type_decl int: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3, 
+block : , ptr1, ptr1->val, ptr2, ptr3, 
+var_decl c: , ptr1, ptr1->val, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3, 
 function_decl func8: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
@@ -357,39 +357,39 @@ identifier_node Data1: ptr1, ptr2, ptr3,
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
+component_ref : ptr1, ptr1->val, ptr2, ptr3, 
 test20.c: In function 'func8':
 test20.c:81:9: warning: Using parameter 'ptr1' without checking for null pointer
      ptr1->val = 100;
          ^
-indirect_ref : ptr1, ptr2, ptr3, 
-parm_decl ptr1: ptr1, ptr2, ptr3, 
-pointer_type : ptr1, ptr2, ptr3, 
-record_type : ptr1, ptr2, ptr3, 
-identifier_node Data1: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 64: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 100: ptr1, ptr2, ptr3, 
-modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
+indirect_ref : ptr1, ptr1->val, ptr2, ptr3, 
+parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3, 
+pointer_type : ptr1, ptr1->val, ptr2, ptr3, 
+record_type : ptr1, ptr1->val, ptr2, ptr3, 
+identifier_node Data1: ptr1, ptr1->val, ptr2, ptr3, 
+field_decl val: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 64: ptr1, ptr1->val, ptr2, ptr3, 
+field_decl val: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 100: ptr1, ptr1->val, ptr2, ptr3, 
+modify_expr : ptr1, ptr1->val, ptr2, ptr3, 
+component_ref : , ptr1, ptr1->val, ptr2, ptr3, 
 test20.c:82:9: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 200;
          ^
-indirect_ref : ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
-field_decl val: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst 200: ptr1, ptr2, ptr3, 
+indirect_ref : , ptr1, ptr1->val, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3, 
+field_decl val: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3, 
 var_decl c: ptr1, ptr2, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_type : ptr1, ptr2, ptr3, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
-block : ptr1, ptr2, ptr3, 
-var_decl c: ptr1, ptr2, ptr3, 
-var_decl ptr3: ptr1, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_type : , ptr1, ptr1->val, ptr2, ptr3, 
+type_decl int: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3, 
+integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3, 
+block : , ptr1, ptr1->val, ptr2, ptr3, 
+var_decl c: , ptr1, ptr1->val, ptr2, ptr3, 
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,