function_decl func1: 
bind_expr : a, 
modify_expr : a, 
test14.c: In function 'func1':
test14.c:12:8: warning: Using parameter 'a' without checking for null pointer
     *a = 100;
        ^
indirect_ref : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 100: a, 
block : a, 
function_decl func2: 
bind_expr : a, 
cond_expr : a, 
eq_expr : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 0: a, 
return_expr : a, 
modify_expr : 
indirect_ref : 
parm_decl a: 
pointer_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 64: 
integer_cst 200: 
block : 
function_decl func3: 
bind_expr : a, 
statement_list : a, 
cond_expr : a, 
eq_expr : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 0: a, 
return_expr : a, 
modify_expr : a, 
indirect_ref : 
parm_decl a: 
pointer_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 64: 
integer_cst 300: 
block : a, 
function_decl func4: 
bind_expr : a, 
cond_expr : a, 
ne_expr : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 0: a, 
modify_expr : 
indirect_ref : 
parm_decl a: 
pointer_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 64: 
integer_cst 400: 
block : a, 
function_decl func5: 
bind_expr : a, 
statement_list : a, 
cond_expr : a, 
ne_expr : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 0: a, 
modify_expr : 
indirect_ref : 
parm_decl a: 
pointer_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 64: 
integer_cst 500: 
modify_expr : a, 
test14.c: In function 'func5':
test14.c:45:8: warning: Using parameter 'a' without checking for null pointer
     *a = 600;
        ^
indirect_ref : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 600: a, 
block : a, 
function_decl func6: 
bind_expr : a, 
statement_list : a, 
cond_expr : a, 
eq_expr : a, 
parm_decl a: a, 
pointer_type : a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
integer_cst 64: a, 
integer_cst 0: a, 
bind_expr : a, 
statement_list : a, 
decl_expr : a, 
var_decl k: a, 
integer_cst 32: a, 
integer_cst 10: a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
return_expr : a, 
var_decl k: a, 
integer_cst 32: a, 
integer_cst 10: a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
block : a, 
var_decl k: a, 
integer_cst 32: a, 
integer_cst 10: a, 
integer_type : a, 
type_decl int: a, 
integer_cst 32: a, 
integer_cst -2147483648: a, 
integer_cst 2147483647: a, 
modify_expr : a, 
indirect_ref : 
parm_decl a: 
pointer_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 64: 
integer_cst 700: 
block : a, 
block : 
var_decl k: 
integer_cst 32: 
integer_cst 10: 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
function_decl func7: 
bind_expr : aptr, 
statement_list : aptr, 
cond_expr : aptr, 
integer_cst 0: aptr, 
cond_expr : aptr, 
eq_expr : aptr, 
parm_decl aptr: aptr, 
pointer_type : aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
integer_cst 64: aptr, 
integer_cst 0: aptr, 
bind_expr : aptr, 
statement_list : aptr, 
decl_expr : aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
return_expr : aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
block : aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
modify_expr : aptr, 
test14.c: In function 'func7':
test14.c:70:11: warning: Using parameter 'aptr' without checking for null pointer
     *aptr = 800;
           ^
indirect_ref : aptr, 
parm_decl aptr: aptr, 
pointer_type : aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
integer_cst 64: aptr, 
integer_cst 800: aptr, 
block : aptr, 
block : aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
function_decl func8: 
bind_expr : aptr, 
statement_list : aptr, 
cond_expr : aptr, 
eq_expr : aptr, 
parm_decl aptr: aptr, 
pointer_type : aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
integer_cst 64: aptr, 
integer_cst 0: aptr, 
statement_list : aptr, 
cond_expr : aptr, 
integer_cst 0: aptr, 
bind_expr : aptr, 
statement_list : aptr, 
decl_expr : aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
decl_expr : aptr, 
var_decl l: aptr, 
integer_cst 32: aptr, 
integer_cst 20: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
block : aptr, 
var_decl k: aptr, 
integer_cst 32: aptr, 
integer_cst 10: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
var_decl l: aptr, 
integer_cst 32: aptr, 
integer_cst 20: aptr, 
integer_type : aptr, 
type_decl int: aptr, 
integer_cst 32: aptr, 
integer_cst -2147483648: aptr, 
integer_cst 2147483647: aptr, 
return_expr : aptr, 
modify_expr : aptr, 
indirect_ref : 
parm_decl aptr: 
pointer_type : 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
integer_cst 64: 
integer_cst 900: 
block : aptr, 
block : 
var_decl k: 
integer_cst 32: 
integer_cst 10: 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: 
var_decl l: 
integer_cst 32: 
integer_cst 20: 
integer_type : 
type_decl int: 
integer_cst 32: 
integer_cst -2147483648: 
integer_cst 2147483647: