diff options
-rw-r--r-- | test/test10-01.txt | 1313 | ||||
-rw-r--r-- | test/test10-02.txt | 4 | ||||
-rw-r--r-- | test/test10-03.txt | 531 | ||||
-rw-r--r-- | test/test10-04.txt | 87 | ||||
-rw-r--r-- | test/test10.cpp | 72 |
5 files changed, 1781 insertions, 226 deletions
diff --git a/test/test10-01.txt b/test/test10-01.txt index 79305d3..32dff57 100644 --- a/test/test10-01.txt +++ b/test/test10-01.txt @@ -136,8 +136,8 @@ function_decl func1 test10.cpp 5:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 400 - operand - cleanup_point_expr test10.cpp 14:24 - else - expr_stmt test10.cpp 14:24 - operand + cleanup_point_expr test10.cpp 13:24 - else + expr_stmt test10.cpp 13:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand @@ -154,8 +154,8 @@ function_decl func1 test10.cpp 5:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 17:20 - statement - expr_stmt test10.cpp 17:20 - operand + cleanup_point_expr test10.cpp 16:20 - statement + expr_stmt test10.cpp 16:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand @@ -172,8 +172,8 @@ function_decl func1 test10.cpp 5:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - cleanup_point_expr test10.cpp 18:20 - statement - expr_stmt test10.cpp 18:20 - operand + cleanup_point_expr test10.cpp 17:20 - statement + expr_stmt test10.cpp 17:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand @@ -190,7 +190,7 @@ function_decl func1 test10.cpp 5:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 300 - operand -function_decl func2 test10.cpp 21:10 +function_decl func2 test10.cpp 20:10 - isPublic: 1 method_type - function type void_type - method return type @@ -238,12 +238,12 @@ function_decl func2 test10.cpp 21:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 22:5 - function result + result_decl test10.cpp 21:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - parm_decl this test10.cpp 21:36 - argument + parm_decl this test10.cpp 20:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -256,7 +256,7 @@ function_decl func2 test10.cpp 21:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 21:21 - argument + parm_decl ptr1 test10.cpp 20:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -268,7 +268,7 @@ function_decl func2 test10.cpp 21:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 21:32 - argument + parm_decl ptr2 test10.cpp 20:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -280,11 +280,11 @@ function_decl func2 test10.cpp 21:10 integer_cst 2147483647 - max value integer_cst 64 - parm size statement_list - code - if_stmt test10.cpp 23:9 - statement - truth_orif_expr test10.cpp 23:18 - condition + if_stmt test10.cpp 22:9 - statement + truth_orif_expr test10.cpp 22:18 - condition ne_expr - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 21:21 - operand + parm_decl ptr1 test10.cpp 20:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -298,7 +298,7 @@ function_decl func2 test10.cpp 21:10 integer_cst 0 - operand ne_expr - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 21:32 - operand + parm_decl ptr2 test10.cpp 20:32 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -311,13 +311,13 @@ function_decl func2 test10.cpp 21:10 integer_cst 64 - parm size integer_cst 0 - operand statement_list - then - cleanup_point_expr test10.cpp 25:24 - statement - expr_stmt test10.cpp 25:24 - operand + cleanup_point_expr test10.cpp 24:24 - statement + expr_stmt test10.cpp 24:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 21:32 - ref + parm_decl ptr2 test10.cpp 20:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -329,14 +329,14 @@ function_decl func2 test10.cpp 21:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 400 - operand - return_expr test10.cpp 26:13 - statement - cleanup_point_expr test10.cpp 30:24 - else - expr_stmt test10.cpp 30:24 - operand + return_expr test10.cpp 25:13 - statement + cleanup_point_expr test10.cpp 29:24 - else + expr_stmt test10.cpp 29:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 21:21 - ref + parm_decl ptr1 test10.cpp 20:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -348,13 +348,13 @@ function_decl func2 test10.cpp 21:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 33:20 - statement - expr_stmt test10.cpp 33:20 - operand + cleanup_point_expr test10.cpp 32:20 - statement + expr_stmt test10.cpp 32:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 21:21 - ref + parm_decl ptr1 test10.cpp 20:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -366,13 +366,13 @@ function_decl func2 test10.cpp 21:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - cleanup_point_expr test10.cpp 34:20 - statement - expr_stmt test10.cpp 34:20 - operand + cleanup_point_expr test10.cpp 33:20 - statement + expr_stmt test10.cpp 33:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 21:32 - ref + parm_decl ptr2 test10.cpp 20:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -384,7 +384,7 @@ function_decl func2 test10.cpp 21:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 300 - operand -function_decl func3 test10.cpp 37:10 +function_decl func3 test10.cpp 36:10 - isPublic: 1 method_type - function type void_type - method return type @@ -432,13 +432,13 @@ function_decl func3 test10.cpp 37:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 38:5 - function result + result_decl test10.cpp 37:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - isUsed: 1 - parm_decl this test10.cpp 37:36 - argument + parm_decl this test10.cpp 36:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -451,7 +451,7 @@ function_decl func3 test10.cpp 37:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 37:21 - argument + parm_decl ptr1 test10.cpp 36:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -463,7 +463,7 @@ function_decl func3 test10.cpp 37:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 37:32 - argument + parm_decl ptr2 test10.cpp 36:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -474,8 +474,8 @@ function_decl func3 test10.cpp 37:10 integer_cst -2147483648 - min value integer_cst 2147483647 - max value integer_cst 64 - parm size - bind_expr test10.cpp 50:20 - code - var_decl c test10.cpp 39:13 - operand + bind_expr test10.cpp 49:20 - code + var_decl c test10.cpp 38:13 - operand - isUsed: 1 integer_cst 32 - decl size integer_type - var type @@ -487,17 +487,17 @@ function_decl func3 test10.cpp 37:10 integer_cst -2147483648 - min value integer_cst 2147483647 - max value statement_list - operand - decl_expr test10.cpp 39:13 - statement - var_decl c test10.cpp 39:13 - operand + decl_expr test10.cpp 38:13 - statement + var_decl c test10.cpp 38:13 - operand - isUsed: 1 - if_stmt test10.cpp 40:9 - statement - truth_orif_expr test10.cpp 40:20 - condition - eq_expr test10.cpp 40:15 - operand - component_ref test10.cpp 40:13 - operand + if_stmt test10.cpp 39:9 - statement + truth_orif_expr test10.cpp 39:20 - condition + eq_expr test10.cpp 39:15 - operand + component_ref test10.cpp 39:13 - operand indirect_ref - object nop_expr - ref - isUsed: 1 - parm_decl this test10.cpp 37:36 - operand + parm_decl this test10.cpp 36:36 - operand - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -512,11 +512,11 @@ function_decl func3 test10.cpp 37:10 field_decl k test10.cpp 3:9 - field - signed integer_cst 32 - decl size - var_decl c test10.cpp 39:13 - operand + var_decl c test10.cpp 38:13 - operand - isUsed: 1 - eq_expr test10.cpp 40:24 - operand + eq_expr test10.cpp 39:24 - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 37:21 - operand + parm_decl ptr1 test10.cpp 36:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -528,14 +528,14 @@ function_decl func3 test10.cpp 37:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 0 - operand - return_expr test10.cpp 42:13 - then - cleanup_point_expr test10.cpp 46:24 - else - expr_stmt test10.cpp 46:24 - operand + return_expr test10.cpp 41:13 - then + cleanup_point_expr test10.cpp 45:24 - else + expr_stmt test10.cpp 45:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 37:21 - ref + parm_decl ptr1 test10.cpp 36:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -547,13 +547,13 @@ function_decl func3 test10.cpp 37:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 49:20 - statement - expr_stmt test10.cpp 49:20 - operand + cleanup_point_expr test10.cpp 48:20 - statement + expr_stmt test10.cpp 48:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 37:21 - ref + parm_decl ptr1 test10.cpp 36:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -565,13 +565,13 @@ function_decl func3 test10.cpp 37:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - cleanup_point_expr test10.cpp 50:20 - statement - expr_stmt test10.cpp 50:20 - operand + cleanup_point_expr test10.cpp 49:20 - statement + expr_stmt test10.cpp 49:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 37:32 - ref + parm_decl ptr2 test10.cpp 36:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -584,9 +584,9 @@ function_decl func3 test10.cpp 37:10 integer_cst 64 - parm size integer_cst 300 - operand block - operand - var_decl c test10.cpp 39:13 - block vars + var_decl c test10.cpp 38:13 - block vars - isUsed: 1 -function_decl func4 test10.cpp 53:10 +function_decl func4 test10.cpp 52:10 - isPublic: 1 method_type - function type void_type - method return type @@ -634,13 +634,13 @@ function_decl func4 test10.cpp 53:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 54:5 - function result + result_decl test10.cpp 53:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - isUsed: 1 - parm_decl this test10.cpp 53:36 - argument + parm_decl this test10.cpp 52:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -653,7 +653,7 @@ function_decl func4 test10.cpp 53:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 53:21 - argument + parm_decl ptr1 test10.cpp 52:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -665,7 +665,7 @@ function_decl func4 test10.cpp 53:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 53:32 - argument + parm_decl ptr2 test10.cpp 52:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -676,8 +676,8 @@ function_decl func4 test10.cpp 53:10 integer_cst -2147483648 - min value integer_cst 2147483647 - max value integer_cst 64 - parm size - bind_expr test10.cpp 66:20 - code - var_decl c test10.cpp 55:13 - operand + bind_expr test10.cpp 65:20 - code + var_decl c test10.cpp 54:13 - operand - isUsed: 1 integer_cst 32 - decl size integer_type - var type @@ -689,18 +689,18 @@ function_decl func4 test10.cpp 53:10 integer_cst -2147483648 - min value integer_cst 2147483647 - max value statement_list - operand - decl_expr test10.cpp 55:13 - statement - var_decl c test10.cpp 55:13 - operand + decl_expr test10.cpp 54:13 - statement + var_decl c test10.cpp 54:13 - operand - isUsed: 1 - if_stmt test10.cpp 56:9 - statement - truth_orif_expr test10.cpp 56:29 - condition - truth_orif_expr test10.cpp 56:20 - operand - eq_expr test10.cpp 56:15 - operand - component_ref test10.cpp 56:13 - operand + if_stmt test10.cpp 55:9 - statement + truth_orif_expr test10.cpp 55:29 - condition + truth_orif_expr test10.cpp 55:20 - operand + eq_expr test10.cpp 55:15 - operand + component_ref test10.cpp 55:13 - operand indirect_ref - object nop_expr - ref - isUsed: 1 - parm_decl this test10.cpp 53:36 - operand + parm_decl this test10.cpp 52:36 - operand - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -715,11 +715,11 @@ function_decl func4 test10.cpp 53:10 field_decl k test10.cpp 3:9 - field - signed integer_cst 32 - decl size - var_decl c test10.cpp 55:13 - operand + var_decl c test10.cpp 54:13 - operand - isUsed: 1 - eq_expr test10.cpp 56:24 - operand + eq_expr test10.cpp 55:24 - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 53:21 - operand + parm_decl ptr1 test10.cpp 52:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -731,9 +731,9 @@ function_decl func4 test10.cpp 53:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 0 - operand - eq_expr test10.cpp 56:33 - operand + eq_expr test10.cpp 55:33 - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 53:32 - operand + parm_decl ptr2 test10.cpp 52:32 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -745,14 +745,14 @@ function_decl func4 test10.cpp 53:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 0 - operand - return_expr test10.cpp 58:13 - then - cleanup_point_expr test10.cpp 62:24 - else - expr_stmt test10.cpp 62:24 - operand + return_expr test10.cpp 57:13 - then + cleanup_point_expr test10.cpp 61:24 - else + expr_stmt test10.cpp 61:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 53:21 - ref + parm_decl ptr1 test10.cpp 52:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -764,13 +764,13 @@ function_decl func4 test10.cpp 53:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 65:20 - statement - expr_stmt test10.cpp 65:20 - operand + cleanup_point_expr test10.cpp 64:20 - statement + expr_stmt test10.cpp 64:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 53:21 - ref + parm_decl ptr1 test10.cpp 52:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -782,13 +782,13 @@ function_decl func4 test10.cpp 53:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - cleanup_point_expr test10.cpp 66:20 - statement - expr_stmt test10.cpp 66:20 - operand + cleanup_point_expr test10.cpp 65:20 - statement + expr_stmt test10.cpp 65:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 53:32 - ref + parm_decl ptr2 test10.cpp 52:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -801,9 +801,9 @@ function_decl func4 test10.cpp 53:10 integer_cst 64 - parm size integer_cst 300 - operand block - operand - var_decl c test10.cpp 55:13 - block vars + var_decl c test10.cpp 54:13 - block vars - isUsed: 1 -function_decl func5 test10.cpp 69:10 +function_decl func5 test10.cpp 68:10 - isPublic: 1 method_type - function type void_type - method return type @@ -851,13 +851,13 @@ function_decl func5 test10.cpp 69:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 70:5 - function result + result_decl test10.cpp 69:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - isUsed: 1 - parm_decl this test10.cpp 69:36 - argument + parm_decl this test10.cpp 68:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -870,7 +870,7 @@ function_decl func5 test10.cpp 69:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 69:21 - argument + parm_decl ptr1 test10.cpp 68:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -882,7 +882,7 @@ function_decl func5 test10.cpp 69:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 69:32 - argument + parm_decl ptr2 test10.cpp 68:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -893,8 +893,8 @@ function_decl func5 test10.cpp 69:10 integer_cst -2147483648 - min value integer_cst 2147483647 - max value integer_cst 64 - parm size - bind_expr test10.cpp 82:20 - code - var_decl c test10.cpp 71:13 - operand + bind_expr test10.cpp 81:20 - code + var_decl c test10.cpp 70:13 - operand - isUsed: 1 integer_cst 32 - decl size integer_type - var type @@ -906,15 +906,15 @@ function_decl func5 test10.cpp 69:10 integer_cst -2147483648 - min value integer_cst 2147483647 - max value statement_list - operand - decl_expr test10.cpp 71:13 - statement - var_decl c test10.cpp 71:13 - operand + decl_expr test10.cpp 70:13 - statement + var_decl c test10.cpp 70:13 - operand - isUsed: 1 - if_stmt test10.cpp 72:9 - statement - truth_orif_expr test10.cpp 72:28 - condition - truth_orif_expr test10.cpp 72:19 - operand - eq_expr test10.cpp 72:14 - operand + if_stmt test10.cpp 71:9 - statement + truth_orif_expr test10.cpp 71:28 - condition + truth_orif_expr test10.cpp 71:19 - operand + eq_expr test10.cpp 71:14 - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 69:21 - operand + parm_decl ptr1 test10.cpp 68:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -926,9 +926,9 @@ function_decl func5 test10.cpp 69:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 0 - operand - eq_expr test10.cpp 72:23 - operand + eq_expr test10.cpp 71:23 - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 69:32 - operand + parm_decl ptr2 test10.cpp 68:32 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -940,12 +940,12 @@ function_decl func5 test10.cpp 69:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 0 - operand - eq_expr test10.cpp 72:33 - operand - component_ref test10.cpp 72:31 - operand + eq_expr test10.cpp 71:33 - operand + component_ref test10.cpp 71:31 - operand indirect_ref - object nop_expr - ref - isUsed: 1 - parm_decl this test10.cpp 69:36 - operand + parm_decl this test10.cpp 68:36 - operand - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -960,22 +960,22 @@ function_decl func5 test10.cpp 69:10 field_decl k test10.cpp 3:9 - field - signed integer_cst 32 - decl size - var_decl c test10.cpp 71:13 - operand + var_decl c test10.cpp 70:13 - operand - isUsed: 1 - cleanup_point_expr test10.cpp 74:18 - then - expr_stmt test10.cpp 74:18 - operand + cleanup_point_expr test10.cpp 73:18 - then + expr_stmt test10.cpp 73:18 - operand convert_expr - expresssion modify_expr - operand - var_decl c test10.cpp 71:13 - operand + var_decl c test10.cpp 70:13 - operand - isUsed: 1 integer_cst 3 - operand - cleanup_point_expr test10.cpp 78:24 - else - expr_stmt test10.cpp 78:24 - operand + cleanup_point_expr test10.cpp 77:24 - else + expr_stmt test10.cpp 77:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 69:21 - ref + parm_decl ptr1 test10.cpp 68:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -987,13 +987,13 @@ function_decl func5 test10.cpp 69:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 81:20 - statement - expr_stmt test10.cpp 81:20 - operand + cleanup_point_expr test10.cpp 80:20 - statement + expr_stmt test10.cpp 80:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 69:21 - ref + parm_decl ptr1 test10.cpp 68:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1005,13 +1005,13 @@ function_decl func5 test10.cpp 69:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - cleanup_point_expr test10.cpp 82:20 - statement - expr_stmt test10.cpp 82:20 - operand + cleanup_point_expr test10.cpp 81:20 - statement + expr_stmt test10.cpp 81:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 69:32 - ref + parm_decl ptr2 test10.cpp 68:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1024,9 +1024,9 @@ function_decl func5 test10.cpp 69:10 integer_cst 64 - parm size integer_cst 300 - operand block - operand - var_decl c test10.cpp 71:13 - block vars + var_decl c test10.cpp 70:13 - block vars - isUsed: 1 -function_decl func6 test10.cpp 85:10 +function_decl func6 test10.cpp 84:10 - isPublic: 1 method_type - function type void_type - method return type @@ -1074,12 +1074,12 @@ function_decl func6 test10.cpp 85:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 86:5 - function result + result_decl test10.cpp 85:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - parm_decl this test10.cpp 85:36 - argument + parm_decl this test10.cpp 84:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -1092,7 +1092,7 @@ function_decl func6 test10.cpp 85:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 85:21 - argument + parm_decl ptr1 test10.cpp 84:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1104,7 +1104,7 @@ function_decl func6 test10.cpp 85:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 85:32 - argument + parm_decl ptr2 test10.cpp 84:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1116,11 +1116,11 @@ function_decl func6 test10.cpp 85:10 integer_cst 2147483647 - max value integer_cst 64 - parm size statement_list - code - if_stmt test10.cpp 87:9 - statement - truth_andif_expr test10.cpp 87:18 - condition + if_stmt test10.cpp 86:9 - statement + truth_andif_expr test10.cpp 86:18 - condition ne_expr - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 85:21 - operand + parm_decl ptr1 test10.cpp 84:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1134,7 +1134,7 @@ function_decl func6 test10.cpp 85:10 integer_cst 0 - operand ne_expr - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 85:32 - operand + parm_decl ptr2 test10.cpp 84:32 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1147,13 +1147,13 @@ function_decl func6 test10.cpp 85:10 integer_cst 64 - parm size integer_cst 0 - operand statement_list - then - cleanup_point_expr test10.cpp 89:24 - statement - expr_stmt test10.cpp 89:24 - operand + cleanup_point_expr test10.cpp 88:24 - statement + expr_stmt test10.cpp 88:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 85:21 - ref + parm_decl ptr1 test10.cpp 84:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1165,13 +1165,13 @@ function_decl func6 test10.cpp 85:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 90:24 - statement - expr_stmt test10.cpp 90:24 - operand + cleanup_point_expr test10.cpp 89:24 - statement + expr_stmt test10.cpp 89:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 85:32 - ref + parm_decl ptr2 test10.cpp 84:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1183,14 +1183,14 @@ function_decl func6 test10.cpp 85:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - return_expr test10.cpp 94:13 - else - cleanup_point_expr test10.cpp 97:20 - statement - expr_stmt test10.cpp 97:20 - operand + return_expr test10.cpp 93:13 - else + cleanup_point_expr test10.cpp 96:20 - statement + expr_stmt test10.cpp 96:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 85:21 - ref + parm_decl ptr1 test10.cpp 84:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1202,13 +1202,13 @@ function_decl func6 test10.cpp 85:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 300 - operand - cleanup_point_expr test10.cpp 98:20 - statement - expr_stmt test10.cpp 98:20 - operand + cleanup_point_expr test10.cpp 97:20 - statement + expr_stmt test10.cpp 97:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 85:32 - ref + parm_decl ptr2 test10.cpp 84:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1220,7 +1220,7 @@ function_decl func6 test10.cpp 85:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 400 - operand -function_decl func7 test10.cpp 101:10 +function_decl func7 test10.cpp 100:10 - isPublic: 1 method_type - function type void_type - method return type @@ -1268,12 +1268,12 @@ function_decl func7 test10.cpp 101:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 102:5 - function result + result_decl test10.cpp 101:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - parm_decl this test10.cpp 101:36 - argument + parm_decl this test10.cpp 100:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -1286,7 +1286,7 @@ function_decl func7 test10.cpp 101:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 101:21 - argument + parm_decl ptr1 test10.cpp 100:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1298,7 +1298,7 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 101:32 - argument + parm_decl ptr2 test10.cpp 100:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1310,11 +1310,11 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size statement_list - code - if_stmt test10.cpp 103:9 - statement - truth_andif_expr test10.cpp 103:19 - condition - eq_expr test10.cpp 103:14 - operand + if_stmt test10.cpp 102:9 - statement + truth_andif_expr test10.cpp 102:19 - condition + eq_expr test10.cpp 102:14 - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 101:21 - operand + parm_decl ptr1 test10.cpp 100:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1326,9 +1326,9 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 0 - operand - eq_expr test10.cpp 103:23 - operand + eq_expr test10.cpp 102:23 - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 101:32 - operand + parm_decl ptr2 test10.cpp 100:32 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1341,13 +1341,13 @@ function_decl func7 test10.cpp 101:10 integer_cst 64 - parm size integer_cst 0 - operand statement_list - then - cleanup_point_expr test10.cpp 105:24 - statement - expr_stmt test10.cpp 105:24 - operand + cleanup_point_expr test10.cpp 104:24 - statement + expr_stmt test10.cpp 104:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 101:21 - ref + parm_decl ptr1 test10.cpp 100:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1359,13 +1359,13 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 106:24 - statement - expr_stmt test10.cpp 106:24 - operand + cleanup_point_expr test10.cpp 105:24 - statement + expr_stmt test10.cpp 105:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 101:32 - ref + parm_decl ptr2 test10.cpp 100:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1377,14 +1377,14 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - return_expr test10.cpp 110:13 - else - cleanup_point_expr test10.cpp 113:20 - statement - expr_stmt test10.cpp 113:20 - operand + return_expr test10.cpp 109:13 - else + cleanup_point_expr test10.cpp 112:20 - statement + expr_stmt test10.cpp 112:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 101:21 - ref + parm_decl ptr1 test10.cpp 100:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1396,13 +1396,13 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 300 - operand - cleanup_point_expr test10.cpp 114:20 - statement - expr_stmt test10.cpp 114:20 - operand + cleanup_point_expr test10.cpp 113:20 - statement + expr_stmt test10.cpp 113:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 101:32 - ref + parm_decl ptr2 test10.cpp 100:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1414,7 +1414,7 @@ function_decl func7 test10.cpp 101:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 400 - operand -function_decl func8 test10.cpp 117:10 +function_decl func8 test10.cpp 116:10 - isPublic: 1 method_type - function type void_type - method return type @@ -1462,12 +1462,12 @@ function_decl func8 test10.cpp 117:10 void_type - value type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - result_decl test10.cpp 118:5 - function result + result_decl test10.cpp 117:5 - function result - isAutogenerated: 1 void_type - result type type_decl void <built-in> 0:0 - type name - isAutogenerated: 1 - parm_decl this test10.cpp 117:36 - argument + parm_decl this test10.cpp 116:36 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -1480,7 +1480,7 @@ function_decl func8 test10.cpp 117:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test10.cpp 117:21 - argument + parm_decl ptr1 test10.cpp 116:21 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1492,7 +1492,7 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test10.cpp 117:32 - argument + parm_decl ptr2 test10.cpp 116:32 - argument pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1504,11 +1504,11 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size statement_list - code - if_stmt test10.cpp 119:9 - statement - truth_andif_expr test10.cpp 119:18 - condition + if_stmt test10.cpp 118:9 - statement + truth_andif_expr test10.cpp 118:18 - condition ne_expr - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 117:21 - operand + parm_decl ptr1 test10.cpp 116:21 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1522,7 +1522,7 @@ function_decl func8 test10.cpp 117:10 integer_cst 0 - operand ne_expr - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 117:32 - operand + parm_decl ptr2 test10.cpp 116:32 - operand pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1535,13 +1535,13 @@ function_decl func8 test10.cpp 117:10 integer_cst 64 - parm size integer_cst 0 - operand statement_list - then - cleanup_point_expr test10.cpp 121:24 - statement - expr_stmt test10.cpp 121:24 - operand + cleanup_point_expr test10.cpp 120:24 - statement + expr_stmt test10.cpp 120:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 117:21 - ref + parm_decl ptr1 test10.cpp 116:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1553,13 +1553,13 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 100 - operand - cleanup_point_expr test10.cpp 122:24 - statement - expr_stmt test10.cpp 122:24 - operand + cleanup_point_expr test10.cpp 121:24 - statement + expr_stmt test10.cpp 121:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 117:32 - ref + parm_decl ptr2 test10.cpp 116:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1571,15 +1571,15 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 200 - operand - return_expr test10.cpp 123:13 - statement + return_expr test10.cpp 122:13 - statement statement_list - else - cleanup_point_expr test10.cpp 127:24 - statement - expr_stmt test10.cpp 127:24 - operand + cleanup_point_expr test10.cpp 126:24 - statement + expr_stmt test10.cpp 126:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 117:21 - ref + parm_decl ptr1 test10.cpp 116:21 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1591,13 +1591,13 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 300 - operand - cleanup_point_expr test10.cpp 128:24 - statement - expr_stmt test10.cpp 128:24 - operand + cleanup_point_expr test10.cpp 127:24 - statement + expr_stmt test10.cpp 127:24 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 117:32 - ref + parm_decl ptr2 test10.cpp 116:32 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1609,14 +1609,941 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 400 - operand - return_expr test10.cpp 129:13 - statement + return_expr test10.cpp 128:13 - statement + cleanup_point_expr test10.cpp 131:20 - statement + expr_stmt test10.cpp 131:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 116:21 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 500 - operand cleanup_point_expr test10.cpp 132:20 - statement expr_stmt test10.cpp 132:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr1 test10.cpp 117:21 - ref + parm_decl ptr2 test10.cpp 116:32 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 600 - operand +function_decl func9 test10.cpp 135:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + void_type - value + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test10.cpp 136:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + parm_decl this test10.cpp 135:36 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test10.cpp 135:21 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test10.cpp 135:32 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + statement_list - code + if_stmt test10.cpp 137:9 - statement + truth_orif_expr test10.cpp 137:18 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 135:21 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 135:32 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + statement_list - then + cleanup_point_expr test10.cpp 139:24 - statement + expr_stmt test10.cpp 139:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 135:32 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 100 - operand + return_expr test10.cpp 140:13 - statement + statement_list - else + cleanup_point_expr test10.cpp 144:24 - statement + expr_stmt test10.cpp 144:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 135:21 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 200 - operand + return_expr test10.cpp 145:13 - statement + cleanup_point_expr test10.cpp 148:20 - statement + expr_stmt test10.cpp 148:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 135:21 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 300 - operand + cleanup_point_expr test10.cpp 149:20 - statement + expr_stmt test10.cpp 149:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 135:32 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 400 - operand +function_decl func10 test10.cpp 152:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + void_type - value + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test10.cpp 153:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + - isUsed: 1 + parm_decl this test10.cpp 152:37 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test10.cpp 152:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test10.cpp 152:33 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + statement_list - code + if_stmt test10.cpp 154:9 - statement + truth_andif_expr test10.cpp 154:26 - condition + truth_andif_expr test10.cpp 154:18 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 152:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 152:33 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + ne_expr - operand + component_ref test10.cpp 154:29 - operand + indirect_ref - object + nop_expr - ref + - isUsed: 1 + parm_decl this test10.cpp 152:37 - operand + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + integer_cst 0 - operand + statement_list - then + cleanup_point_expr test10.cpp 156:24 - statement + expr_stmt test10.cpp 156:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 152:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 100 - operand + cleanup_point_expr test10.cpp 157:24 - statement + expr_stmt test10.cpp 157:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 152:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 200 - operand + return_expr test10.cpp 158:13 - statement + statement_list - else + cleanup_point_expr test10.cpp 162:24 - statement + expr_stmt test10.cpp 162:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 152:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 300 - operand + cleanup_point_expr test10.cpp 163:24 - statement + expr_stmt test10.cpp 163:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 152:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 400 - operand + cleanup_point_expr test10.cpp 166:20 - statement + expr_stmt test10.cpp 166:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 152:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 500 - operand + cleanup_point_expr test10.cpp 167:20 - statement + expr_stmt test10.cpp 167:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 152:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 600 - operand +function_decl func11 test10.cpp 170:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + void_type - value + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test10.cpp 171:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + parm_decl this test10.cpp 170:37 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test10.cpp 170:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test10.cpp 170:33 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + statement_list - code + if_stmt test10.cpp 172:9 - statement + truth_orif_expr test10.cpp 172:26 - condition + truth_andif_expr test10.cpp 172:18 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 170:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 170:33 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 170:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + statement_list - then + cleanup_point_expr test10.cpp 174:24 - statement + expr_stmt test10.cpp 174:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 170:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 100 - operand + cleanup_point_expr test10.cpp 175:24 - statement + expr_stmt test10.cpp 175:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 170:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 200 - operand + return_expr test10.cpp 176:13 - statement + statement_list - else + cleanup_point_expr test10.cpp 180:24 - statement + expr_stmt test10.cpp 180:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 170:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 300 - operand + cleanup_point_expr test10.cpp 181:24 - statement + expr_stmt test10.cpp 181:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 170:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 400 - operand + cleanup_point_expr test10.cpp 184:20 - statement + expr_stmt test10.cpp 184:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 170:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 500 - operand + cleanup_point_expr test10.cpp 185:20 - statement + expr_stmt test10.cpp 185:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 170:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 600 - operand +function_decl func12 test10.cpp 188:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + tree_list - chain + void_type - value + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test10.cpp 189:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + parm_decl this test10.cpp 188:37 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test10.cpp 1:7 - type name + - isAutogenerated: 1 + field_decl k test10.cpp 3:9 - field + - signed + integer_cst 32 - decl size + type_decl Object1 test10.cpp 2:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test10.cpp 188:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test10.cpp 188:33 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + statement_list - code + if_stmt test10.cpp 190:9 - statement + truth_orif_expr test10.cpp 190:18 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 188:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test10.cpp 190:22 - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 188:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 0 - operand + statement_list - then + cleanup_point_expr test10.cpp 192:24 - statement + expr_stmt test10.cpp 192:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 188:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 100 - operand + cleanup_point_expr test10.cpp 193:24 - statement + expr_stmt test10.cpp 193:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 188:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 200 - operand + return_expr test10.cpp 194:13 - statement + statement_list - else + cleanup_point_expr test10.cpp 198:24 - statement + expr_stmt test10.cpp 198:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 188:22 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 300 - operand + cleanup_point_expr test10.cpp 199:24 - statement + expr_stmt test10.cpp 199:24 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr2 test10.cpp 188:33 - ref + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int <built-in> 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 64 - parm size + integer_cst 400 - operand + cleanup_point_expr test10.cpp 202:20 - statement + expr_stmt test10.cpp 202:20 - operand + convert_expr - expresssion + modify_expr - operand + indirect_ref - operand + - isUsed: 1 + parm_decl ptr1 test10.cpp 188:22 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 @@ -1628,13 +2555,13 @@ function_decl func8 test10.cpp 117:10 integer_cst 2147483647 - max value integer_cst 64 - parm size integer_cst 500 - operand - cleanup_point_expr test10.cpp 133:20 - statement - expr_stmt test10.cpp 133:20 - operand + cleanup_point_expr test10.cpp 203:20 - statement + expr_stmt test10.cpp 203:20 - operand convert_expr - expresssion modify_expr - operand indirect_ref - operand - isUsed: 1 - parm_decl ptr2 test10.cpp 117:32 - ref + parm_decl ptr2 test10.cpp 188:33 - ref pointer_type - decl type integer_type - nested type - precisionBits: 32 diff --git a/test/test10-02.txt b/test/test10-02.txt index f1fa1ce..36eaea1 100644 --- a/test/test10-02.txt +++ b/test/test10-02.txt @@ -6,3 +6,7 @@ func5: pointer_type ptr1, pointer_type ptr2, func6: pointer_type ptr1, pointer_type ptr2, func7: pointer_type ptr1, pointer_type ptr2, func8: pointer_type ptr1, pointer_type ptr2, +func9: pointer_type ptr1, pointer_type ptr2, +func10: pointer_type ptr1, pointer_type ptr2, +func11: pointer_type ptr1, pointer_type ptr2, +func12: pointer_type ptr1, pointer_type ptr2, diff --git a/test/test10-03.txt b/test/test10-03.txt index 6f8d2c9..21bee41 100644 --- a/test/test10-03.txt +++ b/test/test10-03.txt @@ -44,7 +44,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:14:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:13:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 100; ^ indirect_ref : ptr1, ptr2, @@ -61,7 +61,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:17:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:16:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 200; ^ indirect_ref : ptr1, ptr2, @@ -78,7 +78,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:18:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:17:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ indirect_ref : ptr1, ptr2, @@ -121,7 +121,7 @@ expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, test10.cpp: In member function 'void Object1::func2(int*, int*)': -test10.cpp:25:24: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:24:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ indirect_ref : ptr1, ptr2, @@ -139,7 +139,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:30:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:29:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 100; ^ indirect_ref : ptr1, ptr2, @@ -156,7 +156,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:33:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:32:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 200; ^ indirect_ref : ptr1, ptr2, @@ -173,7 +173,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:34:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:33:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ indirect_ref : ptr1, ptr2, @@ -259,7 +259,7 @@ expr_stmt : ptr2, convert_expr : ptr2, modify_expr : ptr2, test10.cpp: In member function 'void Object1::func3(int*, int*)': -test10.cpp:50:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:49:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ indirect_ref : ptr2, @@ -444,7 +444,7 @@ expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, test10.cpp: In member function 'void Object1::func5(int*, int*)': -test10.cpp:81:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:80:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 200; ^ indirect_ref : ptr1, ptr2, @@ -461,7 +461,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:82:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:81:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ indirect_ref : ptr1, ptr2, @@ -588,7 +588,7 @@ expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, test10.cpp: In member function 'void Object1::func7(int*, int*)': -test10.cpp:105:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:104:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 100; ^ indirect_ref : ptr1, ptr2, @@ -605,7 +605,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:106:24: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:105:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 200; ^ indirect_ref : ptr1, ptr2, @@ -623,7 +623,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:113:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:112:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 300; ^ indirect_ref : ptr1, ptr2, @@ -640,7 +640,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:114:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:113:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ indirect_ref : ptr1, ptr2, @@ -713,7 +713,7 @@ expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, test10.cpp: In member function 'void Object1::func8(int*, int*)': -test10.cpp:127:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:126:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 300; ^ indirect_ref : ptr1, ptr2, @@ -730,7 +730,7 @@ cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, ptr2, convert_expr : ptr1, ptr2, modify_expr : ptr1, ptr2, -test10.cpp:128:24: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:127:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ indirect_ref : ptr1, ptr2, @@ -772,3 +772,502 @@ integer_cst -2147483648: integer_cst 2147483647: integer_cst 64: integer_cst 600: +function_decl func9: +statement_list : ptr1, ptr2, +if_stmt : ptr1, ptr2, +truth_orif_expr : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp: In member function 'void Object1::func9(int*, int*)': +test10.cpp:139:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 100; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 100: ptr1, ptr2, +return_expr : ptr1, ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:144:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 200; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 200: ptr1, ptr2, +return_expr : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl ptr1: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 300: +cleanup_point_expr : ptr1, ptr2, +expr_stmt : +convert_expr : +modify_expr : +indirect_ref : +parm_decl ptr2: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 400: +function_decl func10: +statement_list : ptr1, ptr2, +if_stmt : ptr1, ptr2, +truth_andif_expr : ptr1, ptr2, +truth_andif_expr : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +ne_expr : ptr1, ptr2, +component_ref : ptr1, ptr2, +indirect_ref : ptr1, ptr2, +nop_expr : ptr1, ptr2, +parm_decl this: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Object1: ptr1, ptr2, +field_decl k: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +type_decl Object1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl k: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp: In member function 'void Object1::func10(int*, int*)': +test10.cpp:156:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 100; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 100: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:157:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 200; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 200: ptr1, ptr2, +return_expr : ptr1, ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:162:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 300; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 300: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:163:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 400; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 400: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:166:20: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 500; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 500: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:167:20: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 600; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 600: ptr1, ptr2, +function_decl func11: +statement_list : ptr1, ptr2, +if_stmt : ptr1, ptr2, +truth_orif_expr : ptr1, ptr2, +truth_andif_expr : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +indirect_ref : ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 64: ptr2, +integer_cst 100: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +test10.cpp: In member function 'void Object1::func11(int*, int*)': +test10.cpp:175:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 200; + ^ +indirect_ref : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 64: ptr2, +integer_cst 200: ptr2, +return_expr : ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:180:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 300; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 300: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:181:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 400; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 400: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:184:20: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 500; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 500: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:185:20: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 600; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 600: ptr1, ptr2, +function_decl func12: +statement_list : ptr1, ptr2, +if_stmt : ptr1, ptr2, +truth_orif_expr : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +eq_expr : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +statement_list : ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp: In member function 'void Object1::func12(int*, int*)': +test10.cpp:192:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 100; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr1: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 100: ptr1, ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr1, ptr2, +convert_expr : ptr1, ptr2, +modify_expr : ptr1, ptr2, +test10.cpp:193:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 200; + ^ +indirect_ref : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_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_cst 64: ptr1, ptr2, +integer_cst 200: ptr1, ptr2, +return_expr : ptr1, ptr2, +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +indirect_ref : ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 64: ptr2, +integer_cst 300: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +test10.cpp:199:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 400; + ^ +indirect_ref : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 64: ptr2, +integer_cst 400: ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +indirect_ref : ptr2, +parm_decl ptr1: ptr2, +pointer_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 64: ptr2, +integer_cst 500: ptr2, +cleanup_point_expr : ptr1, ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +test10.cpp:203:20: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 600; + ^ +indirect_ref : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +integer_type : ptr2, +type_decl int: ptr2, +integer_cst 32: ptr2, +integer_cst -2147483648: ptr2, +integer_cst 2147483647: ptr2, +integer_cst 64: ptr2, +integer_cst 600: ptr2, diff --git a/test/test10-04.txt b/test/test10-04.txt index 6deb2e2..abb2ea2 100644 --- a/test/test10-04.txt +++ b/test/test10-04.txt @@ -2,56 +2,111 @@ test10.cpp: In member function 'void Object1::func1(int*, int*)': test10.cpp:9:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ -test10.cpp:14:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:13:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 100; ^ -test10.cpp:17:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:16:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 200; ^ -test10.cpp:18:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:17:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ test10.cpp: In member function 'void Object1::func2(int*, int*)': -test10.cpp:25:24: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:24:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ -test10.cpp:30:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:29:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 100; ^ -test10.cpp:33:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:32:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 200; ^ -test10.cpp:34:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:33:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ test10.cpp: In member function 'void Object1::func3(int*, int*)': -test10.cpp:50:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:49:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ test10.cpp: In member function 'void Object1::func5(int*, int*)': -test10.cpp:81:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:80:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 200; ^ -test10.cpp:82:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:81:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 300; ^ test10.cpp: In member function 'void Object1::func7(int*, int*)': -test10.cpp:105:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:104:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 100; ^ -test10.cpp:106:24: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:105:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 200; ^ -test10.cpp:113:20: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:112:20: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 300; ^ -test10.cpp:114:20: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:113:20: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ test10.cpp: In member function 'void Object1::func8(int*, int*)': -test10.cpp:127:24: warning: Using parameter 'ptr1' without checking for null pointer +test10.cpp:126:24: warning: Using parameter 'ptr1' without checking for null pointer *ptr1 = 300; ^ -test10.cpp:128:24: warning: Using parameter 'ptr2' without checking for null pointer +test10.cpp:127:24: warning: Using parameter 'ptr2' without checking for null pointer *ptr2 = 400; ^ +test10.cpp: In member function 'void Object1::func9(int*, int*)': +test10.cpp:139:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 100; + ^ +test10.cpp:144:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 200; + ^ +test10.cpp: In member function 'void Object1::func10(int*, int*)': +test10.cpp:156:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 100; + ^ +test10.cpp:157:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 200; + ^ +test10.cpp:162:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 300; + ^ +test10.cpp:163:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 400; + ^ +test10.cpp:166:20: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 500; + ^ +test10.cpp:167:20: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 600; + ^ +test10.cpp: In member function 'void Object1::func11(int*, int*)': +test10.cpp:175:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 200; + ^ +test10.cpp:180:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 300; + ^ +test10.cpp:181:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 400; + ^ +test10.cpp:184:20: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 500; + ^ +test10.cpp:185:20: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 600; + ^ +test10.cpp: In member function 'void Object1::func12(int*, int*)': +test10.cpp:192:24: warning: Using parameter 'ptr1' without checking for null pointer + *ptr1 = 100; + ^ +test10.cpp:193:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 200; + ^ +test10.cpp:199:24: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 400; + ^ +test10.cpp:203:20: warning: Using parameter 'ptr2' without checking for null pointer + *ptr2 = 600; + ^ diff --git a/test/test10.cpp b/test/test10.cpp index 6332cf5..4b8199d 100644 --- a/test/test10.cpp +++ b/test/test10.cpp @@ -7,7 +7,6 @@ class Object1 if (ptr1 || ptr2) { *ptr2 = 400; -// return; } else { @@ -132,4 +131,75 @@ class Object1 *ptr1 = 500; *ptr2 = 600; } + + void func9(int *ptr1, int *ptr2) + { + if (ptr1 || ptr2) + { + *ptr2 = 100; + return; + } + else + { + *ptr1 = 200; + return; + } + + *ptr1 = 300; + *ptr2 = 400; + } + + void func10(int *ptr1, int *ptr2) + { + if (ptr1 && ptr2 && k) + { + *ptr1 = 100; + *ptr2 = 200; + return; + } + else + { + *ptr1 = 300; + *ptr2 = 400; + } + + *ptr1 = 500; + *ptr2 = 600; + } + + void func11(int *ptr1, int *ptr2) + { + if (ptr1 && ptr2 || ptr1) + { + *ptr1 = 100; + *ptr2 = 200; + return; + } + else + { + *ptr1 = 300; + *ptr2 = 400; + } + + *ptr1 = 500; + *ptr2 = 600; + } + + void func12(int *ptr1, int *ptr2) + { + if (ptr1 || !ptr1) + { + *ptr1 = 100; + *ptr2 = 200; + return; + } + else + { + *ptr1 = 300; + *ptr2 = 400; + } + + *ptr1 = 500; + *ptr2 = 600; + } }; |