diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-06-25 14:39:42 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-06-25 14:39:42 +0300 |
commit | ef74c85974a85a5d342b8ffca82e0ff8ff266f2b (patch) | |
tree | 50c7cae2d73cb5a801aee0ab8af24690550a84f9 | |
parent | 9ccad221686b9f9dc74a19171e114cf4d13986f0 (diff) | |
download | paranucker-ef74c85974a85a5d342b8ffca82e0ff8ff266f2b.tar.gz paranucker-ef74c85974a85a5d342b8ffca82e0ff8ff266f2b.tar.bz2 paranucker-ef74c85974a85a5d342b8ffca82e0ff8ff266f2b.tar.xz paranucker-ef74c85974a85a5d342b8ffca82e0ff8ff266f2b.zip |
Update test results.
-rw-r--r-- | test/test07-05.txt | 158 | ||||
-rw-r--r-- | test/test08-03.txt | 52 | ||||
-rw-r--r-- | test/test11-03.txt | 252 | ||||
-rw-r--r-- | test/test12-03.txt | 52 | ||||
-rw-r--r-- | test/test16-03.txt | 222 | ||||
-rw-r--r-- | test/test17-03.txt | 160 | ||||
-rw-r--r-- | test/test18-03.txt | 170 | ||||
-rw-r--r-- | test/test19-03.txt | 274 | ||||
-rw-r--r-- | test/test20-03.txt | 250 | ||||
-rw-r--r-- | test/test22-03.txt | 144 |
10 files changed, 867 insertions, 867 deletions
diff --git a/test/test07-05.txt b/test/test07-05.txt index 9b63bb9..144221d 100644 --- a/test/test07-05.txt +++ b/test/test07-05.txt @@ -2416,45 +2416,45 @@ cleanup_point_expr : aptr, expr_stmt : aptr, convert_expr : aptr, modify_expr : aptr, -component_ref : aptr, this->k, -indirect_ref : aptr, this->k, -parm_decl this: aptr, this->k, -pointer_type : aptr, this->k, -record_type : aptr, this->k, -type_decl Object1: aptr, this->k, -field_decl k: aptr, this->k, -integer_cst 32: aptr, this->k, -field_decl vec1: aptr, this->k, -integer_cst 192: aptr, this->k, -type_decl Object1: aptr, this->k, -integer_cst 64: aptr, this->k, -field_decl k: aptr, this->k, -integer_cst 32: aptr, this->k, -integer_cst 3: aptr, this->k, +component_ref : aptr, +indirect_ref : aptr, +parm_decl this: aptr, +pointer_type : aptr, +record_type : aptr, +type_decl Object1: aptr, +field_decl k: aptr, +integer_cst 32: aptr, +field_decl vec1: aptr, +integer_cst 192: aptr, +type_decl Object1: aptr, +integer_cst 64: aptr, +field_decl k: aptr, +integer_cst 32: aptr, +integer_cst 3: aptr, function_decl func5: cleanup_point_expr : sptr, expr_stmt : sptr, convert_expr : sptr, modify_expr : sptr, -component_ref : sptr, sptr->num, +component_ref : sptr, test07.cpp: In member function 'void Object1::func5(Struct1*)': test07.cpp:43:15: warning: Using parameter 'sptr' without checking for null pointer sptr->num = 0; ^ -indirect_ref : sptr, sptr->num, -parm_decl sptr: sptr, sptr->num, -pointer_type : sptr, sptr->num, -record_type : sptr, sptr->num, -type_decl Struct1: sptr, sptr->num, -field_decl str: sptr, sptr->num, -integer_cst 64: sptr, sptr->num, -field_decl num: sptr, sptr->num, -integer_cst 32: sptr, sptr->num, -type_decl Struct1: sptr, sptr->num, -integer_cst 64: sptr, sptr->num, -field_decl num: sptr, sptr->num, -integer_cst 32: sptr, sptr->num, -integer_cst 0: sptr, sptr->num, +indirect_ref : sptr, +parm_decl sptr: sptr, +pointer_type : sptr, +record_type : sptr, +type_decl Struct1: sptr, +field_decl str: sptr, +integer_cst 64: sptr, +field_decl num: sptr, +integer_cst 32: sptr, +type_decl Struct1: sptr, +integer_cst 64: sptr, +field_decl num: sptr, +integer_cst 32: sptr, +integer_cst 0: sptr, function_decl func6: statement_list : sptr, if_stmt : sptr, @@ -2475,21 +2475,21 @@ cleanup_point_expr : sptr, expr_stmt : convert_expr : modify_expr : -component_ref : sptr->num, -indirect_ref : sptr->num, -parm_decl sptr: sptr->num, -pointer_type : sptr->num, -record_type : sptr->num, -type_decl Struct1: sptr->num, -field_decl str: sptr->num, -integer_cst 64: sptr->num, -field_decl num: sptr->num, -integer_cst 32: sptr->num, -type_decl Struct1: sptr->num, -integer_cst 64: sptr->num, -field_decl num: sptr->num, -integer_cst 32: sptr->num, -integer_cst 0: sptr->num, +component_ref : +indirect_ref : +parm_decl sptr: +pointer_type : +record_type : +type_decl Struct1: +field_decl str: +integer_cst 64: +field_decl num: +integer_cst 32: +type_decl Struct1: +integer_cst 64: +field_decl num: +integer_cst 32: +integer_cst 0: function_decl func7: statement_list : sptr, if_stmt : sptr, @@ -2543,40 +2543,40 @@ cleanup_point_expr : sptr, expr_stmt : sptr, convert_expr : sptr, modify_expr : sptr, -component_ref : sptr, this->k, -indirect_ref : sptr, this->k, -parm_decl this: sptr, this->k, -pointer_type : sptr, this->k, -record_type : sptr, this->k, -type_decl Object1: sptr, this->k, -field_decl k: sptr, this->k, -integer_cst 32: sptr, this->k, -field_decl vec1: sptr, this->k, -integer_cst 192: sptr, this->k, -type_decl Object1: sptr, this->k, -integer_cst 64: sptr, this->k, -field_decl k: sptr, this->k, -integer_cst 32: sptr, this->k, -integer_cst 10: sptr, this->k, -cleanup_point_expr : sptr, this->k, -expr_stmt : sptr, this->k, -convert_expr : sptr, this->k, -modify_expr : sptr, this->k, -component_ref : sptr, this->k, -indirect_ref : sptr, this->k, -parm_decl this: sptr, this->k, -pointer_type : sptr, this->k, -record_type : sptr, this->k, -type_decl Object1: sptr, this->k, -field_decl k: sptr, this->k, -integer_cst 32: sptr, this->k, -field_decl vec1: sptr, this->k, -integer_cst 192: sptr, this->k, -type_decl Object1: sptr, this->k, -integer_cst 64: sptr, this->k, -field_decl k: sptr, this->k, -integer_cst 32: sptr, this->k, -integer_cst 20: sptr, this->k, +component_ref : sptr, +indirect_ref : sptr, +parm_decl this: sptr, +pointer_type : sptr, +record_type : sptr, +type_decl Object1: sptr, +field_decl k: sptr, +integer_cst 32: sptr, +field_decl vec1: sptr, +integer_cst 192: sptr, +type_decl Object1: sptr, +integer_cst 64: sptr, +field_decl k: sptr, +integer_cst 32: sptr, +integer_cst 10: sptr, +cleanup_point_expr : sptr, +expr_stmt : sptr, +convert_expr : sptr, +modify_expr : sptr, +component_ref : sptr, +indirect_ref : sptr, +parm_decl this: sptr, +pointer_type : sptr, +record_type : sptr, +type_decl Object1: sptr, +field_decl k: sptr, +integer_cst 32: sptr, +field_decl vec1: sptr, +integer_cst 192: sptr, +type_decl Object1: sptr, +integer_cst 64: sptr, +field_decl k: sptr, +integer_cst 32: sptr, +integer_cst 20: sptr, function_decl fill: cleanup_point_expr : __first, __last, expr_stmt : __first, __last, diff --git a/test/test08-03.txt b/test/test08-03.txt index 565d6ad..cb31abf 100644 --- a/test/test08-03.txt +++ b/test/test08-03.txt @@ -43,19 +43,19 @@ cleanup_point_expr : ptr2, expr_stmt : ptr2, convert_expr : ptr2, modify_expr : ptr2, -component_ref : ptr2, this->k, -indirect_ref : ptr2, this->k, -parm_decl this: ptr2, this->k, -pointer_type : ptr2, this->k, -record_type : ptr2, this->k, -type_decl Object1: ptr2, this->k, -field_decl k: ptr2, this->k, -integer_cst 32: ptr2, this->k, -type_decl Object1: ptr2, this->k, -integer_cst 64: ptr2, this->k, -field_decl k: ptr2, this->k, -integer_cst 32: ptr2, this->k, -integer_cst 0: ptr2, this->k, +component_ref : ptr2, +indirect_ref : ptr2, +parm_decl this: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Object1: ptr2, +field_decl k: ptr2, +integer_cst 32: ptr2, +type_decl Object1: ptr2, +integer_cst 64: ptr2, +field_decl k: ptr2, +integer_cst 32: ptr2, +integer_cst 0: ptr2, cleanup_point_expr : ptr2, expr_stmt : ptr2, convert_expr : ptr2, @@ -123,19 +123,19 @@ cleanup_point_expr : expr_stmt : convert_expr : modify_expr : -component_ref : this->k, -indirect_ref : this->k, -parm_decl this: this->k, -pointer_type : this->k, -record_type : this->k, -type_decl Object1: this->k, -field_decl k: this->k, -integer_cst 32: this->k, -type_decl Object1: this->k, -integer_cst 64: this->k, -field_decl k: this->k, -integer_cst 32: this->k, -integer_cst 0: this->k, +component_ref : +indirect_ref : +parm_decl this: +pointer_type : +record_type : +type_decl Object1: +field_decl k: +integer_cst 32: +type_decl Object1: +integer_cst 64: +field_decl k: +integer_cst 32: +integer_cst 0: return_expr : ptr4, cleanup_point_expr : ptr4, expr_stmt : diff --git a/test/test11-03.txt b/test/test11-03.txt index f7c4b03..ac5cfff 100644 --- a/test/test11-03.txt +++ b/test/test11-03.txt @@ -31,19 +31,19 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr2, convert_expr : 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, -type_decl Data1: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -type_decl Data1: 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, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_cst 200: ptr2, function_decl func2: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -77,41 +77,41 @@ cleanup_point_expr : ptr2, expr_stmt : ptr2, convert_expr : 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, -type_decl Data1: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -type_decl Data1: 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, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_cst 200: ptr2, +return_expr : ptr2, cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test11.cpp: In member function 'void Object1::func2(Data1*, Data1*)': test11.cpp:29:15: 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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 300: ptr1, ptr2, function_decl func3: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -149,22 +149,22 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test11.cpp:39:15: 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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 200: ptr1, ptr2, function_decl func4: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -202,22 +202,22 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test11.cpp:49:15: 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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 200: ptr1, ptr2, function_decl func5: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -277,36 +277,36 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : convert_expr : modify_expr : -component_ref : ptr1->val, -indirect_ref : ptr1->val, -parm_decl ptr1: ptr1->val, -pointer_type : ptr1->val, -record_type : ptr1->val, -type_decl Data1: ptr1->val, -field_decl val: ptr1->val, -integer_cst 32: ptr1->val, -type_decl Data1: ptr1->val, -integer_cst 64: ptr1->val, -field_decl val: ptr1->val, -integer_cst 32: ptr1->val, -integer_cst 300: ptr1->val, -cleanup_point_expr : ptr1, ptr1->val, ptr2, -expr_stmt : ptr1->val, -convert_expr : ptr1->val, -modify_expr : ptr1->val, -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, -type_decl Data1: ptr1->val, ptr2->val, -field_decl val: ptr1->val, ptr2->val, -integer_cst 32: ptr1->val, ptr2->val, -type_decl Data1: 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 : +type_decl Data1: +field_decl val: +integer_cst 32: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 300: +cleanup_point_expr : ptr1, ptr2, +expr_stmt : +convert_expr : +modify_expr : +component_ref : +indirect_ref : +parm_decl ptr2: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 400: function_decl func6: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -366,40 +366,40 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test11.cpp: In member function 'void Object1::func6(Data1*, Data1*)': test11.cpp:70:15: 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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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, -cleanup_point_expr : ptr1, ptr1->val, ptr2, -expr_stmt : ptr1, ptr1->val, ptr2, -convert_expr : 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, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 300: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, test11.cpp:71:15: 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, -type_decl 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, -type_decl Data1: 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, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 400: ptr1, ptr2, diff --git a/test/test12-03.txt b/test/test12-03.txt index e5eddd8..d9fc97d 100644 --- a/test/test12-03.txt +++ b/test/test12-03.txt @@ -211,42 +211,42 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test12.cpp:30:19: 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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 200: ptr1, ptr2, cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr2, ptr2->val, +component_ref : ptr1, ptr2, test12.cpp:34:19: warning: Using parameter 'ptr2' without checking for null pointer ptr2->val = 300; ^ -indirect_ref : ptr1, ptr2, ptr2->val, -parm_decl ptr2: ptr1, ptr2, ptr2->val, -pointer_type : ptr1, ptr2, ptr2->val, -record_type : ptr1, ptr2, ptr2->val, -type_decl Data1: ptr1, ptr2, ptr2->val, -field_decl val: ptr1, ptr2, ptr2->val, -integer_cst 32: ptr1, ptr2, ptr2->val, -type_decl Data1: ptr1, ptr2, ptr2->val, -integer_cst 64: ptr1, ptr2, ptr2->val, -field_decl val: ptr1, ptr2, ptr2->val, -integer_cst 32: ptr1, ptr2, ptr2->val, -integer_cst 300: ptr1, ptr2, ptr2->val, +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 300: ptr1, ptr2, function_decl func5: bind_expr : ptr1, ptr2, decl_expr : ptr1, ptr2, 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, diff --git a/test/test17-03.txt b/test/test17-03.txt index fa5fb56..829c655 100644 --- a/test/test17-03.txt +++ b/test/test17-03.txt @@ -22,18 +22,18 @@ integer_cst 2147483647: ptr1, ptr2, integer_cst 32: ptr1, ptr2, integer_cst 0: 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 100: 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 100: ptr2, block : ptr1, ptr2, test17.c: In function 'func2': test17.c:18:14: warning: comparison between pointer and integer @@ -65,28 +65,28 @@ integer_cst 2147483647: ptr1, ptr2, integer_cst 32: ptr1, ptr2, integer_cst 0: 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 100: ptr1->val, ptr2, -return_expr : ptr1, ptr1->val, ptr2, -modify_expr : ptr1->val, ptr2, -result_decl : ptr1->val, ptr2, -integer_type : ptr1->val, ptr2, -type_decl int: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst -2147483648: ptr1->val, ptr2, -integer_cst 2147483647: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst 0: 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 100: ptr2, +return_expr : ptr1, ptr2, +modify_expr : ptr2, +result_decl : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 32: ptr2, +integer_cst 0: ptr2, block : ptr1, ptr2, test17.c: In function 'func3': test17.c:26:14: warning: comparison between pointer and integer @@ -118,31 +118,31 @@ integer_cst 2147483647: ptr2, integer_cst 32: ptr2, integer_cst 0: ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test17.c:28:9: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ -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 100: ptr1, ptr1->val, ptr2, -return_expr : ptr1, ptr1->val, ptr2, -modify_expr : ptr1, ptr1->val, ptr2, -result_decl : ptr1, ptr1->val, ptr2, -integer_type : ptr1, ptr1->val, ptr2, -type_decl int: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -integer_cst -2147483648: ptr1, ptr1->val, ptr2, -integer_cst 2147483647: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -integer_cst 0: 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 100: ptr1, ptr2, +return_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +result_decl : 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 32: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, block : ptr1, ptr2, function_decl func4: bind_expr : ptr1, ptr2, @@ -169,22 +169,22 @@ integer_cst 64: ptr1, ptr2, integer_cst 0: ptr1, ptr2, return_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test17.c: In function 'func4': test17.c:40:9: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ -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 100: 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 100: ptr1, ptr2, block : ptr1, ptr2, function_decl func5: bind_expr : ptr1, ptr2, @@ -212,16 +212,16 @@ integer_cst 64: ptr2, integer_cst 0: ptr2, return_expr : 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 100: 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 100: ptr2, block : ptr1, ptr2, diff --git a/test/test18-03.txt b/test/test18-03.txt index 51f550f..9f099c5 100644 --- a/test/test18-03.txt +++ b/test/test18-03.txt @@ -25,19 +25,19 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr2, convert_expr : 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, -type_decl Data1: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -type_decl Data1: ptr1->val, ptr2, -integer_cst 64: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst 100: ptr1->val, ptr2, +component_ref : ptr2, +indirect_ref : 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, +integer_cst 64: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_cst 100: ptr2, function_decl func2: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -65,29 +65,29 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr2, convert_expr : 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, -type_decl Data1: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -type_decl Data1: ptr1->val, ptr2, -integer_cst 64: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst 100: ptr1->val, ptr2, -return_expr : ptr1, ptr1->val, ptr2, -init_expr : ptr1->val, ptr2, -result_decl : ptr1->val, ptr2, -integer_type : ptr1->val, ptr2, -type_decl int: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst -2147483648: ptr1->val, ptr2, -integer_cst 2147483647: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst 0: ptr1->val, ptr2, +component_ref : ptr2, +indirect_ref : 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, +integer_cst 64: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_cst 100: ptr2, +return_expr : ptr1, ptr2, +init_expr : ptr2, +result_decl : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 32: ptr2, +integer_cst 0: ptr2, function_decl func3: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -115,33 +115,33 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test18.cpp: In function 'int func3(Data1*, Data1*)': test18.cpp:28:11: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ -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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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 100: ptr1, ptr1->val, ptr2, -return_expr : ptr1, ptr1->val, ptr2, -init_expr : ptr1, ptr1->val, ptr2, -result_decl : ptr1, ptr1->val, ptr2, -integer_type : ptr1, ptr1->val, ptr2, -type_decl int: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -integer_cst -2147483648: ptr1, ptr1->val, ptr2, -integer_cst 2147483647: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -integer_cst 0: ptr1, ptr1->val, ptr2, +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 100: ptr1, ptr2, +return_expr : ptr1, ptr2, +init_expr : ptr1, ptr2, +result_decl : 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 32: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, function_decl func4: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -170,23 +170,23 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -component_ref : ptr1, ptr1->val, ptr2, +component_ref : ptr1, ptr2, test18.cpp: In function 'void func4(Data1*, Data1*)': test18.cpp:40:11: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ -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, -type_decl Data1: ptr1, ptr1->val, ptr2, -field_decl val: ptr1, ptr1->val, ptr2, -integer_cst 32: ptr1, ptr1->val, ptr2, -type_decl Data1: 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 100: ptr1, ptr1->val, ptr2, +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 100: ptr1, ptr2, function_decl func5: statement_list : ptr1, ptr2, if_stmt : ptr1, ptr2, @@ -217,16 +217,16 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr2, convert_expr : 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, -type_decl Data1: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -type_decl Data1: ptr1->val, ptr2, -integer_cst 64: ptr1->val, ptr2, -field_decl val: ptr1->val, ptr2, -integer_cst 32: ptr1->val, ptr2, -integer_cst 100: ptr1->val, ptr2, +component_ref : ptr2, +indirect_ref : 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, +integer_cst 64: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_cst 100: ptr2, diff --git a/test/test19-03.txt b/test/test19-03.txt index d8f6c80..cfc3af8 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, 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, +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, 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, ptr1->val, ptr2, ptr3, +component_ref : ptr1, 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, 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, +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, test19.cpp:67:11: warning: Using variable 'ptr3' without checking for null pointer ptr3->val = 200; ^ -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, +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, var_decl c: ptr1, ptr2, -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, +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, 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, ptr1->val, ptr2, ptr3, +component_ref : ptr1, 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, 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, +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, test19.cpp:82:11: warning: Using variable 'ptr3' without checking for null pointer ptr3->val = 200; ^ -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, +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, var_decl c: ptr1, ptr2, -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, +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, diff --git a/test/test20-03.txt b/test/test20-03.txt index 9e65d0a..c76a426 100644 --- a/test/test20-03.txt +++ b/test/test20-03.txt @@ -18,26 +18,26 @@ statement_list : ptr1, ptr2, decl_expr : ptr1, ptr2, var_decl ptr3: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : , 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 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, -identifier_node Data1: , ptr1, ptr2, ptr3, -field_decl val: , ptr1, ptr2, ptr3, -integer_cst 32: , 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, +block : ptr1, ptr2, ptr3, +var_decl ptr3: ptr1, ptr2, ptr3, function_decl func3: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, @@ -48,12 +48,12 @@ ne_expr : ptr1, ptr2, ptr3, var_decl ptr3: ptr1, ptr2, ptr3, integer_cst 0: ptr1, ptr2, ptr3, 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, @@ -74,12 +74,12 @@ ne_expr : ptr1, ptr2, ptr3, var_decl ptr3: ptr1, ptr2, ptr3, integer_cst 0: ptr1, ptr2, ptr3, 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, cond_expr : ptr1, ptr2, ptr3, truth_andif_expr : ptr1, ptr2, ptr3, eq_expr : ptr1, ptr2, ptr3, @@ -101,18 +101,18 @@ integer_cst 32: ptr1, ptr2, ptr3, integer_cst 64: ptr1, ptr2, ptr3, integer_cst 0: ptr1, ptr2, ptr3, modify_expr : 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, -identifier_node Data1: ptr1, ptr2->val, ptr3, -field_decl val: ptr1, ptr2->val, ptr3, -integer_cst 32: 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, +component_ref : ptr1, ptr3, +indirect_ref : ptr1, ptr3, +parm_decl ptr2: ptr1, ptr3, +pointer_type : ptr1, ptr3, +record_type : ptr1, ptr3, +identifier_node Data1: ptr1, ptr3, +field_decl val: ptr1, ptr3, +integer_cst 32: ptr1, ptr3, +integer_cst 64: ptr1, ptr3, +field_decl val: ptr1, ptr3, +integer_cst 32: ptr1, ptr3, +integer_cst 200: ptr1, ptr3, var_decl ptr3: ptr1, ptr2, integer_cst 64: ptr1, ptr2, ptr3, parm_decl ptr1: ptr1, ptr2, ptr3, @@ -159,22 +159,22 @@ integer_cst 0: ptr1, ptr2, decl_expr : ptr1, ptr2, var_decl ptr3: ptr2, modify_expr : ptr1, 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, -identifier_node Data1: , ptr2, -field_decl val: , ptr2, -integer_cst 32: , 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, +block : ptr1, ptr2, +var_decl ptr3: ptr2, function_decl func6: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, @@ -211,26 +211,26 @@ integer_cst 0: ptr1, ptr2, decl_expr : ptr1, ptr2, var_decl ptr3: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : , 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 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, -identifier_node Data1: , ptr1, ptr2, ptr3, -field_decl val: , ptr1, ptr2, ptr3, -integer_cst 32: , 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, +block : ptr1, ptr2, ptr3, +var_decl ptr3: ptr1, ptr2, ptr3, function_decl func7: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, @@ -276,42 +276,42 @@ identifier_node Data1: ptr1, ptr2, ptr3, field_decl val: ptr1, ptr2, ptr3, integer_cst 32: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr1->val, 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 ptr1->val = 100; ^ -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, -identifier_node Data1: ptr1, ptr1->val, ptr2, ptr3, -field_decl val: ptr1, ptr1->val, ptr2, ptr3, -integer_cst 32: 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, -modify_expr : ptr1, ptr1->val, ptr2, ptr3, -component_ref : , ptr1, ptr1->val, ptr2, ptr3, +indirect_ref : 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_cst 64: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: 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 ptr3->val = 200; ^ -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, +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, var_decl c: ptr1, ptr2, -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, +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, function_decl func8: bind_expr : ptr1, ptr2, statement_list : ptr1, ptr2, @@ -357,39 +357,39 @@ identifier_node Data1: ptr1, ptr2, ptr3, field_decl val: ptr1, ptr2, ptr3, integer_cst 32: ptr1, ptr2, ptr3, modify_expr : ptr1, ptr2, ptr3, -component_ref : ptr1, ptr1->val, 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 ptr1->val = 100; ^ -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, -identifier_node Data1: ptr1, ptr1->val, ptr2, ptr3, -field_decl val: ptr1, ptr1->val, ptr2, ptr3, -integer_cst 32: 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, -modify_expr : ptr1, ptr1->val, ptr2, ptr3, -component_ref : , ptr1, ptr1->val, ptr2, ptr3, +indirect_ref : 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_cst 64: ptr1, ptr2, ptr3, +field_decl val: ptr1, ptr2, ptr3, +integer_cst 32: 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 ptr3->val = 200; ^ -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, +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, var_decl c: ptr1, ptr2, -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, +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, diff --git a/test/test22-03.txt b/test/test22-03.txt index 286d0a1..60d67a0 100644 --- a/test/test22-03.txt +++ b/test/test22-03.txt @@ -2676,49 +2676,49 @@ cleanup_point_expr : ptr1, expr_stmt : ptr1, convert_expr : ptr1, modify_expr : ptr1, -component_ref : , ptr1, -indirect_ref : , ptr1, -indirect_ref : , ptr1, -var_decl ptr2: , ptr1, -field_decl val: , ptr1, -integer_cst 32: , ptr1, -integer_cst 10: , ptr1, +component_ref : ptr1, +indirect_ref : ptr1, +indirect_ref : ptr1, var_decl ptr2: ptr1, -integer_cst 64: , ptr1, -addr_expr : , ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +integer_cst 10: ptr1, +var_decl ptr2: ptr1, +integer_cst 64: ptr1, +addr_expr : ptr1, test22.cpp: In member function 'int Object1::func3(Data1*)': test22.cpp:50:17: warning: Using parameter 'ptr1' without checking for null pointer Data1** ptr2 = &ptr1; ^ -parm_decl ptr1: , ptr1, -pointer_type : , ptr1, -record_type : , ptr1, -type_decl Data1: , ptr1, -field_decl val: , ptr1, -integer_cst 32: , ptr1, -field_decl ptrval: , ptr1, -integer_cst 64: , ptr1, -field_decl arr: , ptr1, -integer_cst 96: , ptr1, -field_decl str1: , ptr1, -integer_cst 64: , ptr1, -type_decl Data1: , ptr1, -integer_cst 64: , ptr1, -pointer_type : , ptr1, -pointer_type : , ptr1, -record_type : , ptr1, -type_decl Data1: , ptr1, -field_decl val: , ptr1, -integer_cst 32: , ptr1, -field_decl ptrval: , ptr1, -integer_cst 64: , ptr1, -field_decl arr: , ptr1, -integer_cst 96: , ptr1, -field_decl str1: , ptr1, -integer_cst 64: , ptr1, -type_decl Data1: , ptr1, -block : , ptr1, -var_decl ptr2: , ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +field_decl str1: ptr1, +integer_cst 64: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +pointer_type : ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +field_decl str1: ptr1, +integer_cst 64: ptr1, +type_decl Data1: ptr1, +block : ptr1, +var_decl ptr2: ptr1, function_decl func4: if_stmt : ptr1, cleanup_point_expr : ptr1, @@ -3083,35 +3083,35 @@ cleanup_point_expr : expr_stmt : convert_expr : modify_expr : -component_ref : ptr1->val, -indirect_ref : ptr1->val, -parm_decl ptr1: ptr1->val, -pointer_type : ptr1->val, -record_type : ptr1->val, -type_decl Data1: ptr1->val, -field_decl val: ptr1->val, -integer_cst 32: ptr1->val, -field_decl ptrval: ptr1->val, -integer_cst 64: ptr1->val, -field_decl arr: ptr1->val, -integer_cst 96: ptr1->val, -field_decl str1: ptr1->val, -integer_cst 64: ptr1->val, -type_decl Data1: ptr1->val, -integer_cst 64: ptr1->val, -field_decl val: ptr1->val, -integer_cst 32: ptr1->val, -integer_cst 100: ptr1->val, +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +field_decl str1: +integer_cst 64: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: +var_decl k: +integer_cst 32: +integer_cst 10: +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +block : var_decl k: -integer_cst 32: ptr1->val, -integer_cst 10: ptr1->val, -integer_type : ptr1->val, -type_decl int: ptr1->val, -integer_cst 32: ptr1->val, -integer_cst -2147483648: ptr1->val, -integer_cst 2147483647: ptr1->val, -block : ptr1->val, -var_decl k: ptr1->val, cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, @@ -3186,12 +3186,12 @@ cleanup_point_expr : expr_stmt : convert_expr : modify_expr : -component_ref : , -indirect_ref : , -var_decl ptr2: , -field_decl val: , -integer_cst 32: , -integer_cst 200: , +component_ref : +indirect_ref : +var_decl ptr2: +field_decl val: +integer_cst 32: +integer_cst 200: var_decl ptr2: ptr1, integer_cst 64: ptr1, ptr2, parm_decl ptr1: ptr1, ptr2, |