summaryrefslogblamecommitdiff
path: root/test/test6-04.txt
blob: b29c99a276ff7582a8a8e830e46a72b7abea0454 (plain) (tree)
1
2
3
4
5
6
7
8
9




                        
                                        
                                                             

              






























                            
                        

















































                         
                                        
                                                             

              










                            






                    
                   




                            



                        


                 


            

















                         
                     




                       


                  

                      
                      




                               



                           


                    


              
              


            




                  























                                                             











                       
                      




                               



                           



                           
                      




                               

                  
                  


                  
                  




                    
                  




              
            
                           











                         


                 



            
            
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: