function_decl ftest1: 
bind_expr : 
return_expr : 
modify_expr : 
result_decl : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 32: 
integer_cst 1: 
block : 
function_decl ftest2: 
bind_expr : ptr0, 
return_expr : ptr0, 
modify_expr : ptr0, 
result_decl : ptr0, 
integer_type : ptr0, 
type_decl int: ptr0, 
integer_cst 32: ptr0, 
integer_cst -2147483648: ptr0, 
integer_cst 2147483647: ptr0, 
integer_cst 32: ptr0, 
integer_cst 1: ptr0, 
block : ptr0, 
function_decl ftest3: 
bind_expr : ptr0, 
statement_list : ptr0, 
block : ptr0, 
function_decl func1: 
bind_expr : ptr1, 
call_expr : ptr1, 
parm_decl ptr1: ptr1, 
pointer_type : ptr1, 
type_decl FuncPtr1: ptr1, 
function_type : ptr1, 
void_type : ptr1, 
type_decl void: ptr1, 
tree_list : ptr1, 
void_type : ptr1, 
type_decl void: ptr1, 
integer_cst 64: ptr1, 
test24.c: In function 'func1':
test24.c:33:5: warning: Using variable 'ptr1' without checking for null pointer
     ptr1();
     ^
block : ptr1, 
function_decl func2: 
bind_expr : ptr1, 
statement_list : ptr1, 
decl_expr : ptr1, 
var_decl fptr2: 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, 
tree_list : fptr2, ptr1, 
void_type : fptr2, ptr1, 
call_expr : fptr2, ptr1, 
var_decl fptr2: 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, 
tree_list : fptr2, ptr1, 
void_type : fptr2, ptr1, 
parm_decl ptr1: fptr2, ptr1, 
pointer_type : fptr2, ptr1, 
record_type : fptr2, ptr1, 
identifier_node Data1: fptr2, ptr1, 
integer_cst 64: fptr2, 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, 
tree_list : fptr2, ptr1, 
void_type : fptr2, ptr1, 
block : fptr2, ptr1, 
var_decl fptr2: 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, 
tree_list : fptr2, ptr1, 
void_type : fptr2, ptr1, 
function_decl func3: 
bind_expr : ptr1, 
statement_list : ptr1, 
decl_expr : ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
call_expr : data, ptr1, 
component_ref : data, ptr1, 
indirect_ref : data, ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: 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, 
tree_list : data, ptr1, 
void_type : data, ptr1, 
test24.c: In function 'func3':
test24.c:45:5: warning: Using variable 'data' without checking for null pointer
     data->fptr1(ptr1);
     ^
test24.c:45:5: warning: Using variable 'data->fptr1' without checking for null pointer
parm_decl ptr1: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: 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, 
block : data, ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
function_decl func4: 
bind_expr : ptr1, 
statement_list : ptr1, 
decl_expr : ptr1, 
var_decl ptr2: ptr1, ptr2, 
integer_cst 64: ptr1, ptr2, 
pointer_type : ptr1, ptr2, 
record_type : ptr1, ptr2, 
identifier_node Data1: ptr1, ptr2, 
call_expr : ptr1, ptr2, 
component_ref : ptr1, ptr2, 
indirect_ref : ptr1, ptr2, 
parm_decl ptr1: ptr1, ptr2, 
pointer_type : ptr1, ptr2, 
record_type : ptr1, ptr2, 
identifier_node Data1: 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, 
tree_list : ptr1, ptr2, 
void_type : ptr1, ptr2, 
test24.c: In function 'func4':
test24.c:51:5: warning: Using variable 'ptr1' without checking for null pointer
     ptr1->fptr1(ptr2);
     ^
test24.c:51:5: warning: Using variable 'ptr1->fptr1' without checking for null pointer
var_decl ptr2: ptr1, ptr2, 
integer_cst 64: ptr1, ptr2, 
pointer_type : ptr1, ptr2, 
record_type : ptr1, ptr2, 
identifier_node Data1: ptr1, ptr2, 
var_decl ptr2: ptr1, 
integer_cst 64: ptr1, ptr2, 
pointer_type : ptr1, ptr2, 
record_type : ptr1, ptr2, 
identifier_node Data1: ptr1, ptr2, 
block : ptr1, ptr2, 
var_decl ptr2: ptr1, ptr2, 
integer_cst 64: ptr1, ptr2, 
pointer_type : ptr1, ptr2, 
record_type : ptr1, ptr2, 
identifier_node Data1: ptr1, ptr2, 
function_decl func5: 
bind_expr : ptr1, 
statement_list : ptr1, 
decl_expr : ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
call_expr : data, ptr1, 
array_ref : data, ptr1, 
test24.c: In function 'func5':
test24.c:58:5: warning: Using variable 'data' without checking for null pointer
     (*data->fptr2[1])(ptr1);
     ^
test24.c:58:5: warning: Using variable 'data->fptr2' without checking for null pointer
integer_cst 0: data, ptr1, 
integer_cst 8: data, ptr1, 
component_ref : data, ptr1, 
indirect_ref : data, ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: 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 variable 'data' without checking for null pointer
test24.c:58:5: warning: Using variable 'data->fptr2' without checking for null pointer
test24.c:58:5: warning: Using variable 'ptr1' without checking for null pointer
parm_decl ptr1: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: 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, 
block : data, ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
function_decl func6: 
bind_expr : ptr1, 
statement_list : ptr1, 
decl_expr : ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: 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 variable 'ptr1' without checking for null pointer
     (*ptr1[1])(data);
           ^
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, 
tree_list : 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, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
var_decl data: ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
block : data, ptr1, 
var_decl data: data, ptr1, 
integer_cst 64: data, ptr1, 
pointer_type : data, ptr1, 
record_type : data, ptr1, 
identifier_node Data1: data, ptr1, 
function_decl test1: 
bind_expr : w1, w2, 
statement_list : w1, w2, 
block : w1, w2, 
function_decl func7: 
bind_expr : w1, w2, 
statement_list : w1, w2, 
decl_expr : w1, w2, 
var_decl fptr: w1, w2, 
integer_cst 64: w1, w2, 
constructor : w1, w2, 
array_type : w1, w2, 
pointer_type : w1, w2, 
function_type : w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
integer_type : w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
tree_list : w1, w2, 
integer_type : w1, w2, 
integer_cst 64: w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 0: w1, w2, 
addr_expr : w1, w2, 
function_decl test1: w1, w2, 
bind_expr : w1, w2, 
statement_list : w1, w2, 
block : w1, w2, 
array_type : w1, w2, 
pointer_type : w1, w2, 
function_type : w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
integer_type : w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
tree_list : w1, w2, 
integer_type : w1, w2, 
integer_cst 64: w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 0: w1, w2, 
decl_expr : w1, w2, 
var_decl i: w1, w2, 
integer_cst 32: w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
modify_expr : w1, w2, 
var_decl i: w1, w2, 
integer_cst 32: w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
integer_cst 0: w1, w2, 
goto_expr : w1, w2, 
label_expr : w1, w2, 
label_decl : w1, w2, 
cond_expr : w1, w2, 
ne_expr : w1, w2, 
integer_cst 0: w1, w2, 
call_expr : w1, w2, 
array_ref : w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 8: w1, w2, 
var_decl fptr: w1, w2, 
integer_cst 64: w1, w2, 
constructor : w1, w2, 
array_type : w1, w2, 
pointer_type : w1, w2, 
function_type : w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
integer_type : w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
tree_list : w1, w2, 
integer_type : w1, w2, 
integer_cst 64: w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 0: w1, w2, 
addr_expr : w1, w2, 
function_decl test1: w1, w2, 
bind_expr : w1, w2, 
statement_list : w1, w2, 
block : w1, w2, 
array_type : w1, w2, 
pointer_type : w1, w2, 
function_type : w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
integer_type : w1, w2, 
tree_list : w1, w2, 
pointer_type : w1, w2, 
tree_list : w1, w2, 
integer_type : w1, w2, 
integer_cst 64: w1, w2, 
integer_cst 0: w1, w2, 
integer_cst 0: w1, w2, 
var_decl i: w1, w2, 
integer_cst 32: w1, w2, 
integer_type : w1, w2, 
type_decl int: w1, w2, 
integer_cst 32: w1, w2, 
integer_cst -2147483648: w1, w2, 
integer_cst 2147483647: w1, w2, 
test24.c: In function 'func7':
test24.c:80:13: warning: Using variable 'w1' without checking for null pointer
         if ((*fptr[i])(w1,w2))
             ^
parm_decl w1: w1, w2, 
pointer_type : w1, w2, 
integer_type : w1, w2, 
type_decl char: w1, w2, 
integer_cst 8: w1, w2, 
integer_cst -128: w1, w2, 
integer_cst 127: w1, w2, 
integer_cst 64: w1, w2, 
parm_decl w2: w1, w2, 
pointer_type : w1, w2, 
integer_type : w1, w2, 
type_decl char: w1, w2, 
integer_cst 8: w1, w2, 
integer_cst -128: w1, w2, 
integer_cst 127: w1, w2, 
integer_cst 64: w1, w2, 
integer_cst 0: w1, w2, 
goto_expr : w1, w2, 
postincrement_expr : w1, w2, 
var_decl i: 
integer_cst 32: 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 1: 
label_expr : w1, w2, 
label_decl : 
cond_expr : w1, w2, 
le_expr : 
var_decl i: 
integer_cst 32: 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 9: 
goto_expr : w1, w2, 
goto_expr : w1, w2, 
label_expr : w1, w2, 
label_decl : 
var_decl fptr: w1, w2, 
integer_cst 64: 
constructor : 
array_type : 
pointer_type : 
function_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
tree_list : 
pointer_type : 
integer_type : 
tree_list : 
pointer_type : 
tree_list : 
integer_type : 
integer_cst 64: 
integer_cst 0: 
integer_cst 0: 
integer_cst 0: 
addr_expr : 
function_decl test1: 
bind_expr : w1, w2, 
statement_list : 
block : 
array_type : 
pointer_type : 
function_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
tree_list : 
pointer_type : 
integer_type : 
tree_list : 
pointer_type : 
tree_list : 
integer_type : 
integer_cst 64: 
integer_cst 0: 
integer_cst 0: 
block : w1, w2, 
var_decl fptr: 
integer_cst 64: 
constructor : 
array_type : 
pointer_type : 
function_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
tree_list : 
pointer_type : 
integer_type : 
tree_list : 
pointer_type : 
tree_list : 
integer_type : 
integer_cst 64: 
integer_cst 0: 
integer_cst 0: 
integer_cst 0: 
addr_expr : 
function_decl test1: 
bind_expr : w1, w2, 
statement_list : 
block : 
array_type : 
pointer_type : 
function_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
tree_list : 
pointer_type : 
integer_type : 
tree_list : 
pointer_type : 
tree_list : 
integer_type : 
integer_cst 64: 
integer_cst 0: 
integer_cst 0: 
var_decl i: 
integer_cst 32: 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
function_decl func8: 
bind_expr : fptr, 
call_expr : fptr, 
indirect_ref : fptr, 
pointer_plus_expr : fptr, 
test24.c: In function 'func8':
test24.c:87:9: warning: Using variable 'fptr' without checking for null pointer
     fptr[1]("", "");
         ^
parm_decl fptr: fptr, 
pointer_type : fptr, 
pointer_type : fptr, 
function_type : fptr, 
integer_type : fptr, 
type_decl int: fptr, 
integer_cst 32: fptr, 
integer_cst -2147483648: fptr, 
integer_cst 2147483647: fptr, 
tree_list : fptr, 
pointer_type : fptr, 
tree_list : fptr, 
integer_cst 64: fptr, 
integer_cst 8: fptr, 
addr_expr : fptr, 
string_cst : fptr, 
addr_expr : fptr, 
string_cst : fptr, 
block : fptr,