summaryrefslogtreecommitdiff
path: root/test/test19-03.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/test19-03.txt')
-rw-r--r--test/test19-03.txt274
1 files changed, 137 insertions, 137 deletions
diff --git a/test/test19-03.txt b/test/test19-03.txt
index cfc3af8..d8f6c80 100644
--- a/test/test19-03.txt
+++ b/test/test19-03.txt
@@ -22,27 +22,27 @@ cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr2, ptr3,
+component_ref : , ptr1, ptr2, ptr3,
test19.cpp: In function 'int func2(Data1*, Data1*)':
test19.cpp:16:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 100;
^
-indirect_ref : ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst 100: ptr1, ptr2, ptr3,
+indirect_ref : , ptr1, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr2, ptr3,
+field_decl val: , ptr1, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr2, ptr3,
+integer_cst 100: , ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr2, ptr3,
-pointer_type : ptr1, ptr2, ptr3,
-record_type : ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-block : ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
+integer_cst 64: , ptr1, ptr2, ptr3,
+parm_decl ptr1: , ptr1, ptr2, ptr3,
+pointer_type : , ptr1, ptr2, ptr3,
+record_type : , ptr1, ptr2, ptr3,
+type_decl Data1: , ptr1, ptr2, ptr3,
+field_decl val: , ptr1, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr2, ptr3,
+type_decl Data1: , ptr1, ptr2, ptr3,
+block : , ptr1, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr2, ptr3,
function_decl func3:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -56,12 +56,12 @@ cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr2,
-indirect_ref : ptr2,
-var_decl ptr3: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 100: ptr2,
+component_ref : , ptr2,
+indirect_ref : , ptr2,
+var_decl ptr3: , ptr2,
+field_decl val: , ptr2,
+integer_cst 32: , ptr2,
+integer_cst 100: , ptr2,
var_decl ptr3: ptr1, ptr2,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
@@ -86,12 +86,12 @@ cleanup_point_expr : ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr2,
-indirect_ref : ptr2,
-var_decl ptr3: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 100: ptr2,
+component_ref : , ptr2,
+indirect_ref : , ptr2,
+var_decl ptr3: , ptr2,
+field_decl val: , ptr2,
+integer_cst 32: , ptr2,
+integer_cst 100: , ptr2,
if_stmt : ptr1, ptr2, ptr3,
truth_andif_expr : ptr1, ptr2, ptr3,
eq_expr : ptr1, ptr2, ptr3,
@@ -118,19 +118,19 @@ cleanup_point_expr : ptr1, ptr3,
expr_stmt : ptr1, ptr3,
convert_expr : ptr1, ptr3,
modify_expr : ptr1, ptr3,
-component_ref : ptr1, ptr3,
-indirect_ref : ptr1, ptr3,
-parm_decl ptr2: ptr1, ptr3,
-pointer_type : ptr1, ptr3,
-record_type : ptr1, ptr3,
-type_decl Data1: ptr1, ptr3,
-field_decl val: ptr1, ptr3,
-integer_cst 32: ptr1, ptr3,
-type_decl Data1: ptr1, ptr3,
-integer_cst 64: ptr1, ptr3,
-field_decl val: ptr1, ptr3,
-integer_cst 32: ptr1, ptr3,
-integer_cst 200: ptr1, ptr3,
+component_ref : ptr1, ptr2->val, ptr3,
+indirect_ref : ptr1, ptr2->val, ptr3,
+parm_decl ptr2: ptr1, ptr2->val, ptr3,
+pointer_type : ptr1, ptr2->val, ptr3,
+record_type : ptr1, ptr2->val, ptr3,
+type_decl Data1: ptr1, ptr2->val, ptr3,
+field_decl val: ptr1, ptr2->val, ptr3,
+integer_cst 32: ptr1, ptr2->val, ptr3,
+type_decl Data1: ptr1, ptr2->val, ptr3,
+integer_cst 64: ptr1, ptr2->val, ptr3,
+field_decl val: ptr1, ptr2->val, ptr3,
+integer_cst 32: ptr1, ptr2->val, ptr3,
+integer_cst 200: ptr1, ptr2->val, ptr3,
var_decl ptr3: ptr1, ptr2,
integer_cst 64: ptr1, ptr2, ptr3,
parm_decl ptr1: ptr1, ptr2, ptr3,
@@ -182,23 +182,23 @@ cleanup_point_expr : ptr1, ptr2,
expr_stmt : ptr2,
convert_expr : ptr2,
modify_expr : ptr2,
-component_ref : ptr2,
-indirect_ref : ptr2,
-var_decl ptr3: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 100: ptr2,
+component_ref : , ptr2,
+indirect_ref : , ptr2,
+var_decl ptr3: , ptr2,
+field_decl val: , ptr2,
+integer_cst 32: , ptr2,
+integer_cst 100: , ptr2,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: ptr2,
-parm_decl ptr1: ptr2,
-pointer_type : ptr2,
-record_type : ptr2,
-type_decl Data1: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-type_decl Data1: ptr2,
-block : ptr1, ptr2,
-var_decl ptr3: ptr2,
+integer_cst 64: , ptr2,
+parm_decl ptr1: , ptr2,
+pointer_type : , ptr2,
+record_type : , ptr2,
+type_decl Data1: , ptr2,
+field_decl val: , ptr2,
+integer_cst 32: , ptr2,
+type_decl Data1: , ptr2,
+block : , ptr1, ptr2,
+var_decl ptr3: , ptr2,
function_decl func6:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -239,27 +239,27 @@ cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr2, ptr3,
+component_ref : , ptr1, ptr2, ptr3,
test19.cpp: In function 'int func6(Data1*, Data1*)':
test19.cpp:52:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 100;
^
-indirect_ref : ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst 100: ptr1, ptr2, ptr3,
+indirect_ref : , ptr1, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr2, ptr3,
+field_decl val: , ptr1, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr2, ptr3,
+integer_cst 100: , ptr1, ptr2, ptr3,
var_decl ptr3: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr2, ptr3,
-pointer_type : ptr1, ptr2, ptr3,
-record_type : ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-block : ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
+integer_cst 64: , ptr1, ptr2, ptr3,
+parm_decl ptr1: , ptr1, ptr2, ptr3,
+pointer_type : , ptr1, ptr2, ptr3,
+record_type : , ptr1, ptr2, ptr3,
+type_decl Data1: , ptr1, ptr2, ptr3,
+field_decl val: , ptr1, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr2, ptr3,
+type_decl Data1: , ptr1, ptr2, ptr3,
+block : , ptr1, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr2, ptr3,
function_decl func7:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -310,46 +310,46 @@ cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr2, ptr3,
+component_ref : ptr1, ptr1->val, ptr2, ptr3,
test19.cpp: In function 'int func7(Data1*, Data1*)':
test19.cpp:66:11: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr2, ptr3,
-pointer_type : ptr1, ptr2, ptr3,
-record_type : ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-integer_cst 64: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst 100: ptr1, ptr2, ptr3,
-cleanup_point_expr : ptr1, ptr2, ptr3,
-expr_stmt : ptr1, ptr2, ptr3,
-convert_expr : ptr1, ptr2, ptr3,
-modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr2, ptr3,
+indirect_ref : ptr1, ptr1->val, ptr2, ptr3,
+parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3,
+pointer_type : ptr1, ptr1->val, ptr2, ptr3,
+record_type : ptr1, ptr1->val, ptr2, ptr3,
+type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
+field_decl val: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
+type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 64: ptr1, ptr1->val, ptr2, ptr3,
+field_decl val: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 100: ptr1, ptr1->val, ptr2, ptr3,
+cleanup_point_expr : ptr1, ptr1->val, ptr2, ptr3,
+expr_stmt : ptr1, ptr1->val, ptr2, ptr3,
+convert_expr : ptr1, ptr1->val, ptr2, ptr3,
+modify_expr : ptr1, ptr1->val, ptr2, ptr3,
+component_ref : , ptr1, ptr1->val, ptr2, ptr3,
test19.cpp:67:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 200;
^
-indirect_ref : ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst 200: ptr1, ptr2, ptr3,
+indirect_ref : , ptr1, ptr1->val, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
+field_decl val: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3,
var_decl c: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_type : ptr1, ptr2, ptr3,
-type_decl int: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst -2147483648: ptr1, ptr2, ptr3,
-integer_cst 2147483647: ptr1, ptr2, ptr3,
-block : ptr1, ptr2, ptr3,
-var_decl c: ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
+integer_type : , ptr1, ptr1->val, ptr2, ptr3,
+type_decl int: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3,
+block : , ptr1, ptr1->val, ptr2, ptr3,
+var_decl c: , ptr1, ptr1->val, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
function_decl func8:
bind_expr : ptr1, ptr2,
statement_list : ptr1, ptr2,
@@ -400,43 +400,43 @@ cleanup_point_expr : ptr1, ptr2, ptr3,
expr_stmt : ptr1, ptr2, ptr3,
convert_expr : ptr1, ptr2, ptr3,
modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr2, ptr3,
+component_ref : ptr1, ptr1->val, ptr2, ptr3,
test19.cpp: In function 'int func8(Data1*, Data1*)':
test19.cpp:81:11: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 100;
^
-indirect_ref : ptr1, ptr2, ptr3,
-parm_decl ptr1: ptr1, ptr2, ptr3,
-pointer_type : ptr1, ptr2, ptr3,
-record_type : ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-type_decl Data1: ptr1, ptr2, ptr3,
-integer_cst 64: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst 100: ptr1, ptr2, ptr3,
-cleanup_point_expr : ptr1, ptr2, ptr3,
-expr_stmt : ptr1, ptr2, ptr3,
-convert_expr : ptr1, ptr2, ptr3,
-modify_expr : ptr1, ptr2, ptr3,
-component_ref : ptr1, ptr2, ptr3,
+indirect_ref : ptr1, ptr1->val, ptr2, ptr3,
+parm_decl ptr1: ptr1, ptr1->val, ptr2, ptr3,
+pointer_type : ptr1, ptr1->val, ptr2, ptr3,
+record_type : ptr1, ptr1->val, ptr2, ptr3,
+type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
+field_decl val: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
+type_decl Data1: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 64: ptr1, ptr1->val, ptr2, ptr3,
+field_decl val: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 100: ptr1, ptr1->val, ptr2, ptr3,
+cleanup_point_expr : ptr1, ptr1->val, ptr2, ptr3,
+expr_stmt : ptr1, ptr1->val, ptr2, ptr3,
+convert_expr : ptr1, ptr1->val, ptr2, ptr3,
+modify_expr : ptr1, ptr1->val, ptr2, ptr3,
+component_ref : , ptr1, ptr1->val, ptr2, ptr3,
test19.cpp:82:11: warning: Using variable 'ptr3' without checking for null pointer
ptr3->val = 200;
^
-indirect_ref : ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
-field_decl val: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst 200: ptr1, ptr2, ptr3,
+indirect_ref : , ptr1, ptr1->val, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
+field_decl val: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 200: , ptr1, ptr1->val, ptr2, ptr3,
var_decl c: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_type : ptr1, ptr2, ptr3,
-type_decl int: ptr1, ptr2, ptr3,
-integer_cst 32: ptr1, ptr2, ptr3,
-integer_cst -2147483648: ptr1, ptr2, ptr3,
-integer_cst 2147483647: ptr1, ptr2, ptr3,
-block : ptr1, ptr2, ptr3,
-var_decl c: ptr1, ptr2, ptr3,
-var_decl ptr3: ptr1, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
+integer_type : , ptr1, ptr1->val, ptr2, ptr3,
+type_decl int: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 32: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst -2147483648: , ptr1, ptr1->val, ptr2, ptr3,
+integer_cst 2147483647: , ptr1, ptr1->val, ptr2, ptr3,
+block : , ptr1, ptr1->val, ptr2, ptr3,
+var_decl c: , ptr1, ptr1->val, ptr2, ptr3,
+var_decl ptr3: , ptr1, ptr1->val, ptr2, ptr3,
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-06-30 12:29:30 +0000