function_decl func1: 
cleanup_point_expr : a, 
expr_stmt : a, 
convert_expr : a, 
modify_expr : a, 
test6.c: In function 'void func1(int*)':
test6.c:12:13: warning: Using variable without check for NULL
     *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, 
function_decl func2: 
if_stmt : a, 
return_expr : a, 
cleanup_point_expr : 
expr_stmt : 
convert_expr : 
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: 
function_decl func3: 
statement_list : a, 
if_stmt : a, 
return_expr : a, 
cleanup_point_expr : a, 
expr_stmt : 
convert_expr : 
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 300: 
function_decl func4: 
if_stmt : a, 
cleanup_point_expr : 
expr_stmt : 
convert_expr : 
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: 
function_decl func5: 
statement_list : a, 
if_stmt : a, 
cleanup_point_expr : 
expr_stmt : 
convert_expr : 
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: 
cleanup_point_expr : a, 
expr_stmt : a, 
convert_expr : a, 
modify_expr : a, 
test6.c: In function 'void func5(int*)':
test6.c:45:13: warning: Using variable without check for NULL
     *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, 
function_decl func6: 
bind_expr : a, 
statement_list : a, 
bind_expr : a, 
if_stmt : a, 
bind_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, 
statement_list : a, 
cleanup_point_expr : a, 
decl_expr : a, 
var_decl k: a, 
return_expr : a, 
block : a, 
var_decl k: a, 
block : a, 
block : 
var_decl k: 
cleanup_point_expr : a, 
expr_stmt : 
convert_expr : 
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 700: 
block : a, 
block : 
block : 
var_decl k: 
function_decl func7: 
bind_expr : aptr, 
statement_list : aptr, 
bind_expr : aptr, 
if_stmt : aptr, 
bind_expr : aptr, 
bind_expr : aptr, 
if_stmt : aptr, 
bind_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, 
statement_list : aptr, 
cleanup_point_expr : aptr, 
decl_expr : aptr, 
var_decl k: aptr, 
return_expr : aptr, 
block : aptr, 
var_decl k: aptr, 
block : aptr, 
block : 
var_decl k: 
block : aptr, 
block : 
block : 
var_decl k: 
block : aptr, 
block : aptr, 
block : aptr, 
block : aptr, 
var_decl k: aptr, 
cleanup_point_expr : aptr, 
expr_stmt : aptr, 
convert_expr : aptr, 
modify_expr : aptr, 
test6.c: In function 'void func7(int*)':
test6.c:70:16: warning: Using variable without check for NULL
     *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, 
block : aptr, 
block : aptr, 
block : aptr, 
var_decl k: aptr, 
function_decl func8: 
bind_expr : aptr, 
statement_list : aptr, 
bind_expr : aptr, 
if_stmt : aptr, 
bind_expr : aptr, 
statement_list : aptr, 
bind_expr : aptr, 
if_stmt : aptr, 
bind_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, 
statement_list : aptr, 
cleanup_point_expr : aptr, 
decl_expr : aptr, 
var_decl k: aptr, 
cleanup_point_expr : 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, 
block : aptr, 
var_decl k: aptr, 
var_decl l: aptr, 
block : aptr, 
block : aptr, 
var_decl k: aptr, 
var_decl l: aptr, 
return_expr : aptr, 
block : aptr, 
block : aptr, 
block : aptr, 
var_decl k: aptr, 
var_decl l: aptr, 
block : aptr, 
block : 
block : 
block : 
var_decl k: 
var_decl l: 
cleanup_point_expr : aptr, 
expr_stmt : 
convert_expr : 
modify_expr : 
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 : 
block : 
block : 
block : 
var_decl k: 
var_decl l: