function_decl func1: 
expr_stmt : b, 
convert_expr : b, 
modify_expr : b, 
test05.cpp: In function 'void func1(int, int*, char)':
test05.cpp:12:13: warning: Using variable '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: 
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 variable '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: 
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 variable '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, 
decl_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, 
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 variable '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 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, 
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, 
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, 
function_decl func6: 
bind_expr : b, 
statement_list : b, 
decl_expr : b, 
var_decl var2: b, var2, 
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, 
integer_cst 64: 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, 
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 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, 
integer_cst 64: 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, 
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, 
integer_cst 64: 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, 
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, 
integer_cst 64: 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, 
function_decl func7: 
bind_expr : b, 
statement_list : b, 
decl_expr : b, 
pointer_plus_expr : b, 
test05.cpp: In function 'void func7(int, int*, char)':
test05.cpp:39:20: warning: Using variable '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, 
var_decl var3: b, 
integer_cst 64: b, 
pointer_plus_expr : b, 
test05.cpp:39:20: warning: Using variable 'b' without checking for null pointer
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, 
expr_stmt : b, 
convert_expr : b, 
modify_expr : b, 
indirect_ref : b, 
var_decl var3: b, 
integer_cst 64: b, 
pointer_plus_expr : b, 
test05.cpp:39:20: warning: Using variable 'b' without checking for null pointer
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, 
integer_cst 600: b, 
var_decl var3: b, 
integer_cst 64: b, 
pointer_plus_expr : b, 
test05.cpp:39:20: warning: Using variable 'b' without checking for null pointer
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, 
integer_cst 64: b, 
pointer_plus_expr : b, 
test05.cpp:39:20: warning: Using variable 'b' without checking for null pointer
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, 
pointer_plus_expr : b, 
test05.cpp:39:20: warning: Using variable 'b' without checking for null pointer
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, 
function_decl func8: 
bind_expr : bptr, 
statement_list : bptr, 
decl_expr : 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 variable '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, 
expr_stmt : bptr, 
convert_expr : bptr, 
modify_expr : bptr, 
indirect_ref : bptr, 
indirect_ref : bptr, 
var_decl var4: bptr, 
integer_cst 64: bptr, 
addr_expr : bptr, 
test05.cpp:45:11: warning: Using variable 'bptr' without checking for null pointer
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, 
integer_cst 700: bptr, 
var_decl var4: bptr, 
integer_cst 64: bptr, 
addr_expr : bptr, 
test05.cpp:45:11: warning: Using variable 'bptr' without checking for null pointer
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, 
integer_cst 64: bptr, 
addr_expr : bptr, 
test05.cpp:45:11: warning: Using variable 'bptr' without checking for null pointer
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,