summaryrefslogtreecommitdiff
path: root/test/test10-03.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/test10-03.txt')
-rw-r--r--test/test10-03.txt531
1 files changed, 515 insertions, 16 deletions
diff --git a/test/test10-03.txt b/test/test10-03.txt
index 6f8d2c9..21bee41 100644
--- a/test/test10-03.txt
+++ b/test/test10-03.txt
@@ -44,7 +44,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:14:24: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:13:24: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 100;
^
indirect_ref : ptr1, ptr2,
@@ -61,7 +61,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:17:20: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:16:20: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 200;
^
indirect_ref : ptr1, ptr2,
@@ -78,7 +78,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:18:20: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:17:20: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 300;
^
indirect_ref : ptr1, ptr2,
@@ -121,7 +121,7 @@ expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
test10.cpp: In member function 'void Object1::func2(int*, int*)':
-test10.cpp:25:24: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:24:24: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 400;
^
indirect_ref : ptr1, ptr2,
@@ -139,7 +139,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:30:24: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:29:24: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 100;
^
indirect_ref : ptr1, ptr2,
@@ -156,7 +156,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:33:20: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:32:20: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 200;
^
indirect_ref : ptr1, ptr2,
@@ -173,7 +173,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:34:20: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:33:20: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 300;
^
indirect_ref : ptr1, ptr2,
@@ -259,7 +259,7 @@ expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
test10.cpp: In member function 'void Object1::func3(int*, int*)':
-test10.cpp:50:20: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:49:20: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 300;
^
indirect_ref : ptr2,
@@ -444,7 +444,7 @@ expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
test10.cpp: In member function 'void Object1::func5(int*, int*)':
-test10.cpp:81:20: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:80:20: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 200;
^
indirect_ref : ptr1, ptr2,
@@ -461,7 +461,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:82:20: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:81:20: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 300;
^
indirect_ref : ptr1, ptr2,
@@ -588,7 +588,7 @@ expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
test10.cpp: In member function 'void Object1::func7(int*, int*)':
-test10.cpp:105:24: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:104:24: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 100;
^
indirect_ref : ptr1, ptr2,
@@ -605,7 +605,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:106:24: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:105:24: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 200;
^
indirect_ref : ptr1, ptr2,
@@ -623,7 +623,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:113:20: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:112:20: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 300;
^
indirect_ref : ptr1, ptr2,
@@ -640,7 +640,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:114:20: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:113:20: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 400;
^
indirect_ref : ptr1, ptr2,
@@ -713,7 +713,7 @@ expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
test10.cpp: In member function 'void Object1::func8(int*, int*)':
-test10.cpp:127:24: warning: Using parameter 'ptr1' without checking for null pointer
+test10.cpp:126:24: warning: Using parameter 'ptr1' without checking for null pointer
*ptr1 = 300;
^
indirect_ref : ptr1, ptr2,
@@ -730,7 +730,7 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr1, ptr2,
convert_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-test10.cpp:128:24: warning: Using parameter 'ptr2' without checking for null pointer
+test10.cpp:127:24: warning: Using parameter 'ptr2' without checking for null pointer
*ptr2 = 400;
^
indirect_ref : ptr1, ptr2,
@@ -772,3 +772,502 @@ integer_cst -2147483648:
integer_cst 2147483647:
integer_cst 64:
integer_cst 600:
+function_decl func9:
+statement_list : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_orif_expr : ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+statement_list : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp: In member function 'void Object1::func9(int*, int*)':
+test10.cpp:139:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 100;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
+return_expr : ptr1, ptr2,
+statement_list : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:144:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 200;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
+return_expr : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt :
+convert_expr :
+modify_expr :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 300:
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt :
+convert_expr :
+modify_expr :
+indirect_ref :
+parm_decl ptr2:
+pointer_type :
+integer_type :
+type_decl int:
+integer_cst 32:
+integer_cst -2147483648:
+integer_cst 2147483647:
+integer_cst 64:
+integer_cst 400:
+function_decl func10:
+statement_list : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_andif_expr : ptr1, ptr2,
+truth_andif_expr : ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+component_ref : ptr1, ptr2,
+indirect_ref : ptr1, ptr2,
+nop_expr : ptr1, ptr2,
+parm_decl this: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+record_type : ptr1, ptr2,
+type_decl Object1: ptr1, ptr2,
+field_decl k: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+type_decl Object1: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+field_decl k: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+statement_list : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp: In member function 'void Object1::func10(int*, int*)':
+test10.cpp:156:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 100;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:157:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 200;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
+return_expr : ptr1, ptr2,
+statement_list : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:162:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 300;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:163:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 400;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 400: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:166:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 500;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 500: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:167:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 600;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 600: ptr1, ptr2,
+function_decl func11:
+statement_list : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_orif_expr : ptr1, ptr2,
+truth_andif_expr : ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+statement_list : ptr2,
+cleanup_point_expr : ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 100: ptr2,
+cleanup_point_expr : ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+test10.cpp: In member function 'void Object1::func11(int*, int*)':
+test10.cpp:175:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 200;
+ ^
+indirect_ref : ptr2,
+parm_decl ptr2: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 200: ptr2,
+return_expr : ptr2,
+statement_list : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:180:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 300;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 300: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:181:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 400;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 400: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:184:20: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 500;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 500: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:185:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 600;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 600: ptr1, ptr2,
+function_decl func12:
+statement_list : ptr1, ptr2,
+if_stmt : ptr1, ptr2,
+truth_orif_expr : ptr1, ptr2,
+ne_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+eq_expr : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 0: ptr1, ptr2,
+statement_list : ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp: In member function 'void Object1::func12(int*, int*)':
+test10.cpp:192:24: warning: Using parameter 'ptr1' without checking for null pointer
+ *ptr1 = 100;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr1: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 100: ptr1, ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr1, ptr2,
+convert_expr : ptr1, ptr2,
+modify_expr : ptr1, ptr2,
+test10.cpp:193:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 200;
+ ^
+indirect_ref : ptr1, ptr2,
+parm_decl ptr2: ptr1, ptr2,
+pointer_type : ptr1, ptr2,
+integer_type : ptr1, ptr2,
+type_decl int: ptr1, ptr2,
+integer_cst 32: ptr1, ptr2,
+integer_cst -2147483648: ptr1, ptr2,
+integer_cst 2147483647: ptr1, ptr2,
+integer_cst 64: ptr1, ptr2,
+integer_cst 200: ptr1, ptr2,
+return_expr : ptr1, ptr2,
+statement_list : ptr2,
+cleanup_point_expr : ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 300: ptr2,
+cleanup_point_expr : ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+test10.cpp:199:24: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 400;
+ ^
+indirect_ref : ptr2,
+parm_decl ptr2: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 400: ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+indirect_ref : ptr2,
+parm_decl ptr1: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 500: ptr2,
+cleanup_point_expr : ptr1, ptr2,
+expr_stmt : ptr2,
+convert_expr : ptr2,
+modify_expr : ptr2,
+test10.cpp:203:20: warning: Using parameter 'ptr2' without checking for null pointer
+ *ptr2 = 600;
+ ^
+indirect_ref : ptr2,
+parm_decl ptr2: ptr2,
+pointer_type : ptr2,
+integer_type : ptr2,
+type_decl int: ptr2,
+integer_cst 32: ptr2,
+integer_cst -2147483648: ptr2,
+integer_cst 2147483647: ptr2,
+integer_cst 64: ptr2,
+integer_cst 600: ptr2,