function_decl func1:
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
test5.c: In function 'void func1(int, int*, char)':
test5.c:12:13: warning: Using variable without check for NULL
*b = 100;
^
indirect_ref : b,
parm_decl b: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
integer_cst 64: b,
integer_cst 100: b,
function_decl func2:
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test5.c: In function 'void func2(int, int*, char)':
test5.c:17:9: warning: Using variable without check for NULL
*(1 + b) = 200;
^
parm_decl b: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
integer_cst 64: b,
integer_cst 4: b,
integer_cst 200: b,
function_decl func3:
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test5.c: In function 'void func3(int, int*, char)':
test5.c:22:9: warning: Using variable without check for NULL
*(1 + (1 + b)) = 300;
^
parm_decl b: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
integer_cst 64: b,
integer_cst 8: b,
integer_cst 300: b,
function_decl func5:
bind_expr : b,
var_decl var1: b,
integer_cst 32: b,
integer_cst 1: b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
statement_list : b,
cleanup_point_expr : b,
decl_expr : b,
var_decl var1: b,
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test5.c: In function 'void func5(int, int*, char)':
test5.c:28:12: warning: Using variable without check for NULL
*(var1 + b) = 400;
^
parm_decl b: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
integer_cst 64: b,
nop_expr : b,
mult_expr : b,
nop_expr : b,
var_decl var1: b,
integer_cst 4: b,
integer_cst 400: b,
block : b,
var_decl var1: b,
function_decl func6:
bind_expr : b,
var_decl var2: b,
test5.c: In function 'void func6(int, int*, char)':
test5.c:33:10: warning: Using variable without check for NULL
int *var2 = b;
^
integer_cst 64: b,
parm_decl b: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
statement_list : b,
decl_expr : b,
var_decl var2: b,
test5.c:33:10: warning: Using variable without check for NULL
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
var_decl var2: b,
test5.c:33:10: warning: Using variable without check for NULL
integer_cst 500: b,
block : b,
var_decl var2: b,
test5.c:33:10: warning: Using variable without check for NULL
function_decl func7:
bind_expr : b,
var_decl var3: b,
integer_cst 64: b,
pointer_plus_expr : b,
test5.c: In function 'void func7(int, int*, char)':
test5.c:39:20: warning: Using variable without check for NULL
int *var3 = 12 + b;
^
parm_decl b: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
integer_cst 64: b,
integer_cst 48: b,
pointer_type : b,
integer_type : b,
type_decl int: b,
integer_cst 32: b,
integer_cst -2147483648: b,
integer_cst 2147483647: b,
statement_list : b,
decl_expr : b,
var_decl var3: b,
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
var_decl var3: b,
integer_cst 600: b,
block : b,
var_decl var3: b,
function_decl func8:
bind_expr : bptr,
var_decl var4: bptr,
integer_cst 64: bptr,
addr_expr : bptr,
test5.c: In function 'void func8(int, int*, char)':
test5.c:45:11: warning: Using variable without check for NULL
int **var4 = &bptr;
^
parm_decl bptr: bptr,
pointer_type : bptr,
integer_type : bptr,
type_decl int: bptr,
integer_cst 32: bptr,
integer_cst -2147483648: bptr,
integer_cst 2147483647: bptr,
integer_cst 64: bptr,
pointer_type : bptr,
pointer_type : bptr,
integer_type : bptr,
type_decl int: bptr,
integer_cst 32: bptr,
integer_cst -2147483648: bptr,
integer_cst 2147483647: bptr,
statement_list : bptr,
decl_expr : bptr,
var_decl var4: bptr,
cleanup_point_expr : bptr,
expr_stmt : bptr,
convert_expr : bptr,
modify_expr : bptr,
indirect_ref : bptr,
indirect_ref : bptr,
var_decl var4: bptr,
integer_cst 700: bptr,
block : bptr,
var_decl var4: bptr,
