function_decl func1:
bind_expr : b,
modify_expr : b,
test13.c: In function 'func1':
test13.c:12:8: warning: Using parameter 'b' without checking for null pointer
*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,
block : b,
function_decl func2:
bind_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test13.c: In function 'func2':
test13.c:17:9: warning: Using parameter 'b' without checking for null pointer
*(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,
block : b,
function_decl func3:
bind_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test13.c: In function 'func3':
test13.c:22:9: warning: Using parameter 'b' without checking for null pointer
*(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,
block : b,
function_decl func5:
bind_expr : b,
statement_list : b,
decl_expr : b,
var_decl var1: b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test13.c: In function 'func5':
test13.c:28:12: warning: Using parameter 'b' without checking for null pointer
*(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,
mult_expr : b,
var_decl var1: b,
integer_cst 4: b,
integer_cst 400: 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,
block : b,
var_decl var1: b,
function_decl func6:
bind_expr : b,
statement_list : b,
decl_expr : b,
var_decl var2: b, var2,
modify_expr : b, var2,
test13.c: In function 'func6':
test13.c:34:11: warning: Using variable 'var2' without checking for null pointer
*var2 = 500;
^
indirect_ref : b, var2,
var_decl var2: b, var2,
integer_cst 500: b, var2,
var_decl var2: b,
integer_cst 64: b, var2,
parm_decl b: b, var2,
pointer_type : b, var2,
integer_type : b, var2,
type_decl int: b, var2,
integer_cst 32: b, var2,
integer_cst -2147483648: b, var2,
integer_cst 2147483647: b, var2,
block : b, var2,
var_decl var2: b, var2,
function_decl func7:
bind_expr : b,
statement_list : b,
decl_expr : b,
var_decl var3: b,
modify_expr : b,
indirect_ref : b,
var_decl var3: b,
integer_cst 600: b,
var_decl var3: b,
integer_cst 64: b,
pointer_plus_expr : b,
test13.c: In function 'func7':
test13.c:39:20: warning: Using parameter 'b' without checking for null pointer
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,
block : b,
var_decl var3: b,
function_decl func8:
bind_expr : bptr,
statement_list : bptr,
decl_expr : bptr,
var_decl var4: bptr,
modify_expr : bptr,
indirect_ref : bptr,
indirect_ref : bptr,
var_decl var4: bptr,
integer_cst 700: bptr,
var_decl var4: bptr,
integer_cst 64: bptr,
addr_expr : bptr,
test13.c: In function 'func8':
test13.c:45:18: warning: Using parameter 'bptr' without checking for null pointer
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,
block : bptr,
var_decl var4: bptr,
