function_decl func1:
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
test05.cpp: In function 'void func1(int, int*, char)':
test05.cpp:12:13: 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,
function_decl func2:
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test05.cpp: In function 'void func2(int, int*, char)':
test05.cpp: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,
function_decl func3:
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : b,
modify_expr : b,
indirect_ref : b,
pointer_plus_expr : b,
test05.cpp: In function 'void func3(int, int*, char)':
test05.cpp: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,
function_decl func5:
bind_expr : 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,
test05.cpp: In function 'void func5(int, int*, char)':
test05.cpp: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,
cleanup_point_expr : b, var2,
expr_stmt : b, var2,
convert_expr : b, var2,
modify_expr : b, var2,
test05.cpp: In function 'void func6(int, int*, char)':
test05.cpp:34:16: 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,
cleanup_point_expr : b,
expr_stmt : b,
convert_expr : 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,
test05.cpp: In function 'void func7(int, int*, char)':
test05.cpp: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,
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,
var_decl var4: bptr,
integer_cst 64: bptr,
addr_expr : bptr,
test05.cpp: In function 'void func8(int, int*, char)':
test05.cpp:45:11: 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,
