Update test 26, 35, 39. Update test results.

1 files changed, 399 insertions, 18 deletions

diff --git a/test/test20-03.txt b/test/test20-03.txt
index de30338..f44700e 100644
--- a/test/test20-03.txt
+++ b/test/test20-03.txt
@@ -2,6 +2,21 @@ function_decl func1:
 bind_expr : ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 var_decl ptr3: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 parm_decl ptr1: ptr1, ptr2, ptr3, 
@@ -28,19 +43,64 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 function_decl func2: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 modify_expr : 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
+test20.c:16:15: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 100;
-         ^
+               ^
+component_ref : ptr1, ptr2, ptr3, 
 indirect_ref : 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_type : ptr1, ptr2, ptr3, 
@@ -75,19 +135,79 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 function_decl func3: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 cond_expr : ptr1, ptr2, ptr3, 
 ne_expr : 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 modify_expr : ptr2, 
 component_ref : ptr2, 
 indirect_ref : 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, 
+integer_type : ptr2, 
+integer_cst 64: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+identifier_node Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
 field_decl val: ptr2, 
 integer_cst 32: ptr2, 
 integer_type : ptr2, 
@@ -122,19 +242,79 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 function_decl func4: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 cond_expr : ptr1, ptr2, ptr3, 
 ne_expr : 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 modify_expr : ptr2, 
 component_ref : ptr2, 
 indirect_ref : 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, 
+integer_type : ptr2, 
+integer_cst 64: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+identifier_node Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
 field_decl val: ptr2, 
 integer_cst 32: ptr2, 
 integer_type : ptr2, 
@@ -226,6 +406,21 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 function_decl func5: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
@@ -266,10 +461,40 @@ integer_cst 32: ptr1, ptr2,
 integer_cst 0: ptr1, ptr2, 
 decl_expr : 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, 
+integer_type : ptr2, 
+integer_cst 64: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+identifier_node Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
 modify_expr : ptr1, ptr2, 
 component_ref : ptr2, 
 indirect_ref : 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, 
+integer_type : ptr2, 
+integer_cst 64: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+identifier_node Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
 field_decl val: ptr2, 
 integer_cst 32: ptr2, 
 integer_type : ptr2, 
@@ -304,6 +529,21 @@ integer_cst -2147483648: ptr2,
 integer_cst 2147483647: 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, 
+integer_type : ptr2, 
+integer_cst 64: ptr2, 
+pointer_type : ptr2, 
+record_type : ptr2, 
+identifier_node Data1: ptr2, 
+field_decl val: ptr2, 
+integer_cst 32: ptr2, 
+integer_type : ptr2, 
 function_decl func6: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
@@ -344,14 +584,44 @@ integer_cst 32: ptr1, ptr2,
 integer_cst 0: ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 modify_expr : 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
+test20.c:52:15: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 100;
-         ^
+               ^
+component_ref : ptr1, ptr2, ptr3, 
 indirect_ref : 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_type : ptr1, ptr2, ptr3, 
@@ -386,11 +656,32 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 function_decl func7: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
 cond_expr : ptr1, ptr2, 
 ne_expr : ptr1, ptr2, 
 var_decl k: ptr1, ptr2, 
@@ -401,6 +692,12 @@ integer_cst 32: ptr1, ptr2,
 integer_cst -2147483648: ptr1, ptr2, 
 integer_cst 2147483647: ptr1, ptr2, 
 var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
 cond_expr : ptr1, ptr2, 
 eq_expr : ptr1, ptr2, 
 parm_decl ptr1: ptr1, ptr2, 
@@ -452,11 +749,11 @@ integer_cst 32: ptr1, ptr2, ptr3,
 integer_cst -2147483648: ptr1, ptr2, ptr3, 
 integer_cst 2147483647: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
 test20.c: In function 'func7':
-test20.c:66:9: warning: Using parameter 'ptr1' without checking for null pointer
+test20.c:66:15: warning: Using parameter 'ptr1' without checking for null pointer
      ptr1->val = 100;
-         ^
+               ^
+component_ref : ptr1, ptr2, ptr3, 
 indirect_ref : ptr1, ptr2, ptr3, 
 parm_decl ptr1: ptr1, ptr2, ptr3, 
 pointer_type : ptr1, ptr2, ptr3, 
@@ -479,12 +776,27 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: ptr1, ptr2, ptr3, 
 integer_cst 100: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
-test20.c:67:9: warning: Using variable 'ptr3' without checking for null pointer
+test20.c:67:15: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 200;
-         ^
+               ^
+component_ref : ptr1, ptr2, ptr3, 
 indirect_ref : 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_type : ptr1, ptr2, ptr3, 
@@ -502,12 +814,39 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: ptr1, ptr2, ptr3, 
 block : ptr1, ptr2, ptr3, 
 var_decl c: ptr1, ptr2, ptr3, 
+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, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 function_decl func8: 
 bind_expr : ptr1, ptr2, 
 statement_list : ptr1, ptr2, 
 decl_expr : ptr1, ptr2, 
 var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
 cond_expr : ptr1, ptr2, 
 ne_expr : ptr1, ptr2, 
 var_decl k: ptr1, ptr2, 
@@ -518,6 +857,12 @@ integer_cst 32: ptr1, ptr2,
 integer_cst -2147483648: ptr1, ptr2, 
 integer_cst 2147483647: ptr1, ptr2, 
 var_decl c: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+type_decl int: ptr1, ptr2, 
+integer_cst 32: ptr1, ptr2, 
+integer_cst -2147483648: ptr1, ptr2, 
+integer_cst 2147483647: ptr1, ptr2, 
 cond_expr : ptr1, ptr2, 
 ne_expr : ptr1, ptr2, 
 parm_decl ptr1: ptr1, ptr2, 
@@ -569,11 +914,11 @@ integer_cst 32: ptr1, ptr2, ptr3,
 integer_cst -2147483648: ptr1, ptr2, ptr3, 
 integer_cst 2147483647: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
 test20.c: In function 'func8':
-test20.c:81:9: warning: Using parameter 'ptr1' without checking for null pointer
+test20.c:81:15: warning: Using parameter 'ptr1' without checking for null pointer
      ptr1->val = 100;
-         ^
+               ^
+component_ref : ptr1, ptr2, ptr3, 
 indirect_ref : ptr1, ptr2, ptr3, 
 parm_decl ptr1: ptr1, ptr2, ptr3, 
 pointer_type : ptr1, ptr2, ptr3, 
@@ -596,12 +941,27 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: ptr1, ptr2, ptr3, 
 integer_cst 100: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
-component_ref : ptr1, ptr2, ptr3, 
-test20.c:82:9: warning: Using variable 'ptr3' without checking for null pointer
+test20.c:82:15: warning: Using variable 'ptr3' without checking for null pointer
      ptr3->val = 200;
-         ^
+               ^
+component_ref : ptr1, ptr2, ptr3, 
 indirect_ref : 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3, 
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_type : ptr1, ptr2, ptr3, 
@@ -619,4 +979,25 @@ integer_cst -2147483648: ptr1, ptr2, ptr3,
 integer_cst 2147483647: ptr1, ptr2, ptr3, 
 block : ptr1, ptr2, ptr3, 
 var_decl c: ptr1, ptr2, ptr3, 
+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, 
 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, 
+integer_type : ptr1, ptr2, ptr3, 
+integer_cst 64: 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_type : ptr1, ptr2, ptr3,