diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-21 23:24:11 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-21 23:24:11 +0300 |
commit | 067e4d19c81b0490027c793e05e82414432c3d77 (patch) | |
tree | 04c75f68b49f0063e6027c5c03482a3979260b5b /test/test27-03.txt | |
parent | 3a1e68689635cbc5bbd3748d164b0345dc52603e (diff) | |
download | paranucker-067e4d19c81b0490027c793e05e82414432c3d77.tar.gz paranucker-067e4d19c81b0490027c793e05e82414432c3d77.tar.bz2 paranucker-067e4d19c81b0490027c793e05e82414432c3d77.tar.xz paranucker-067e4d19c81b0490027c793e05e82414432c3d77.zip |
Updates tests 24, 27, 28, 29 for new features. Update test results.
Diffstat (limited to 'test/test27-03.txt')
-rw-r--r-- | test/test27-03.txt | 6098 |
1 files changed, 3288 insertions, 2810 deletions
diff --git a/test/test27-03.txt b/test/test27-03.txt index 3c116ae..4f89ffc 100644 --- a/test/test27-03.txt +++ b/test/test27-03.txt @@ -949,7 +949,7 @@ convert_expr : ptr1, this->tmp1, modify_expr : ptr1, this->tmp1, component_ref : ptr1, this->tmp1, test27.cpp: In member function 'void Object1::func1(Data1*)': -test27.cpp:53:19: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:55:19: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 300; ^ indirect_ref : ptr1, this->tmp1, @@ -1006,7 +1006,7 @@ expr_stmt : ptr1, this->tmp1, convert_expr : ptr1, this->tmp1, modify_expr : ptr1, this->tmp1, component_ref : ptr1, this->tmp1, -test27.cpp:54:19: warning: Using field 'this->tmp1' without checking for null pointer +test27.cpp:56:19: warning: Using field 'this->tmp1' without checking for null pointer tmp1->val = 400; ^ indirect_ref : ptr1, this->tmp1, @@ -1101,7 +1101,7 @@ expr_stmt : ptr1, this->tmp1, convert_expr : ptr1, this->tmp1, modify_expr : ptr1, this->tmp1, component_ref : ptr1, this->tmp1, -test27.cpp:56:15: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:58:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 500; ^ indirect_ref : ptr1, this->tmp1, @@ -1158,7 +1158,7 @@ expr_stmt : ptr1, this->tmp1, convert_expr : ptr1, this->tmp1, modify_expr : ptr1, this->tmp1, component_ref : ptr1, this->tmp1, -test27.cpp:57:15: warning: Using field 'this->tmp1' without checking for null pointer +test27.cpp:59:15: warning: Using field 'this->tmp1' without checking for null pointer tmp1->val = 600; ^ indirect_ref : ptr1, this->tmp1, @@ -1859,7 +1859,7 @@ convert_expr : ptr1, this->tmp1, this->tmp2, modify_expr : ptr1, this->tmp1, this->tmp2, component_ref : ptr1, this->tmp1, this->tmp2, test27.cpp: In member function 'void Object1::func2(Data1*)': -test27.cpp:72:19: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:74:19: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 400; ^ indirect_ref : ptr1, this->tmp1, this->tmp2, @@ -1916,7 +1916,7 @@ expr_stmt : ptr1, this->tmp1, this->tmp2, convert_expr : ptr1, this->tmp1, this->tmp2, modify_expr : ptr1, this->tmp1, this->tmp2, component_ref : ptr1, this->tmp1, this->tmp2, -test27.cpp:73:19: warning: Using field 'this->tmp1' without checking for null pointer +test27.cpp:75:19: warning: Using field 'this->tmp1' without checking for null pointer tmp1->val = 500; ^ indirect_ref : ptr1, this->tmp1, this->tmp2, @@ -2011,7 +2011,7 @@ expr_stmt : ptr1, this->tmp1, this->tmp2, convert_expr : ptr1, this->tmp1, this->tmp2, modify_expr : ptr1, this->tmp1, this->tmp2, component_ref : ptr1, this->tmp1, this->tmp2, -test27.cpp:74:19: warning: Using field 'this->tmp2' without checking for null pointer +test27.cpp:76:19: warning: Using field 'this->tmp2' without checking for null pointer tmp2->val = 600; ^ indirect_ref : ptr1, this->tmp1, this->tmp2, @@ -2106,7 +2106,7 @@ expr_stmt : ptr1, this->tmp1, this->tmp2, convert_expr : ptr1, this->tmp1, this->tmp2, modify_expr : ptr1, this->tmp1, this->tmp2, component_ref : ptr1, this->tmp1, this->tmp2, -test27.cpp:76:15: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:78:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 700; ^ indirect_ref : ptr1, this->tmp1, this->tmp2, @@ -2163,7 +2163,7 @@ expr_stmt : ptr1, this->tmp1, this->tmp2, convert_expr : ptr1, this->tmp1, this->tmp2, modify_expr : ptr1, this->tmp1, this->tmp2, component_ref : ptr1, this->tmp1, this->tmp2, -test27.cpp:77:15: warning: Using field 'this->tmp1' without checking for null pointer +test27.cpp:79:15: warning: Using field 'this->tmp1' without checking for null pointer tmp1->val = 800; ^ indirect_ref : ptr1, this->tmp1, this->tmp2, @@ -2258,7 +2258,7 @@ expr_stmt : ptr1, this->tmp1, this->tmp2, convert_expr : ptr1, this->tmp1, this->tmp2, modify_expr : ptr1, this->tmp1, this->tmp2, component_ref : ptr1, this->tmp1, this->tmp2, -test27.cpp:78:15: warning: Using field 'this->tmp2' without checking for null pointer +test27.cpp:80:15: warning: Using field 'this->tmp2' without checking for null pointer tmp2->val = 900; ^ indirect_ref : ptr1, this->tmp1, this->tmp2, @@ -2351,610 +2351,1060 @@ integer_cst 900: ptr1, this->tmp1, this->tmp2, function_decl func3: bind_expr : ptr1, statement_list : ptr1, -decl_expr : ptr1, -var_decl ptr2: ptr1, cleanup_point_expr : ptr1, expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -component_ref : ptr1, -test27.cpp: In member function 'void Object1::func3(Data1*)': -test27.cpp:84:15: warning: Using parameter 'ptr1' without checking for null pointer - ptr1->val = 100; - ^ -indirect_ref : ptr1, -parm_decl ptr1: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -integer_cst 64: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_cst 100: ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, cleanup_point_expr : ptr1, expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -parm_decl ptr1: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -field_decl ptrval: -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -field_decl ptrval: -integer_cst 64: -pointer_type : -field_decl arr: -integer_cst 96: -array_type : -type_decl Data1: -field_decl arr: -integer_cst 96: -array_type : -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_type : -integer_cst 64: -integer_cst 0: -integer_cst 2: -type_decl Data1: -integer_cst 64: -var_decl ptr2: +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, cleanup_point_expr : ptr1, -expr_stmt : -convert_expr : -modify_expr : -component_ref : -indirect_ref : -var_decl ptr2: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_cst 200: -if_stmt : ptr1, -eq_expr : -parm_decl ptr1: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -field_decl ptrval: -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -field_decl ptrval: -integer_cst 64: -pointer_type : -field_decl arr: -integer_cst 96: -array_type : -type_decl Data1: -field_decl arr: -integer_cst 96: -array_type : -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_type : -integer_cst 64: -integer_cst 0: -integer_cst 2: -type_decl Data1: -integer_cst 64: -integer_cst 0: -cleanup_point_expr : -expr_stmt : -convert_expr : -modify_expr : -component_ref : -indirect_ref : -parm_decl ptr1: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -field_decl ptrval: -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -field_decl ptrval: -integer_cst 64: -pointer_type : -field_decl arr: -integer_cst 96: -array_type : -type_decl Data1: -field_decl arr: -integer_cst 96: -array_type : -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_type : -integer_cst 64: -integer_cst 0: -integer_cst 2: -type_decl Data1: -integer_cst 64: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_cst 300: +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, cleanup_point_expr : ptr1, -expr_stmt : -convert_expr : -modify_expr : -component_ref : -indirect_ref : -parm_decl ptr1: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -field_decl ptrval: -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -field_decl ptrval: -integer_cst 64: -pointer_type : -field_decl arr: -integer_cst 96: -array_type : -type_decl Data1: -field_decl arr: -integer_cst 96: -array_type : -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_type : -integer_cst 64: -integer_cst 0: -integer_cst 2: -type_decl Data1: -integer_cst 64: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_cst 400: +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +decl_expr : ptr1, +var_decl ptr2: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, +test27.cpp: In member function 'void Object1::func3(Data1*)': +test27.cpp:108:15: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 100; + ^ +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, +integer_type : ptr1, ptr2, +type_decl int: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst -2147483648: ptr1, ptr2, +integer_cst 2147483647: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: 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, +integer_type : ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : 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_type : ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +integer_cst 2: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: 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, +integer_cst 100: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : 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, +integer_type : ptr1, ptr2, +type_decl int: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst -2147483648: ptr1, ptr2, +integer_cst 2147483647: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: 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, +integer_type : ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : 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_type : ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +integer_cst 2: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +var_decl ptr2: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, +test27.cpp:132:15: warning: Using variable 'ptr2' without checking for null pointer + ptr2->val = 200; + ^ +indirect_ref : ptr1, ptr2, +var_decl ptr2: ptr1, ptr2, +field_decl val: 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, +integer_cst 200: ptr1, ptr2, +if_stmt : ptr1, ptr2, +eq_expr : 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, +integer_type : ptr1, ptr2, +type_decl int: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst -2147483648: ptr1, ptr2, +integer_cst 2147483647: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: 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, +integer_type : ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : 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_type : ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +integer_cst 2: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, +test27.cpp:146:19: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 300; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: 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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: 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, +integer_type : ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : 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_type : ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +integer_cst 2: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: 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, +integer_cst 300: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, +test27.cpp:170:15: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 400; + ^ +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, +integer_type : ptr1, ptr2, +type_decl int: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst -2147483648: ptr1, ptr2, +integer_cst 2147483647: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: 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, +integer_type : ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : 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_type : ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +integer_cst 2: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl val: 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, +integer_cst 400: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +call_expr : ptr1, ptr2, +addr_expr : ptr1, ptr2, +function_decl paranuckerInternalTest: ptr1, ptr2, var_decl ptr2: ptr1, -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -field_decl ptrval: -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -field_decl ptrval: -integer_cst 64: -pointer_type : -field_decl arr: -integer_cst 96: -array_type : -type_decl Data1: -field_decl arr: -integer_cst 96: -array_type : -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_type : -integer_cst 64: -integer_cst 0: -integer_cst 2: -type_decl Data1: -block : ptr1, -var_decl ptr2: +integer_cst 64: 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, +integer_type : ptr1, ptr2, +type_decl int: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst -2147483648: ptr1, ptr2, +integer_cst 2147483647: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: 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, +integer_type : ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +pointer_type : ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +array_type : 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_type : ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +integer_cst 2: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +block : ptr1, ptr2, +var_decl ptr2: ptr1, ptr2, function_decl func4: bind_expr : ptr1, statement_list : ptr1, decl_expr : ptr1, -var_decl ptr2: ptr1, -cleanup_point_expr : ptr1, -expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -component_ref : ptr1, this->tmp1, -indirect_ref : ptr1, this->tmp1, -parm_decl this: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Object1: ptr1, this->tmp1, -field_decl tmp1: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl val: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -field_decl ptrval: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -field_decl arr: ptr1, this->tmp1, -integer_cst 96: ptr1, this->tmp1, -array_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl tmp2: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl val: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -field_decl ptrval: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -field_decl arr: ptr1, this->tmp1, -integer_cst 96: ptr1, this->tmp1, -array_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -type_decl Object1: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -field_decl tmp1: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl val: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -type_decl int: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_cst -2147483648: ptr1, this->tmp1, -integer_cst 2147483647: ptr1, this->tmp1, -field_decl ptrval: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl val: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -field_decl ptrval: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -field_decl arr: ptr1, this->tmp1, -integer_cst 96: ptr1, this->tmp1, -array_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl arr: ptr1, this->tmp1, -integer_cst 96: ptr1, this->tmp1, -array_type : ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -type_decl int: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_cst -2147483648: ptr1, this->tmp1, -integer_cst 2147483647: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -integer_cst 0: ptr1, this->tmp1, -integer_cst 2: ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -parm_decl ptr1: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl val: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -type_decl int: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_cst -2147483648: ptr1, this->tmp1, -integer_cst 2147483647: ptr1, this->tmp1, -field_decl ptrval: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -record_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl val: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -field_decl ptrval: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -pointer_type : ptr1, this->tmp1, -field_decl arr: ptr1, this->tmp1, -integer_cst 96: ptr1, this->tmp1, -array_type : ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -field_decl arr: ptr1, this->tmp1, -integer_cst 96: ptr1, this->tmp1, -array_type : ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -type_decl int: ptr1, this->tmp1, -integer_cst 32: ptr1, this->tmp1, -integer_cst -2147483648: ptr1, this->tmp1, -integer_cst 2147483647: ptr1, this->tmp1, -integer_type : ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -integer_cst 0: ptr1, this->tmp1, -integer_cst 2: ptr1, this->tmp1, -type_decl Data1: ptr1, this->tmp1, -integer_cst 64: ptr1, this->tmp1, -cleanup_point_expr : ptr1, this->tmp1, -expr_stmt : ptr1, this->tmp1, -convert_expr : ptr1, this->tmp1, -modify_expr : ptr1, this->tmp1, -component_ref : ptr1, -indirect_ref : ptr1, -parm_decl this: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Object1: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl tmp2: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -type_decl Object1: ptr1, -integer_cst 64: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -var_decl ptr2: ptr1, -if_stmt : ptr1, this->tmp1, -ne_expr : ptr1, -component_ref : ptr1, -indirect_ref : ptr1, -parm_decl this: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Object1: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl tmp2: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -type_decl Object1: ptr1, -integer_cst 64: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -integer_cst 0: ptr1, +var_decl ptr2: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, this->tmp1, +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl this: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl tmp2: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +parm_decl ptr1: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +cleanup_point_expr : ptr1, ptr2, this->tmp1, +expr_stmt : ptr1, ptr2, this->tmp1, +convert_expr : ptr1, ptr2, this->tmp1, +modify_expr : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl this: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl tmp2: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +var_decl ptr2: ptr1, ptr2, this->tmp1, +if_stmt : ptr1, ptr2, this->tmp1, +ne_expr : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl this: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl tmp2: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, statement_list : ptr1, cleanup_point_expr : ptr1, expr_stmt : ptr1, @@ -2962,7 +3412,7 @@ convert_expr : ptr1, modify_expr : ptr1, component_ref : ptr1, test27.cpp: In member function 'void Object1::func4(Data1*)': -test27.cpp:102:19: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:192:19: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ indirect_ref : ptr1, @@ -3106,849 +3556,864 @@ integer_cst 32: ptr1, integer_cst -2147483648: ptr1, integer_cst 2147483647: ptr1, integer_cst 200: ptr1, -statement_list : ptr1, -cleanup_point_expr : ptr1, -expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -component_ref : ptr1, -test27.cpp:107:19: warning: Using parameter 'ptr1' without checking for null pointer +statement_list : ptr1, ptr2, this->tmp1, +cleanup_point_expr : ptr1, ptr2, this->tmp1, +expr_stmt : ptr1, ptr2, this->tmp1, +convert_expr : ptr1, ptr2, this->tmp1, +modify_expr : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +test27.cpp:197:19: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 300; ^ -indirect_ref : ptr1, -parm_decl ptr1: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -integer_cst 64: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_cst 300: ptr1, -cleanup_point_expr : ptr1, -expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -component_ref : ptr1, -indirect_ref : ptr1, -component_ref : ptr1, -indirect_ref : ptr1, -parm_decl this: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Object1: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl tmp2: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -type_decl Object1: ptr1, -integer_cst 64: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_cst 400: ptr1, -cleanup_point_expr : ptr1, this->tmp1, -expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -component_ref : ptr1, -test27.cpp:110:15: warning: Using parameter 'ptr1' without checking for null pointer +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl ptr1: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_cst 300: ptr1, ptr2, this->tmp1, +cleanup_point_expr : ptr1, ptr2, this->tmp1, +expr_stmt : ptr1, ptr2, this->tmp1, +convert_expr : ptr1, ptr2, this->tmp1, +modify_expr : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +test27.cpp:198:19: warning: Using field 'this->tmp1' without checking for null pointer + tmp1->val = 400; + ^ +indirect_ref : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl this: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl tmp2: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_cst 400: ptr1, ptr2, this->tmp1, +cleanup_point_expr : ptr1, ptr2, this->tmp1, +expr_stmt : ptr1, ptr2, this->tmp1, +convert_expr : ptr1, ptr2, this->tmp1, +modify_expr : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +test27.cpp:200:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 500; ^ -indirect_ref : ptr1, -parm_decl ptr1: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -integer_cst 64: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_cst 500: ptr1, -cleanup_point_expr : ptr1, this->tmp1, -expr_stmt : ptr1, -convert_expr : ptr1, -modify_expr : ptr1, -component_ref : ptr1, -indirect_ref : ptr1, -component_ref : ptr1, -indirect_ref : ptr1, -parm_decl this: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Object1: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl tmp2: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -type_decl Object1: ptr1, -integer_cst 64: ptr1, -field_decl tmp1: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_cst 600: ptr1, -var_decl ptr2: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -record_type : ptr1, -type_decl Data1: ptr1, -field_decl val: ptr1, -integer_cst 32: ptr1, -integer_type : ptr1, -field_decl ptrval: ptr1, -integer_cst 64: ptr1, -pointer_type : ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -type_decl Data1: ptr1, -field_decl arr: ptr1, -integer_cst 96: ptr1, -array_type : ptr1, -integer_type : ptr1, -type_decl int: ptr1, -integer_cst 32: ptr1, -integer_cst -2147483648: ptr1, -integer_cst 2147483647: ptr1, -integer_type : ptr1, -integer_cst 64: ptr1, -integer_cst 0: ptr1, -integer_cst 2: ptr1, -type_decl Data1: ptr1, -block : ptr1, +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl ptr1: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_cst 500: ptr1, ptr2, this->tmp1, +cleanup_point_expr : ptr1, ptr2, this->tmp1, +expr_stmt : ptr1, ptr2, this->tmp1, +convert_expr : ptr1, ptr2, this->tmp1, +modify_expr : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +test27.cpp:201:15: warning: Using field 'this->tmp1' without checking for null pointer + tmp1->val = 600; + ^ +indirect_ref : ptr1, ptr2, this->tmp1, +component_ref : ptr1, ptr2, this->tmp1, +indirect_ref : ptr1, ptr2, this->tmp1, +parm_decl this: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl tmp2: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +type_decl Object1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +field_decl tmp1: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_cst 600: ptr1, ptr2, this->tmp1, var_decl ptr2: ptr1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +record_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl val: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +field_decl ptrval: ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +pointer_type : ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +field_decl arr: ptr1, ptr2, this->tmp1, +integer_cst 96: ptr1, ptr2, this->tmp1, +array_type : ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +type_decl int: ptr1, ptr2, this->tmp1, +integer_cst 32: ptr1, ptr2, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, this->tmp1, +integer_type : ptr1, ptr2, this->tmp1, +integer_cst 64: ptr1, ptr2, this->tmp1, +integer_cst 0: ptr1, ptr2, this->tmp1, +integer_cst 2: ptr1, ptr2, this->tmp1, +type_decl Data1: ptr1, ptr2, this->tmp1, +block : ptr1, ptr2, this->tmp1, +var_decl ptr2: ptr1, ptr2, this->tmp1, function_decl func5: bind_expr : ptr1, ptr3, statement_list : ptr1, ptr3, decl_expr : ptr1, ptr3, -var_decl ptr2: ptr1, ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr1, ptr3, -convert_expr : ptr1, ptr3, -modify_expr : ptr1, ptr3, -component_ref : ptr1, ptr3, +var_decl ptr2: 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, test27.cpp: In member function 'void Object1::func5(Data1*, Data1*)': -test27.cpp:117:15: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:207:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ -indirect_ref : ptr1, ptr3, -parm_decl ptr1: 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, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: 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, -integer_type : ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -pointer_type : ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -integer_type : ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -integer_cst 0: ptr1, ptr3, -integer_cst 2: ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -field_decl val: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -integer_cst 100: ptr1, ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr1, ptr3, -convert_expr : ptr1, ptr3, -modify_expr : ptr1, ptr3, -parm_decl ptr1: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -type_decl Data1: ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_type : ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -integer_cst 2: ptr3, -type_decl Data1: ptr3, -integer_cst 64: ptr3, -var_decl ptr2: ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr3, -convert_expr : ptr3, -modify_expr : ptr3, -component_ref : ptr3, -indirect_ref : ptr3, -var_decl ptr2: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_cst 200: ptr3, -if_stmt : ptr1, ptr3, -eq_expr : ptr3, -parm_decl ptr1: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -type_decl Data1: ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_type : ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -integer_cst 2: ptr3, -type_decl Data1: ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -cleanup_point_expr : ptr3, -expr_stmt : ptr3, -convert_expr : ptr3, -modify_expr : ptr3, -component_ref : ptr3, -indirect_ref : ptr3, -parm_decl ptr1: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -type_decl Data1: ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_type : ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -integer_cst 2: ptr3, -type_decl Data1: ptr3, -integer_cst 64: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_cst 300: ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr3, -convert_expr : ptr3, -modify_expr : ptr3, -parm_decl ptr1: 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, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: 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, -integer_type : ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -pointer_type : ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -integer_type : ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -integer_cst 0: ptr1, ptr3, -integer_cst 2: ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -parm_decl ptr3: 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, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: 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, -integer_type : ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -pointer_type : ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -integer_type : ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -integer_cst 0: ptr1, ptr3, -integer_cst 2: ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr1, ptr3, -convert_expr : ptr1, ptr3, -modify_expr : ptr1, ptr3, -component_ref : ptr1, ptr3, -test27.cpp:125:15: warning: Using parameter 'ptr1' without checking for null pointer +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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: 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_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, +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, +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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +var_decl ptr2: 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, +test27.cpp:209:15: warning: Using variable 'ptr2' without checking for null pointer + ptr2->val = 200; + ^ +indirect_ref : ptr1, ptr2, ptr3, +var_decl ptr2: ptr1, ptr2, ptr3, +field_decl val: 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, +integer_cst 200: ptr1, ptr2, ptr3, +if_stmt : ptr1, ptr2, ptr3, +eq_expr : 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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: 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, +test27.cpp:212:19: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 300; + ^ +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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: 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_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, +integer_cst 300: ptr1, ptr2, ptr3, +cleanup_point_expr : ptr1, ptr2, ptr3, +expr_stmt : ptr1, ptr2, ptr3, +convert_expr : ptr1, ptr2, ptr3, +modify_expr : 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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +parm_decl ptr3: 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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +integer_cst 64: 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, +test27.cpp:215:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 400; ^ -indirect_ref : ptr1, ptr3, -parm_decl ptr1: 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, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: 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, -integer_type : ptr1, ptr3, -field_decl ptrval: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -pointer_type : ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -field_decl arr: ptr1, ptr3, -integer_cst 96: ptr1, ptr3, -array_type : ptr1, ptr3, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -integer_type : ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -integer_cst 0: ptr1, ptr3, -integer_cst 2: ptr1, ptr3, -type_decl Data1: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, -field_decl val: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_type : ptr1, ptr3, -type_decl int: ptr1, ptr3, -integer_cst 32: ptr1, ptr3, -integer_cst -2147483648: ptr1, ptr3, -integer_cst 2147483647: ptr1, ptr3, -integer_cst 400: ptr1, ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr1, ptr3, -convert_expr : ptr1, ptr3, -modify_expr : ptr1, ptr3, -parm_decl ptr1: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -type_decl Data1: ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_type : ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -integer_cst 2: ptr3, -type_decl Data1: ptr3, -integer_cst 64: ptr3, -var_decl ptr2: ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr3, -convert_expr : ptr3, -modify_expr : ptr3, -component_ref : ptr3, -indirect_ref : ptr3, -parm_decl ptr1: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -type_decl Data1: ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_type : ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -integer_cst 2: ptr3, -type_decl Data1: ptr3, -integer_cst 64: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_cst 500: 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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: 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_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, +integer_cst 400: ptr1, ptr2, ptr3, +cleanup_point_expr : ptr1, ptr2, ptr3, +expr_stmt : ptr1, ptr2, ptr3, +convert_expr : ptr1, ptr2, ptr3, +modify_expr : 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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +var_decl ptr2: 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, +test27.cpp:217:15: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 500; + ^ +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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: 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_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, +integer_cst 500: ptr1, ptr2, ptr3, var_decl ptr2: ptr1, ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -record_type : ptr3, -type_decl Data1: ptr3, -field_decl val: ptr3, -integer_cst 32: ptr3, -integer_type : ptr3, -field_decl ptrval: ptr3, -integer_cst 64: ptr3, -pointer_type : ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -type_decl Data1: ptr3, -field_decl arr: ptr3, -integer_cst 96: ptr3, -array_type : ptr3, -integer_type : ptr3, -type_decl int: ptr3, -integer_cst 32: ptr3, -integer_cst -2147483648: ptr3, -integer_cst 2147483647: ptr3, -integer_type : ptr3, -integer_cst 64: ptr3, -integer_cst 0: ptr3, -integer_cst 2: ptr3, -type_decl Data1: ptr3, -block : ptr1, ptr3, -var_decl ptr2: ptr3, +integer_cst 64: 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, +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, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: 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, +integer_type : ptr1, ptr2, ptr3, +field_decl ptrval: ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +pointer_type : ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +field_decl arr: ptr1, ptr2, ptr3, +integer_cst 96: ptr1, ptr2, ptr3, +array_type : 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, +integer_type : ptr1, ptr2, ptr3, +integer_cst 64: ptr1, ptr2, ptr3, +integer_cst 0: ptr1, ptr2, ptr3, +integer_cst 2: ptr1, ptr2, ptr3, +type_decl Data1: ptr1, ptr2, ptr3, +block : ptr1, ptr2, ptr3, +var_decl ptr2: ptr1, ptr2, ptr3, function_decl func6: statement_list : ptr1, ptr3, cleanup_point_expr : ptr1, ptr3, @@ -3957,7 +4422,7 @@ convert_expr : ptr1, ptr3, modify_expr : ptr1, ptr3, component_ref : ptr1, ptr3, test27.cpp: In member function 'void Object1::func6(Data1*, Data1*)': -test27.cpp:132:15: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:222:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ indirect_ref : ptr1, ptr3, @@ -4409,7 +4874,7 @@ expr_stmt : ptr1, ptr3, convert_expr : ptr1, ptr3, modify_expr : ptr1, ptr3, component_ref : ptr1, ptr3, -test27.cpp:140:15: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:230:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 400; ^ indirect_ref : ptr1, ptr3, @@ -4641,1394 +5106,1407 @@ function_decl func7: bind_expr : ptr1, ptr3, statement_list : ptr1, ptr3, decl_expr : ptr1, ptr3, -var_decl ptr2: ptr1, ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr1, ptr3, -convert_expr : ptr1, ptr3, -modify_expr : ptr1, ptr3, -component_ref : ptr1, ptr3, this->tmp1, -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl this: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl tmp2: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -parm_decl ptr3: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -component_ref : ptr1, ptr3, this->tmp1, +var_decl ptr2: 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, this->tmp1, +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl this: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp2: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr3: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, test27.cpp: In member function 'void Object1::func7(Data1*, Data1*)': -test27.cpp:149:15: warning: Using parameter 'ptr1' without checking for null pointer +test27.cpp:239:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 100; ^ -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_cst 100: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -var_decl ptr2: ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -component_ref : ptr3, this->tmp1, -indirect_ref : ptr3, this->tmp1, -var_decl ptr2: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_cst 200: ptr3, this->tmp1, -if_stmt : ptr1, ptr3, this->tmp1, -eq_expr : ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -cleanup_point_expr : ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -component_ref : ptr3, this->tmp1, -indirect_ref : ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_cst 300: ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -parm_decl ptr3: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -component_ref : ptr1, ptr3, this->tmp1, -test27.cpp:157:15: warning: Using parameter 'ptr1' without checking for null pointer +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 100: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +var_decl ptr2: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +test27.cpp:241:15: warning: Using variable 'ptr2' without checking for null pointer + ptr2->val = 200; + ^ +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +var_decl ptr2: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 200: ptr1, ptr2, ptr3, this->tmp1, +if_stmt : ptr1, ptr2, ptr3, this->tmp1, +eq_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +test27.cpp:244:19: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 300; + ^ +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 300: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr3: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +test27.cpp:247:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 400; ^ -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_cst 400: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -component_ref : ptr1, ptr3, this->tmp1, -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl this: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl tmp2: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -component_ref : ptr1, ptr3, this->tmp1, -test27.cpp:159:15: warning: Using parameter 'ptr1' without checking for null pointer +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 400: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl this: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp2: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +test27.cpp:249:15: warning: Using parameter 'ptr1' without checking for null pointer ptr1->val = 500; ^ -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_cst 500: ptr1, ptr3, this->tmp1, +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 500: ptr1, ptr2, ptr3, this->tmp1, var_decl ptr2: ptr1, ptr3, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -block : ptr1, ptr3, this->tmp1, -var_decl ptr2: ptr1, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +block : ptr1, ptr2, ptr3, this->tmp1, +var_decl ptr2: ptr1, ptr2, ptr3, this->tmp1, function_decl func8: bind_expr : ptr1, ptr3, statement_list : ptr1, ptr3, decl_expr : ptr1, ptr3, -var_decl ptr2: ptr1, ptr3, -cleanup_point_expr : ptr1, ptr3, -expr_stmt : ptr1, ptr3, -convert_expr : ptr1, ptr3, -modify_expr : ptr1, ptr3, -component_ref : ptr1, ptr3, this->tmp1, -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl this: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl tmp2: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -parm_decl ptr3: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -if_stmt : ptr1, ptr3, this->tmp1, -ne_expr : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -component_ref : ptr3, this->tmp1, -indirect_ref : ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_cst 100: ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -var_decl ptr2: ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -component_ref : ptr3, this->tmp1, -indirect_ref : ptr3, this->tmp1, -var_decl ptr2: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_cst 200: ptr3, this->tmp1, -if_stmt : ptr1, ptr3, this->tmp1, -eq_expr : ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -cleanup_point_expr : ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -component_ref : ptr3, this->tmp1, -indirect_ref : ptr3, this->tmp1, -parm_decl ptr1: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -record_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -field_decl ptrval: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -pointer_type : ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -field_decl arr: ptr3, this->tmp1, -integer_cst 96: ptr3, this->tmp1, -array_type : ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -integer_cst 0: ptr3, this->tmp1, -integer_cst 2: ptr3, this->tmp1, -type_decl Data1: ptr3, this->tmp1, -integer_cst 64: ptr3, this->tmp1, -field_decl val: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_type : ptr3, this->tmp1, -type_decl int: ptr3, this->tmp1, -integer_cst 32: ptr3, this->tmp1, -integer_cst -2147483648: ptr3, this->tmp1, -integer_cst 2147483647: ptr3, this->tmp1, -integer_cst 300: ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr3, this->tmp1, -convert_expr : ptr3, this->tmp1, -modify_expr : ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -parm_decl ptr3: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -if_stmt : ptr1, ptr3, this->tmp1, -ne_expr : ptr1, ptr3, this->tmp1, -parm_decl ptr3: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -cleanup_point_expr : -expr_stmt : -convert_expr : -modify_expr : -component_ref : -indirect_ref : -parm_decl ptr1: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -field_decl ptrval: -integer_cst 64: -pointer_type : -record_type : -type_decl Data1: -field_decl val: -integer_cst 32: -integer_type : -field_decl ptrval: -integer_cst 64: -pointer_type : -field_decl arr: -integer_cst 96: -array_type : -type_decl Data1: -field_decl arr: -integer_cst 96: -array_type : -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_type : -integer_cst 64: -integer_cst 0: -integer_cst 2: -type_decl Data1: -integer_cst 64: -field_decl val: -integer_cst 32: -integer_type : -type_decl int: -integer_cst 32: -integer_cst -2147483648: -integer_cst 2147483647: -integer_cst 400: -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, -parm_decl ptr1: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -component_ref : ptr1, ptr3, this->tmp1, -indirect_ref : ptr1, ptr3, this->tmp1, -parm_decl this: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl tmp2: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -type_decl Object1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -field_decl tmp1: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -record_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl val: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -field_decl ptrval: ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -pointer_type : ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -field_decl arr: ptr1, ptr3, this->tmp1, -integer_cst 96: ptr1, ptr3, this->tmp1, -array_type : ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -type_decl int: ptr1, ptr3, this->tmp1, -integer_cst 32: ptr1, ptr3, this->tmp1, -integer_cst -2147483648: ptr1, ptr3, this->tmp1, -integer_cst 2147483647: ptr1, ptr3, this->tmp1, -integer_type : ptr1, ptr3, this->tmp1, -integer_cst 64: ptr1, ptr3, this->tmp1, -integer_cst 0: ptr1, ptr3, this->tmp1, -integer_cst 2: ptr1, ptr3, this->tmp1, -type_decl Data1: ptr1, ptr3, this->tmp1, -cleanup_point_expr : ptr1, ptr3, this->tmp1, -expr_stmt : ptr1, ptr3, this->tmp1, -convert_expr : ptr1, ptr3, this->tmp1, -modify_expr : ptr1, ptr3, this->tmp1, +var_decl ptr2: 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, this->tmp1, +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl this: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp2: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr3: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +if_stmt : ptr1, ptr2, ptr3, this->tmp1, +ne_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr2, ptr3, this->tmp1, +expr_stmt : ptr2, ptr3, this->tmp1, +convert_expr : ptr2, ptr3, this->tmp1, +modify_expr : ptr2, ptr3, this->tmp1, +component_ref : ptr2, ptr3, this->tmp1, +indirect_ref : ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr2, ptr3, this->tmp1, +pointer_type : ptr2, ptr3, this->tmp1, +record_type : ptr2, ptr3, this->tmp1, +type_decl Data1: ptr2, ptr3, this->tmp1, +field_decl val: ptr2, ptr3, this->tmp1, +integer_cst 32: ptr2, ptr3, this->tmp1, +integer_type : ptr2, ptr3, this->tmp1, +type_decl int: ptr2, ptr3, this->tmp1, +integer_cst 32: ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr2, ptr3, this->tmp1, +integer_cst 64: ptr2, ptr3, this->tmp1, +pointer_type : ptr2, ptr3, this->tmp1, +record_type : ptr2, ptr3, this->tmp1, +type_decl Data1: ptr2, ptr3, this->tmp1, +field_decl val: ptr2, ptr3, this->tmp1, +integer_cst 32: ptr2, ptr3, this->tmp1, +integer_type : ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr2, ptr3, this->tmp1, +integer_cst 64: ptr2, ptr3, this->tmp1, +pointer_type : ptr2, ptr3, this->tmp1, +field_decl arr: ptr2, ptr3, this->tmp1, +integer_cst 96: ptr2, ptr3, this->tmp1, +array_type : ptr2, ptr3, this->tmp1, +type_decl Data1: ptr2, ptr3, this->tmp1, +field_decl arr: ptr2, ptr3, this->tmp1, +integer_cst 96: ptr2, ptr3, this->tmp1, +array_type : ptr2, ptr3, this->tmp1, +integer_type : ptr2, ptr3, this->tmp1, +type_decl int: ptr2, ptr3, this->tmp1, +integer_cst 32: ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr2, ptr3, this->tmp1, +integer_type : ptr2, ptr3, this->tmp1, +integer_cst 64: ptr2, ptr3, this->tmp1, +integer_cst 0: ptr2, ptr3, this->tmp1, +integer_cst 2: ptr2, ptr3, this->tmp1, +type_decl Data1: ptr2, ptr3, this->tmp1, +integer_cst 64: ptr2, ptr3, this->tmp1, +field_decl val: ptr2, ptr3, this->tmp1, +integer_cst 32: ptr2, ptr3, this->tmp1, +integer_type : ptr2, ptr3, this->tmp1, +type_decl int: ptr2, ptr3, this->tmp1, +integer_cst 32: ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr2, ptr3, this->tmp1, +integer_cst 100: ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +var_decl ptr2: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +test27.cpp: In member function 'void Object1::func8(Data1*, Data1*)': +test27.cpp:259:15: warning: Using variable 'ptr2' without checking for null pointer + ptr2->val = 200; + ^ +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +var_decl ptr2: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 200: ptr1, ptr2, ptr3, this->tmp1, +if_stmt : ptr1, ptr2, ptr3, this->tmp1, +eq_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +test27.cpp:262:19: warning: Using parameter 'ptr1' without checking for null pointer + ptr1->val = 300; + ^ +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 300: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr3: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +if_stmt : ptr1, ptr2, ptr3, this->tmp1, +ne_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr3: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : 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, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +pointer_type : ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +array_type : ptr2, +type_decl Data1: ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +array_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_type : ptr2, +integer_cst 64: ptr2, +integer_cst 0: ptr2, +integer_cst 2: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 400: ptr2, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, +parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +component_ref : ptr1, ptr2, ptr3, this->tmp1, +indirect_ref : ptr1, ptr2, ptr3, this->tmp1, +parm_decl this: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp2: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +type_decl Object1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +field_decl tmp1: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +record_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl val: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl ptrval: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +pointer_type : ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +field_decl arr: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 96: ptr1, ptr2, ptr3, this->tmp1, +array_type : ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +type_decl int: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 32: ptr1, ptr2, ptr3, this->tmp1, +integer_cst -2147483648: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2147483647: ptr1, ptr2, ptr3, this->tmp1, +integer_type : ptr1, ptr2, ptr3, this->tmp1, +integer_cst 64: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 0: ptr1, ptr2, ptr3, this->tmp1, +integer_cst 2: ptr1, ptr2, ptr3, this->tmp1, +type_decl Data1: ptr1, ptr2, ptr3, this->tmp1, +cleanup_point_expr : ptr1, ptr2, ptr3, this->tmp1, +expr_stmt : ptr1, ptr2, ptr3, this->tmp1, +convert_expr : ptr1, ptr2, ptr3, this->tmp1, +modify_expr : ptr1, ptr2, ptr3, this->tmp1, var_decl ptr2: ptr1, ptr2, ptr3, this->tmp1, parm_decl ptr1: ptr1, ptr2, ptr3, this->tmp1, pointer_type : ptr1, ptr2, ptr3, this->tmp1, |