Updates tests 24, 27, 28, 29 for new features. Update test results.

1 files changed, 705 insertions, 695 deletions

diff --git a/test/test24-03.txt b/test/test24-03.txt
index fdccda8..92a6311 100644
--- a/test/test24-03.txt
+++ b/test/test24-03.txt
@@ -50,734 +50,744 @@ function_decl func2:
 bind_expr : ptr1, 
 statement_list : ptr1, 
 decl_expr : ptr1, 
+var_decl fptr2: fptr2, ptr1, 
+call_expr : fptr2, ptr1, 
+var_decl fptr2: fptr2, ptr1, 
+parm_decl ptr1: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+record_type : fptr2, ptr1, 
+identifier_node Data1: fptr2, ptr1, 
+field_decl val: fptr2, ptr1, 
+integer_cst 32: fptr2, ptr1, 
+integer_type : fptr2, ptr1, 
+type_decl int: fptr2, ptr1, 
+integer_cst 32: fptr2, ptr1, 
+integer_cst -2147483648: fptr2, ptr1, 
+integer_cst 2147483647: fptr2, ptr1, 
+field_decl ptrval: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+record_type : fptr2, ptr1, 
+identifier_node Data1: fptr2, ptr1, 
+field_decl val: fptr2, ptr1, 
+integer_cst 32: fptr2, ptr1, 
+integer_type : fptr2, ptr1, 
+field_decl ptrval: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+field_decl arr: fptr2, ptr1, 
+integer_cst 96: fptr2, ptr1, 
+array_type : fptr2, ptr1, 
+field_decl fptr1: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+field_decl fptr2: fptr2, ptr1, 
+integer_cst 192: fptr2, ptr1, 
+array_type : fptr2, ptr1, 
+field_decl arr: fptr2, ptr1, 
+integer_cst 96: fptr2, ptr1, 
+array_type : fptr2, ptr1, 
+integer_type : fptr2, ptr1, 
+type_decl int: fptr2, ptr1, 
+integer_cst 32: fptr2, ptr1, 
+integer_cst -2147483648: fptr2, ptr1, 
+integer_cst 2147483647: fptr2, ptr1, 
+integer_type : fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+integer_cst 0: fptr2, ptr1, 
+integer_cst 2: fptr2, ptr1, 
+field_decl fptr1: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+type_decl FuncPtr2: fptr2, ptr1, 
+function_type : fptr2, ptr1, 
+void_type : fptr2, ptr1, 
+type_decl void: fptr2, ptr1, 
+tree_list : fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+tree_list : fptr2, ptr1, 
+field_decl fptr2: fptr2, ptr1, 
+integer_cst 192: fptr2, ptr1, 
+array_type : fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+type_decl FuncPtr2: fptr2, ptr1, 
+function_type : fptr2, ptr1, 
+void_type : fptr2, ptr1, 
+tree_list : fptr2, ptr1, 
+integer_type : fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+integer_cst 0: fptr2, ptr1, 
+integer_cst 2: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
 var_decl fptr2: ptr1, 
-call_expr : ptr1, 
-var_decl fptr2: ptr1, 
-parm_decl ptr1: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-integer_cst 64: ptr1, 
-var_decl fptr2: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-tree_list : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-block : ptr1, 
-var_decl fptr2: ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+type_decl FuncPtr2: fptr2, ptr1, 
+function_type : fptr2, ptr1, 
+void_type : fptr2, ptr1, 
+type_decl void: fptr2, ptr1, 
+tree_list : fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+record_type : fptr2, ptr1, 
+identifier_node Data1: fptr2, ptr1, 
+field_decl val: fptr2, ptr1, 
+integer_cst 32: fptr2, ptr1, 
+integer_type : fptr2, ptr1, 
+field_decl ptrval: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+field_decl arr: fptr2, ptr1, 
+integer_cst 96: fptr2, ptr1, 
+array_type : fptr2, ptr1, 
+field_decl fptr1: fptr2, ptr1, 
+integer_cst 64: fptr2, ptr1, 
+pointer_type : fptr2, ptr1, 
+field_decl fptr2: fptr2, ptr1, 
+integer_cst 192: fptr2, ptr1, 
+array_type : fptr2, ptr1, 
+tree_list : fptr2, ptr1, 
+void_type : fptr2, ptr1, 
+type_decl void: fptr2, ptr1, 
+block : fptr2, ptr1, 
+var_decl fptr2: fptr2, ptr1, 
 function_decl func3: 
 bind_expr : ptr1, 
 statement_list : ptr1, 
 decl_expr : ptr1, 
+var_decl data: data, ptr1, 
+call_expr : data, ptr1, 
+component_ref : data, ptr1, 
+test24.c: In function 'func3':
+test24.c:45:9: warning: Using variable 'data' without checking for null pointer
+     data->fptr1(ptr1);
+         ^
+indirect_ref : data, ptr1, 
+var_decl data: data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+tree_list : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+parm_decl ptr1: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+tree_list : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+tree_list : data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+integer_cst 64: data, ptr1, 
 var_decl data: ptr1, 
-call_expr : ptr1, 
-component_ref : ptr1, 
-indirect_ref : ptr1, 
-var_decl data: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-tree_list : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-parm_decl ptr1: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-integer_cst 64: ptr1, 
-var_decl data: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-block : ptr1, 
-var_decl data: ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+tree_list : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+tree_list : data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+block : data, ptr1, 
+var_decl data: data, ptr1, 
 function_decl func4: 
 bind_expr : ptr1, 
 statement_list : ptr1, 
 decl_expr : ptr1, 
-var_decl ptr2: ptr1, 
-call_expr : ptr1, 
-component_ref : ptr1, 
+var_decl ptr2: ptr1, ptr2, 
+call_expr : ptr1, ptr2, 
+component_ref : ptr1, ptr2, 
 test24.c: In function 'func4':
 test24.c:51:9: warning: Using parameter 'ptr1' without checking for null pointer
      ptr1->fptr1(ptr2);
          ^
-indirect_ref : ptr1, 
-parm_decl ptr1: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-integer_cst 64: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-tree_list : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-var_decl ptr2: ptr1, 
-var_decl ptr2: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-block : ptr1, 
+indirect_ref : ptr1, ptr2, 
+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, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: 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, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+field_decl fptr1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+field_decl fptr2: ptr1, ptr2, 
+integer_cst 192: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+array_type : 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_type : ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+integer_cst 2: ptr1, ptr2, 
+field_decl fptr1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+type_decl FuncPtr2: ptr1, ptr2, 
+function_type : ptr1, ptr2, 
+void_type : ptr1, ptr2, 
+type_decl void: ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+field_decl fptr2: ptr1, ptr2, 
+integer_cst 192: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+type_decl FuncPtr2: ptr1, ptr2, 
+function_type : ptr1, ptr2, 
+void_type : ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+integer_cst 2: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+field_decl fptr1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+type_decl FuncPtr2: ptr1, ptr2, 
+function_type : ptr1, ptr2, 
+void_type : ptr1, ptr2, 
+type_decl void: ptr1, ptr2, 
+tree_list : 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, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+field_decl fptr1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+field_decl fptr2: ptr1, ptr2, 
+integer_cst 192: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+void_type : ptr1, ptr2, 
+type_decl void: ptr1, ptr2, 
+var_decl ptr2: ptr1, ptr2, 
 var_decl ptr2: ptr1, 
+integer_cst 64: 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, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: 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, 
+field_decl ptrval: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+field_decl fptr1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+field_decl fptr2: ptr1, ptr2, 
+integer_cst 192: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+field_decl arr: ptr1, ptr2, 
+integer_cst 96: ptr1, ptr2, 
+array_type : 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_type : ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+integer_cst 2: ptr1, ptr2, 
+field_decl fptr1: ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+type_decl FuncPtr2: ptr1, ptr2, 
+function_type : ptr1, ptr2, 
+void_type : ptr1, ptr2, 
+type_decl void: ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+field_decl fptr2: ptr1, ptr2, 
+integer_cst 192: ptr1, ptr2, 
+array_type : ptr1, ptr2, 
+pointer_type : ptr1, ptr2, 
+type_decl FuncPtr2: ptr1, ptr2, 
+function_type : ptr1, ptr2, 
+void_type : ptr1, ptr2, 
+tree_list : ptr1, ptr2, 
+integer_type : ptr1, ptr2, 
+integer_cst 64: ptr1, ptr2, 
+integer_cst 0: ptr1, ptr2, 
+integer_cst 2: ptr1, ptr2, 
+block : ptr1, ptr2, 
+var_decl ptr2: ptr1, ptr2, 
 function_decl func5: 
 bind_expr : ptr1, 
 statement_list : ptr1, 
 decl_expr : ptr1, 
-var_decl data: ptr1, 
-call_expr : ptr1, 
-array_ref : ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 8: ptr1, 
-component_ref : ptr1, 
-indirect_ref : ptr1, 
-var_decl data: ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-tree_list : ptr1, 
-void_type : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-integer_cst 1: ptr1, 
+var_decl data: data, ptr1, 
+call_expr : data, ptr1, 
+array_ref : data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 8: data, ptr1, 
+component_ref : data, ptr1, 
 test24.c: In function 'func5':
+test24.c:58:11: warning: Using variable 'data' without checking for null pointer
+     (*data->fptr2[1])(ptr1);
+           ^
+indirect_ref : data, ptr1, 
+var_decl data: data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+tree_list : data, ptr1, 
+void_type : data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+integer_cst 1: data, ptr1, 
 test24.c:58:5: warning: Using parameter 'ptr1' without checking for null pointer
      (*data->fptr2[1])(ptr1);
      ^
-parm_decl ptr1: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-integer_cst 64: ptr1, 
-var_decl data: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-block : ptr1, 
+parm_decl ptr1: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+tree_list : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+tree_list : data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+integer_cst 64: data, ptr1, 
 var_decl data: ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+tree_list : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+tree_list : data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+block : data, ptr1, 
+var_decl data: data, ptr1, 
 function_decl func6: 
 bind_expr : ptr1, 
 statement_list : ptr1, 
 decl_expr : ptr1, 
-var_decl data: ptr1, 
-call_expr : ptr1, 
-indirect_ref : ptr1, 
-pointer_plus_expr : ptr1, 
+var_decl data: data, ptr1, 
+call_expr : data, ptr1, 
+indirect_ref : data, ptr1, 
+pointer_plus_expr : data, ptr1, 
 test24.c: In function 'func6':
 test24.c:64:11: warning: Using parameter 'ptr1' without checking for null pointer
      (*ptr1[1])(data);
            ^
-parm_decl ptr1: ptr1, 
-pointer_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-tree_list : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 8: ptr1, 
-var_decl data: ptr1, 
-var_decl data: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-record_type : ptr1, 
-identifier_node Data1: ptr1, 
-field_decl val: ptr1, 
-integer_cst 32: ptr1, 
-integer_type : ptr1, 
-field_decl ptrval: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-field_decl arr: ptr1, 
-integer_cst 96: ptr1, 
-array_type : ptr1, 
-integer_type : ptr1, 
-type_decl int: ptr1, 
-integer_cst 32: ptr1, 
-integer_cst -2147483648: ptr1, 
-integer_cst 2147483647: ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-field_decl fptr1: ptr1, 
-integer_cst 64: ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-type_decl void: ptr1, 
-tree_list : ptr1, 
-pointer_type : ptr1, 
-tree_list : ptr1, 
-field_decl fptr2: ptr1, 
-integer_cst 192: ptr1, 
-array_type : ptr1, 
-pointer_type : ptr1, 
-type_decl FuncPtr2: ptr1, 
-function_type : ptr1, 
-void_type : ptr1, 
-tree_list : ptr1, 
-integer_type : ptr1, 
-integer_cst 64: ptr1, 
-integer_cst 0: ptr1, 
-integer_cst 2: ptr1, 
-block : ptr1, 
+parm_decl ptr1: data, ptr1, 
+pointer_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+tree_list : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 8: data, ptr1, 
+test24.c:64:5: warning: Using variable 'data' without checking for null pointer
+     (*ptr1[1])(data);
+     ^
+var_decl data: data, ptr1, 
 var_decl data: ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+record_type : data, ptr1, 
+identifier_node Data1: data, ptr1, 
+field_decl val: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_type : data, ptr1, 
+field_decl ptrval: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+field_decl arr: data, ptr1, 
+integer_cst 96: data, ptr1, 
+array_type : data, ptr1, 
+integer_type : data, ptr1, 
+type_decl int: data, ptr1, 
+integer_cst 32: data, ptr1, 
+integer_cst -2147483648: data, ptr1, 
+integer_cst 2147483647: data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+field_decl fptr1: data, ptr1, 
+integer_cst 64: data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+type_decl void: data, ptr1, 
+tree_list : data, ptr1, 
+pointer_type : data, ptr1, 
+tree_list : data, ptr1, 
+field_decl fptr2: data, ptr1, 
+integer_cst 192: data, ptr1, 
+array_type : data, ptr1, 
+pointer_type : data, ptr1, 
+type_decl FuncPtr2: data, ptr1, 
+function_type : data, ptr1, 
+void_type : data, ptr1, 
+tree_list : data, ptr1, 
+integer_type : data, ptr1, 
+integer_cst 64: data, ptr1, 
+integer_cst 0: data, ptr1, 
+integer_cst 2: data, ptr1, 
+block : data, ptr1, 
+var_decl data: data, ptr1, 
 function_decl test1: 
 bind_expr : w1, w2, 
 statement_list : w1, w2,