diff options
Diffstat (limited to 'test/test20-03.txt')
-rw-r--r-- | test/test20-03.txt | 417 |
1 files changed, 399 insertions, 18 deletions
diff --git a/test/test20-03.txt b/test/test20-03.txt index de30338..f44700e 100644 --- a/test/test20-03.txt +++ b/test/test20-03.txt @@ -2,6 +2,21 @@ function_decl func1: bind_expr : ptr1, ptr2, decl_expr : ptr1, ptr2, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, var_decl ptr3: ptr1, ptr2, ptr3, integer_cst 64: ptr1, ptr2, ptr3, parm_decl ptr1: ptr1, ptr2, ptr3, @@ -28,19 +43,64 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, function_decl func2: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, decl_expr : ptr1, ptr2, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr2, ptr3, test20.c: In function 'func2': -test20.c:16:9: warning: Using variable 'ptr3' without checking for null pointer +test20.c:16:15: warning: Using variable 'ptr3' without checking for null pointer ptr3->val = 100; - ^ + ^ +component_ref : ptr1, ptr2, ptr3, indirect_ref : 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, field_decl val: ptr1, ptr2, ptr3, integer_cst 32: ptr1, ptr2, ptr3, integer_type : ptr1, ptr2, ptr3, @@ -75,19 +135,79 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, function_decl func3: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, decl_expr : ptr1, ptr2, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, cond_expr : ptr1, ptr2, ptr3, ne_expr : 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, integer_cst 0: ptr1, ptr2, ptr3, modify_expr : ptr2, component_ref : ptr2, indirect_ref : ptr2, var_decl ptr3: ptr2, +integer_cst 64: ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, @@ -122,19 +242,79 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, function_decl func4: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, decl_expr : ptr1, ptr2, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, cond_expr : ptr1, ptr2, ptr3, ne_expr : 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, integer_cst 0: ptr1, ptr2, ptr3, modify_expr : ptr2, component_ref : ptr2, indirect_ref : ptr2, var_decl ptr3: ptr2, +integer_cst 64: ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, @@ -226,6 +406,21 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, function_decl func5: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, @@ -266,10 +461,40 @@ integer_cst 32: ptr1, ptr2, integer_cst 0: ptr1, ptr2, decl_expr : ptr1, ptr2, var_decl ptr3: ptr2, +integer_cst 64: ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, modify_expr : ptr1, ptr2, component_ref : ptr2, indirect_ref : ptr2, var_decl ptr3: ptr2, +integer_cst 64: ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, field_decl val: ptr2, integer_cst 32: ptr2, integer_type : ptr2, @@ -304,6 +529,21 @@ integer_cst -2147483648: ptr2, integer_cst 2147483647: ptr2, block : ptr1, ptr2, var_decl ptr3: ptr2, +integer_cst 64: ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +identifier_node Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, function_decl func6: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, @@ -344,14 +584,44 @@ integer_cst 32: ptr1, ptr2, integer_cst 0: ptr1, ptr2, decl_expr : ptr1, ptr2, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr2, ptr3, test20.c: In function 'func6': -test20.c:52:9: warning: Using variable 'ptr3' without checking for null pointer +test20.c:52:15: warning: Using variable 'ptr3' without checking for null pointer ptr3->val = 100; - ^ + ^ +component_ref : ptr1, ptr2, ptr3, indirect_ref : 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, field_decl val: ptr1, ptr2, ptr3, integer_cst 32: ptr1, ptr2, ptr3, integer_type : ptr1, ptr2, ptr3, @@ -386,11 +656,32 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, function_decl func7: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, decl_expr : ptr1, ptr2, var_decl c: ptr1, ptr2, +integer_cst 32: 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, cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, var_decl k: ptr1, ptr2, @@ -401,6 +692,12 @@ integer_cst 32: ptr1, ptr2, integer_cst -2147483648: ptr1, ptr2, integer_cst 2147483647: ptr1, ptr2, var_decl c: ptr1, ptr2, +integer_cst 32: 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, cond_expr : ptr1, ptr2, eq_expr : ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, @@ -452,11 +749,11 @@ integer_cst 32: ptr1, ptr2, ptr3, integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr2, ptr3, test20.c: In function 'func7': -test20.c:66:9: warning: Using parameter 'ptr1' without checking for null pointer +test20.c:66:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; - ^ + ^ +component_ref : ptr1, ptr2, ptr3, indirect_ref : ptr1, ptr2, ptr3, parm_decl ptr1: ptr1, ptr2, ptr3, pointer_type : ptr1, ptr2, ptr3, @@ -479,12 +776,27 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: ptr1, ptr2, ptr3, integer_cst 100: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr2, ptr3, -test20.c:67:9: warning: Using variable 'ptr3' without checking for null pointer +test20.c:67:15: warning: Using variable 'ptr3' without checking for null pointer ptr3->val = 200; - ^ + ^ +component_ref : ptr1, ptr2, ptr3, indirect_ref : 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, field_decl val: ptr1, ptr2, ptr3, integer_cst 32: ptr1, ptr2, ptr3, integer_type : ptr1, ptr2, ptr3, @@ -502,12 +814,39 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: ptr1, ptr2, ptr3, block : ptr1, ptr2, ptr3, var_decl c: ptr1, ptr2, ptr3, +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, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, function_decl func8: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, decl_expr : ptr1, ptr2, var_decl c: ptr1, ptr2, +integer_cst 32: 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, cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, var_decl k: ptr1, ptr2, @@ -518,6 +857,12 @@ integer_cst 32: ptr1, ptr2, integer_cst -2147483648: ptr1, ptr2, integer_cst 2147483647: ptr1, ptr2, var_decl c: ptr1, ptr2, +integer_cst 32: 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, cond_expr : ptr1, ptr2, ne_expr : ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, @@ -569,11 +914,11 @@ integer_cst 32: ptr1, ptr2, ptr3, integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr2, ptr3, test20.c: In function 'func8': -test20.c:81:9: warning: Using parameter 'ptr1' without checking for null pointer +test20.c:81:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; - ^ + ^ +component_ref : ptr1, ptr2, ptr3, indirect_ref : ptr1, ptr2, ptr3, parm_decl ptr1: ptr1, ptr2, ptr3, pointer_type : ptr1, ptr2, ptr3, @@ -596,12 +941,27 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: ptr1, ptr2, ptr3, integer_cst 100: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr2, ptr3, -test20.c:82:9: warning: Using variable 'ptr3' without checking for null pointer +test20.c:82:15: warning: Using variable 'ptr3' without checking for null pointer ptr3->val = 200; - ^ + ^ +component_ref : ptr1, ptr2, ptr3, indirect_ref : 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, field_decl val: ptr1, ptr2, ptr3, integer_cst 32: ptr1, ptr2, ptr3, integer_type : ptr1, ptr2, ptr3, @@ -619,4 +979,25 @@ integer_cst -2147483648: ptr1, ptr2, ptr3, integer_cst 2147483647: ptr1, ptr2, ptr3, block : ptr1, ptr2, ptr3, var_decl c: ptr1, ptr2, ptr3, +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, 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, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +record_type : ptr1, ptr2, ptr3, +identifier_node Data1: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: ptr1, ptr2, ptr3, +integer_type : ptr1, ptr2, ptr3, |