diff options
Diffstat (limited to 'test/test16-03.txt')
-rw-r--r-- | test/test16-03.txt | 222 |
1 files changed, 111 insertions, 111 deletions
diff --git a/test/test16-03.txt b/test/test16-03.txt index 62539e9..0501f80 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 : 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, +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, 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 : 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, +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, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, 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, 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, +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, 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, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test16.c:36:9: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 200; ^ -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, +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, 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, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test16.c:46:9: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 200; ^ -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, +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, 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 : 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, +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: 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, ptr1->val, ptr2, +component_ref : ptr1, 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, 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, +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, test16.c:68:9: warning: Using parameter 'ptr2' without checking for null pointer ptr2->val = 400; ^ -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, +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, block : ptr1, ptr2, |