Update test results.

1 files changed, 0 insertions, 313 deletions

diff --git a/test/test20-03.txt b/test/test20-03.txt
index 3da2bbd..8bf8b9d 100644
--- a/test/test20-03.txt
+++ b/test/test20-03.txt
@@ -7,40 +7,20 @@ 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, 
 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-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 ptr3: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
@@ -48,16 +28,10 @@ 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, 
@@ -68,16 +42,10 @@ 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, 
 test20.c: In function 'func2':
 test20.c:16:15: warning: Using variable 'ptr3' without checking for null pointer
@@ -91,9 +59,6 @@ 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, 
@@ -101,9 +66,6 @@ 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, 
 type_decl int: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_cst -2147483648: ptr1, ptr2, ptr3, 
@@ -115,24 +77,10 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-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 ptr3: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
@@ -140,16 +88,10 @@ 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, 
@@ -160,16 +102,10 @@ 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, 
 integer_cst 0: ptr1, ptr2, ptr3, 
@@ -179,16 +115,10 @@ 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, 
@@ -199,9 +129,6 @@ 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, 
@@ -209,9 +136,6 @@ 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, 
 type_decl int: ptr2, 
 integer_cst 32: ptr2, 
 integer_cst -2147483648: ptr2, 
@@ -223,24 +147,10 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-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 ptr3: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
@@ -248,16 +158,10 @@ 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, 
@@ -268,16 +172,10 @@ 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, 
 integer_cst 0: ptr1, ptr2, ptr3, 
@@ -287,16 +185,10 @@ 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, 
@@ -307,9 +199,6 @@ 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, 
@@ -317,9 +206,6 @@ 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, 
 type_decl int: ptr2, 
 integer_cst 32: ptr2, 
 integer_cst -2147483648: ptr2, 
@@ -337,13 +223,6 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 ne_expr : ptr1, ptr2, ptr3, 
@@ -352,13 +231,6 @@ parm_decl ptr2: 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 integer_cst 0: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr3, 
@@ -368,13 +240,6 @@ 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_type : ptr1, ptr3, 
-type_decl int: ptr1, ptr3, 
-integer_cst 32: ptr1, ptr3, 
-integer_cst -2147483648: ptr1, ptr3, 
-integer_cst 2147483647: ptr1, ptr3, 
 integer_cst 64: ptr1, ptr3, 
 field_decl val: ptr1, ptr3, 
 integer_cst 32: ptr1, ptr3, 
@@ -390,24 +255,10 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-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 ptr3: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
@@ -415,16 +266,10 @@ 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, 
@@ -436,13 +281,6 @@ parm_decl ptr1: ptr1, ptr2,
 pointer_type : ptr1, ptr2, 
 record_type : ptr1, ptr2, 
 identifier_node Data1: ptr1, ptr2, 
-field_decl val: 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, 
 integer_cst 64: ptr1, ptr2, 
 integer_cst 0: ptr1, ptr2, 
 eq_expr : ptr2, 
@@ -472,16 +310,10 @@ 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, 
@@ -491,9 +323,6 @@ 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, 
@@ -501,9 +330,6 @@ 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, 
 type_decl int: ptr2, 
 integer_cst 32: ptr2, 
 integer_cst -2147483648: ptr2, 
@@ -515,24 +341,10 @@ 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, 
-type_decl int: ptr2, 
-integer_cst 32: ptr2, 
-integer_cst -2147483648: ptr2, 
-integer_cst 2147483647: 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, 
-type_decl int: ptr2, 
-integer_cst 32: ptr2, 
-integer_cst -2147483648: ptr2, 
-integer_cst 2147483647: ptr2, 
 block : ptr1, ptr2, 
 var_decl ptr3: ptr2, 
 integer_cst 64: ptr2, 
@@ -540,16 +352,10 @@ 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, 
@@ -561,13 +367,6 @@ parm_decl ptr1: ptr1, ptr2,
 pointer_type : ptr1, ptr2, 
 record_type : ptr1, ptr2, 
 identifier_node Data1: ptr1, ptr2, 
-field_decl val: 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, 
 integer_cst 64: ptr1, ptr2, 
 integer_cst 0: ptr1, ptr2, 
 eq_expr : ptr1, ptr2, 
@@ -597,16 +396,10 @@ 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, 
 test20.c: In function 'func6':
 test20.c:52:15: warning: Using variable 'ptr3' without checking for null pointer
@@ -620,9 +413,6 @@ 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, 
@@ -630,9 +420,6 @@ 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, 
 type_decl int: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_cst -2147483648: ptr1, ptr2, ptr3, 
@@ -644,24 +431,10 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-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 ptr3: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
@@ -669,16 +442,10 @@ 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, 
@@ -720,13 +487,6 @@ parm_decl ptr1: ptr1, ptr2,
 pointer_type : ptr1, ptr2, 
 record_type : ptr1, ptr2, 
 identifier_node Data1: ptr1, ptr2, 
-field_decl val: 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, 
 integer_cst 64: ptr1, ptr2, 
 integer_cst 0: ptr1, ptr2, 
 return_expr : ptr1, ptr2, 
@@ -746,24 +506,10 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
 test20.c: In function 'func7':
 test20.c:66:15: warning: Using parameter 'ptr1' without checking for null pointer
@@ -775,13 +521,6 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
@@ -803,9 +542,6 @@ 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, 
@@ -813,9 +549,6 @@ 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, 
 type_decl int: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_cst -2147483648: ptr1, ptr2, ptr3, 
@@ -842,16 +575,10 @@ 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, 
@@ -893,13 +620,6 @@ parm_decl ptr1: ptr1, ptr2,
 pointer_type : ptr1, ptr2, 
 record_type : ptr1, ptr2, 
 identifier_node Data1: ptr1, ptr2, 
-field_decl val: 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, 
 integer_cst 64: ptr1, ptr2, 
 integer_cst 0: ptr1, ptr2, 
 return_expr : ptr2, 
@@ -919,24 +639,10 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
 modify_expr : ptr1, ptr2, ptr3, 
 test20.c: In function 'func8':
 test20.c:81:15: warning: Using parameter 'ptr1' without checking for null pointer
@@ -948,13 +654,6 @@ 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, 
-type_decl int: ptr1, ptr2, ptr3, 
-integer_cst 32: ptr1, ptr2, ptr3, 
-integer_cst -2147483648: ptr1, ptr2, ptr3, 
-integer_cst 2147483647: ptr1, ptr2, ptr3, 
 integer_cst 64: ptr1, ptr2, ptr3, 
 field_decl val: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
@@ -976,9 +675,6 @@ 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, 
@@ -986,9 +682,6 @@ 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, 
 type_decl int: ptr1, ptr2, ptr3, 
 integer_cst 32: ptr1, ptr2, ptr3, 
 integer_cst -2147483648: ptr1, ptr2, ptr3, 
@@ -1015,13 +708,7 @@ 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,