summaryrefslogtreecommitdiff
path: root/test/test16-03.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/test16-03.txt')
-rw-r--r--test/test16-03.txt222
1 files changed, 111 insertions, 111 deletions
diff --git a/test/test16-03.txt b/test/test16-03.txt
index 0501f80..62539e9 100644
--- a/test/test16-03.txt
+++ b/test/test16-03.txt
@@ -27,18 +27,18 @@ integer_cst 32: ptr2,
integer_cst 100: ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr2,
-indirect_ref : ptr2,
-parm_decl ptr1: ptr2,
-pointer_type : ptr2,
-record_type : ptr2,
-identifier_node Data1: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 64: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 200: ptr2,
+component_ref : ptr1->val, ptr2,
+indirect_ref : ptr1->val, ptr2,
+parm_decl ptr1: ptr1->val, ptr2,
+pointer_type : ptr1->val, ptr2,
+record_type : ptr1->val, ptr2,
+identifier_node Data1: ptr1->val, ptr2,
+field_decl val: ptr1->val, ptr2,
+integer_cst 32: ptr1->val, ptr2,
+integer_cst 64: ptr1->val, ptr2,
+field_decl val: ptr1->val, ptr2,
+integer_cst 32: ptr1->val, ptr2,
+integer_cst 200: ptr1->val, ptr2,
block : ptr1, ptr2,
function_decl func2:
bind_expr : ptr1, ptr2,
@@ -69,36 +69,36 @@ integer_cst 32: ptr2,
integer_cst 100: ptr2,
statement_list : ptr2,
modify_expr : ptr2,
-component_ref : ptr2,
-indirect_ref : ptr2,
-parm_decl ptr1: ptr2,
-pointer_type : ptr2,
-record_type : ptr2,
-identifier_node Data1: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 64: ptr2,
-field_decl val: ptr2,
-integer_cst 32: ptr2,
-integer_cst 200: ptr2,
-return_expr : ptr2,
+component_ref : ptr1->val, ptr2,
+indirect_ref : ptr1->val, ptr2,
+parm_decl ptr1: ptr1->val, ptr2,
+pointer_type : ptr1->val, ptr2,
+record_type : ptr1->val, ptr2,
+identifier_node Data1: ptr1->val, ptr2,
+field_decl val: ptr1->val, ptr2,
+integer_cst 32: ptr1->val, ptr2,
+integer_cst 64: ptr1->val, ptr2,
+field_decl val: ptr1->val, ptr2,
+integer_cst 32: ptr1->val, ptr2,
+integer_cst 200: ptr1->val, ptr2,
+return_expr : ptr1->val, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2,
+component_ref : ptr1, ptr1->val, ptr2,
test16.c: In function 'func2':
test16.c:26:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr1: ptr1, ptr2,
-pointer_type : ptr1, ptr2,
-record_type : ptr1, ptr2,
-identifier_node Data1: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 300: ptr1, ptr2,
+indirect_ref : ptr1, ptr1->val, ptr2,
+parm_decl ptr1: ptr1, ptr1->val, ptr2,
+pointer_type : ptr1, ptr1->val, ptr2,
+record_type : ptr1, ptr1->val, ptr2,
+identifier_node Data1: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 64: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 300: ptr1, ptr1->val, ptr2,
block : ptr1, ptr2,
function_decl func3:
bind_expr : ptr1, ptr2,
@@ -133,21 +133,21 @@ integer_cst 32: ptr1, ptr2,
integer_cst 100: ptr1, ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2,
+component_ref : ptr1, ptr1->val, ptr2,
test16.c:36:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr1: ptr1, ptr2,
-pointer_type : ptr1, ptr2,
-record_type : ptr1, ptr2,
-identifier_node Data1: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 200: ptr1, ptr2,
+indirect_ref : ptr1, ptr1->val, ptr2,
+parm_decl ptr1: ptr1, ptr1->val, ptr2,
+pointer_type : ptr1, ptr1->val, ptr2,
+record_type : ptr1, ptr1->val, ptr2,
+identifier_node Data1: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 64: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 200: ptr1, ptr1->val, ptr2,
block : ptr1, ptr2,
function_decl func4:
bind_expr : ptr1, ptr2,
@@ -182,21 +182,21 @@ integer_cst 32: ptr1, ptr2,
integer_cst 100: ptr1, ptr2,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2,
+component_ref : ptr1, ptr1->val, ptr2,
test16.c:46:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 200;
^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr1: ptr1, ptr2,
-pointer_type : ptr1, ptr2,
-record_type : ptr1, ptr2,
-identifier_node Data1: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 200: ptr1, ptr2,
+indirect_ref : ptr1, ptr1->val, ptr2,
+parm_decl ptr1: ptr1, ptr1->val, ptr2,
+pointer_type : ptr1, ptr1->val, ptr2,
+record_type : ptr1, ptr1->val, ptr2,
+identifier_node Data1: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 64: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 200: ptr1, ptr1->val, ptr2,
block : ptr1, ptr2,
function_decl func5:
bind_expr : ptr1, ptr2,
@@ -251,31 +251,31 @@ integer_cst 32:
integer_cst 200:
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref :
-indirect_ref :
-parm_decl ptr1:
-pointer_type :
-record_type :
-identifier_node Data1:
-field_decl val:
-integer_cst 32:
-integer_cst 64:
-field_decl val:
-integer_cst 32:
-integer_cst 300:
-modify_expr : ptr1, ptr2,
-component_ref :
-indirect_ref :
-parm_decl ptr2:
-pointer_type :
-record_type :
-identifier_node Data1:
-field_decl val:
-integer_cst 32:
-integer_cst 64:
-field_decl val:
-integer_cst 32:
-integer_cst 400:
+component_ref : ptr1->val,
+indirect_ref : ptr1->val,
+parm_decl ptr1: ptr1->val,
+pointer_type : ptr1->val,
+record_type : ptr1->val,
+identifier_node Data1: ptr1->val,
+field_decl val: ptr1->val,
+integer_cst 32: ptr1->val,
+integer_cst 64: ptr1->val,
+field_decl val: ptr1->val,
+integer_cst 32: ptr1->val,
+integer_cst 300: ptr1->val,
+modify_expr : ptr1, ptr1->val, ptr2,
+component_ref : ptr1->val, ptr2->val,
+indirect_ref : ptr1->val, ptr2->val,
+parm_decl ptr2: ptr1->val, ptr2->val,
+pointer_type : ptr1->val, ptr2->val,
+record_type : ptr1->val, ptr2->val,
+identifier_node Data1: ptr1->val, ptr2->val,
+field_decl val: ptr1->val, ptr2->val,
+integer_cst 32: ptr1->val, ptr2->val,
+integer_cst 64: ptr1->val, ptr2->val,
+field_decl val: ptr1->val, ptr2->val,
+integer_cst 32: ptr1->val, ptr2->val,
+integer_cst 400: ptr1->val, ptr2->val,
block : ptr1, ptr2,
function_decl func6:
bind_expr : ptr1, ptr2,
@@ -330,36 +330,36 @@ integer_cst 32: ptr1,
integer_cst 200: ptr1,
return_expr : ptr1, ptr2,
modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2,
+component_ref : ptr1, ptr1->val, ptr2,
test16.c: In function 'func6':
test16.c:67:9: warning: Using parameter 'ptr1' without checking for null pointer
ptr1->val = 300;
^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr1: ptr1, ptr2,
-pointer_type : ptr1, ptr2,
-record_type : ptr1, ptr2,
-identifier_node Data1: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 300: ptr1, ptr2,
-modify_expr : ptr1, ptr2,
-component_ref : ptr1, ptr2,
+indirect_ref : ptr1, ptr1->val, ptr2,
+parm_decl ptr1: ptr1, ptr1->val, ptr2,
+pointer_type : ptr1, ptr1->val, ptr2,
+record_type : ptr1, ptr1->val, ptr2,
+identifier_node Data1: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 64: ptr1, ptr1->val, ptr2,
+field_decl val: ptr1, ptr1->val, ptr2,
+integer_cst 32: ptr1, ptr1->val, ptr2,
+integer_cst 300: ptr1, ptr1->val, ptr2,
+modify_expr : ptr1, ptr1->val, ptr2,
+component_ref : ptr1, ptr1->val, ptr2, ptr2->val,
test16.c:68:9: warning: Using parameter 'ptr2' without checking for null pointer
ptr2->val = 400;
^
-indirect_ref : ptr1, ptr2,
-parm_decl ptr2: ptr1, ptr2,
-pointer_type : ptr1, ptr2,
-record_type : ptr1, ptr2,
-identifier_node Data1: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 64: ptr1, ptr2,
-field_decl val: ptr1, ptr2,
-integer_cst 32: ptr1, ptr2,
-integer_cst 400: ptr1, ptr2,
+indirect_ref : ptr1, ptr1->val, ptr2, ptr2->val,
+parm_decl ptr2: ptr1, ptr1->val, ptr2, ptr2->val,
+pointer_type : ptr1, ptr1->val, ptr2, ptr2->val,
+record_type : ptr1, ptr1->val, ptr2, ptr2->val,
+identifier_node Data1: ptr1, ptr1->val, ptr2, ptr2->val,
+field_decl val: ptr1, ptr1->val, ptr2, ptr2->val,
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr2->val,
+integer_cst 64: ptr1, ptr1->val, ptr2, ptr2->val,
+field_decl val: ptr1, ptr1->val, ptr2, ptr2->val,
+integer_cst 32: ptr1, ptr1->val, ptr2, ptr2->val,
+integer_cst 400: ptr1, ptr1->val, ptr2, ptr2->val,
block : ptr1, ptr2,
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-06-30 13:08:22 +0000