From 3a2cf0ac8858e6f181642d84d58ff24a001873fd Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Fri, 3 Jul 2015 19:17:39 +0300 Subject: Update test 29. --- test/test29-01.txt | 4979 ++++++++++++++++++++++++++++++++++++++++++++++++++-- test/test29-02.txt | 11 + test/test29-03.txt | 1221 +++++++++++++ test/test29-04.txt | 18 + test/test29.cpp | 298 ++++ 5 files changed, 6394 insertions(+), 133 deletions(-) diff --git a/test/test29-01.txt b/test/test29-01.txt index 8b83a21..610e59d 100644 --- a/test/test29-01.txt +++ b/test/test29-01.txt @@ -344,10 +344,91 @@ function_decl func1 test29.cpp 28:10 - isAutogenerated: 1 integer_cst 64 - parm size integer_cst 0 - operand - return_expr test29.cpp 35:13 - then - cleanup_point_expr test29.cpp 36:62 - statement - expr_stmt test29.cpp 36:62 - operand - call_expr test29.cpp 36:31 - expresssion + statement_list - then + cleanup_point_expr test29.cpp 36:66 - statement + expr_stmt test29.cpp 36:66 - operand + call_expr test29.cpp 36:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 37:64 - statement + expr_stmt test29.cpp 37:64 - operand + call_expr test29.cpp 37:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 38:65 - statement + expr_stmt test29.cpp 38:65 - operand + call_expr test29.cpp 38:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 39:74 - statement + expr_stmt test29.cpp 39:74 - operand + call_expr test29.cpp 39:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + return_expr test29.cpp 40:13 - statement + cleanup_point_expr test29.cpp 42:62 - statement + expr_stmt test29.cpp 42:62 - operand + call_expr test29.cpp 42:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -365,9 +446,9 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 37:64 - statement - expr_stmt test29.cpp 37:64 - operand - call_expr test29.cpp 37:31 - expresssion + cleanup_point_expr test29.cpp 43:64 - statement + expr_stmt test29.cpp 43:64 - operand + call_expr test29.cpp 43:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -385,9 +466,9 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst ptr2 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 38:57 - statement - expr_stmt test29.cpp 38:57 - operand - call_expr test29.cpp 38:31 - expresssion + cleanup_point_expr test29.cpp 44:57 - statement + expr_stmt test29.cpp 44:57 - operand + call_expr test29.cpp 44:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -405,9 +486,9 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 39:65 - statement - expr_stmt test29.cpp 39:65 - operand - call_expr test29.cpp 39:31 - expresssion + cleanup_point_expr test29.cpp 45:65 - statement + expr_stmt test29.cpp 45:65 - operand + call_expr test29.cpp 45:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -425,8 +506,8 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst ptr1 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 40:20 - statement - expr_stmt test29.cpp 40:20 - operand + cleanup_point_expr test29.cpp 46:20 - statement + expr_stmt test29.cpp 46:20 - operand convert_expr - expresssion modify_expr - operand - isUsed: 1 @@ -465,9 +546,9 @@ function_decl func1 test29.cpp 28:10 type_decl Data1 test29.cpp 4:1 - field - isAutogenerated: 1 integer_cst 64 - parm size - cleanup_point_expr test29.cpp 41:62 - statement - expr_stmt test29.cpp 41:62 - operand - call_expr test29.cpp 41:31 - expresssion + cleanup_point_expr test29.cpp 47:62 - statement + expr_stmt test29.cpp 47:62 - operand + call_expr test29.cpp 47:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -485,9 +566,9 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 42:69 - statement - expr_stmt test29.cpp 42:69 - operand - call_expr test29.cpp 42:31 - expresssion + cleanup_point_expr test29.cpp 48:69 - statement + expr_stmt test29.cpp 48:69 - operand + call_expr test29.cpp 48:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -505,9 +586,9 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 43:57 - statement - expr_stmt test29.cpp 43:57 - operand - call_expr test29.cpp 43:31 - expresssion + cleanup_point_expr test29.cpp 49:57 - statement + expr_stmt test29.cpp 49:57 - operand + call_expr test29.cpp 49:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -525,9 +606,9 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 44:61 - statement - expr_stmt test29.cpp 44:61 - operand - call_expr test29.cpp 44:31 - expresssion + cleanup_point_expr test29.cpp 50:61 - statement + expr_stmt test29.cpp 50:61 - operand + call_expr test29.cpp 50:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -545,7 +626,7 @@ function_decl func1 test29.cpp 28:10 addr_expr - operand string_cst - operand - stringLength: 1 -function_decl func2 test29.cpp 47:10 +function_decl func2 test29.cpp 53:10 - isPublic: 1 method_type - function type void_type - method return type @@ -606,12 +687,12 @@ function_decl func2 test29.cpp 47:10 void_type - value type_decl void 0:0 - type name - isAutogenerated: 1 - result_decl test29.cpp 48:5 - function result + result_decl test29.cpp 54:5 - function result - isAutogenerated: 1 void_type - result type type_decl void 0:0 - type name - isAutogenerated: 1 - parm_decl this test29.cpp 47:40 - argument + parm_decl this test29.cpp 53:40 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -627,7 +708,7 @@ function_decl func2 test29.cpp 47:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr1 test29.cpp 47:23 - argument + parm_decl ptr1 test29.cpp 53:23 - argument pointer_type - decl type record_type - nested type type_decl Data1 test29.cpp 3:8 - type name @@ -645,7 +726,7 @@ function_decl func2 test29.cpp 47:10 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test29.cpp 47:36 - argument + parm_decl ptr2 test29.cpp 53:36 - argument pointer_type - decl type record_type - nested type type_decl Data2 test29.cpp 10:8 - type name @@ -658,9 +739,9 @@ function_decl func2 test29.cpp 47:10 - isAutogenerated: 1 integer_cst 64 - parm size statement_list - code - cleanup_point_expr test29.cpp 49:62 - statement - expr_stmt test29.cpp 49:62 - operand - call_expr test29.cpp 49:31 - expresssion + cleanup_point_expr test29.cpp 55:62 - statement + expr_stmt test29.cpp 55:62 - operand + call_expr test29.cpp 55:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -678,9 +759,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 50:60 - statement - expr_stmt test29.cpp 50:60 - operand - call_expr test29.cpp 50:31 - expresssion + cleanup_point_expr test29.cpp 56:60 - statement + expr_stmt test29.cpp 56:60 - operand + call_expr test29.cpp 56:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -698,9 +779,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 51:57 - statement - expr_stmt test29.cpp 51:57 - operand - call_expr test29.cpp 51:31 - expresssion + cleanup_point_expr test29.cpp 57:57 - statement + expr_stmt test29.cpp 57:57 - operand + call_expr test29.cpp 57:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -718,9 +799,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 52:70 - statement - expr_stmt test29.cpp 52:70 - operand - call_expr test29.cpp 52:31 - expresssion + cleanup_point_expr test29.cpp 58:70 - statement + expr_stmt test29.cpp 58:70 - operand + call_expr test29.cpp 58:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -738,10 +819,10 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - if_stmt test29.cpp 53:9 - statement - eq_expr test29.cpp 53:14 - condition + if_stmt test29.cpp 59:9 - statement + eq_expr test29.cpp 59:14 - condition - isUsed: 1 - parm_decl ptr2 test29.cpp 47:36 - operand + parm_decl ptr2 test29.cpp 53:36 - operand pointer_type - decl type record_type - nested type type_decl Data2 test29.cpp 10:8 - type name @@ -754,10 +835,10 @@ function_decl func2 test29.cpp 47:10 - isAutogenerated: 1 integer_cst 64 - parm size integer_cst 0 - operand - return_expr test29.cpp 54:13 - then - cleanup_point_expr test29.cpp 55:62 - statement - expr_stmt test29.cpp 55:62 - operand - call_expr test29.cpp 55:31 - expresssion + return_expr test29.cpp 60:13 - then + cleanup_point_expr test29.cpp 61:62 - statement + expr_stmt test29.cpp 61:62 - operand + call_expr test29.cpp 61:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -775,9 +856,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 56:64 - statement - expr_stmt test29.cpp 56:64 - operand - call_expr test29.cpp 56:31 - expresssion + cleanup_point_expr test29.cpp 62:64 - statement + expr_stmt test29.cpp 62:64 - operand + call_expr test29.cpp 62:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -795,9 +876,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr2 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 57:57 - statement - expr_stmt test29.cpp 57:57 - operand - call_expr test29.cpp 57:31 - expresssion + cleanup_point_expr test29.cpp 63:57 - statement + expr_stmt test29.cpp 63:57 - operand + call_expr test29.cpp 63:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -815,9 +896,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 58:65 - statement - expr_stmt test29.cpp 58:65 - operand - call_expr test29.cpp 58:31 - expresssion + cleanup_point_expr test29.cpp 64:65 - statement + expr_stmt test29.cpp 64:65 - operand + call_expr test29.cpp 64:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -835,12 +916,12 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr1 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 59:42 - statement - expr_stmt test29.cpp 59:42 - operand + cleanup_point_expr test29.cpp 65:42 - statement + expr_stmt test29.cpp 65:42 - operand convert_expr - expresssion modify_expr - operand - isUsed: 1 - parm_decl ptr1 test29.cpp 47:23 - operand + parm_decl ptr1 test29.cpp 53:23 - operand pointer_type - decl type record_type - nested type type_decl Data1 test29.cpp 3:8 - type name @@ -860,7 +941,7 @@ function_decl func2 test29.cpp 47:10 nop_expr - operand nop_expr - operand - isUsed: 1 - parm_decl ptr2 test29.cpp 47:36 - operand + parm_decl ptr2 test29.cpp 53:36 - operand pointer_type - decl type record_type - nested type type_decl Data2 test29.cpp 10:8 - type name @@ -872,9 +953,9 @@ function_decl func2 test29.cpp 47:10 type_decl Data2 test29.cpp 11:1 - field - isAutogenerated: 1 integer_cst 64 - parm size - cleanup_point_expr test29.cpp 60:62 - statement - expr_stmt test29.cpp 60:62 - operand - call_expr test29.cpp 60:31 - expresssion + cleanup_point_expr test29.cpp 66:62 - statement + expr_stmt test29.cpp 66:62 - operand + call_expr test29.cpp 66:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -892,9 +973,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 61:69 - statement - expr_stmt test29.cpp 61:69 - operand - call_expr test29.cpp 61:31 - expresssion + cleanup_point_expr test29.cpp 67:69 - statement + expr_stmt test29.cpp 67:69 - operand + call_expr test29.cpp 67:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -912,9 +993,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 62:57 - statement - expr_stmt test29.cpp 62:57 - operand - call_expr test29.cpp 62:31 - expresssion + cleanup_point_expr test29.cpp 68:57 - statement + expr_stmt test29.cpp 68:57 - operand + call_expr test29.cpp 68:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -932,9 +1013,9 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 63:61 - statement - expr_stmt test29.cpp 63:61 - operand - call_expr test29.cpp 63:31 - expresssion + cleanup_point_expr test29.cpp 69:61 - statement + expr_stmt test29.cpp 69:61 - operand + call_expr test29.cpp 69:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -952,7 +1033,7 @@ function_decl func2 test29.cpp 47:10 addr_expr - operand string_cst - operand - stringLength: 1 -function_decl func3 test29.cpp 66:12 +function_decl func3 test29.cpp 72:12 - isPublic: 1 method_type - function type pointer_type - method return type @@ -1014,7 +1095,7 @@ function_decl func3 test29.cpp 66:12 void_type - value type_decl void 0:0 - type name - isAutogenerated: 1 - result_decl test29.cpp 67:5 - function result + result_decl test29.cpp 73:5 - function result - isAutogenerated: 1 pointer_type - result type record_type - nested type @@ -1032,7 +1113,7 @@ function_decl func3 test29.cpp 66:12 type_decl Data1 test29.cpp 4:1 - field - isAutogenerated: 1 integer_cst 64 - decl size - parm_decl this test29.cpp 66:29 - argument + parm_decl this test29.cpp 72:29 - argument - isAutogenerated: 1 pointer_type - decl type record_type - nested type @@ -1048,7 +1129,7 @@ function_decl func3 test29.cpp 66:12 - isAutogenerated: 1 integer_cst 64 - parm size - isUsed: 1 - parm_decl ptr2 test29.cpp 66:25 - argument + parm_decl ptr2 test29.cpp 72:25 - argument pointer_type - decl type record_type - nested type type_decl Data1 test29.cpp 3:8 - type name @@ -1065,8 +1146,8 @@ function_decl func3 test29.cpp 66:12 type_decl Data1 test29.cpp 4:1 - field - isAutogenerated: 1 integer_cst 64 - parm size - bind_expr test29.cpp 84:20 - code - var_decl ptr1 test29.cpp 68:16 - operand + bind_expr test29.cpp 90:20 - code + var_decl ptr1 test29.cpp 74:16 - operand - isUsed: 1 integer_cst 64 - decl size pointer_type - var type @@ -1085,12 +1166,12 @@ function_decl func3 test29.cpp 66:12 type_decl Data1 test29.cpp 4:1 - field - isAutogenerated: 1 statement_list - operand - decl_expr test29.cpp 68:16 - statement - var_decl ptr1 test29.cpp 68:16 - operand + decl_expr test29.cpp 74:16 - statement + var_decl ptr1 test29.cpp 74:16 - operand - isUsed: 1 - cleanup_point_expr test29.cpp 69:57 - statement - expr_stmt test29.cpp 69:57 - operand - call_expr test29.cpp 69:31 - expresssion + cleanup_point_expr test29.cpp 75:57 - statement + expr_stmt test29.cpp 75:57 - operand + call_expr test29.cpp 75:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1108,9 +1189,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst ptr2 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 70:60 - statement - expr_stmt test29.cpp 70:60 - operand - call_expr test29.cpp 70:31 - expresssion + cleanup_point_expr test29.cpp 76:60 - statement + expr_stmt test29.cpp 76:60 - operand + call_expr test29.cpp 76:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1128,9 +1209,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 71:57 - statement - expr_stmt test29.cpp 71:57 - operand - call_expr test29.cpp 71:31 - expresssion + cleanup_point_expr test29.cpp 77:57 - statement + expr_stmt test29.cpp 77:57 - operand + call_expr test29.cpp 77:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1148,9 +1229,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 72:65 - statement - expr_stmt test29.cpp 72:65 - operand - call_expr test29.cpp 72:31 - expresssion + cleanup_point_expr test29.cpp 78:65 - statement + expr_stmt test29.cpp 78:65 - operand + call_expr test29.cpp 78:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1168,10 +1249,10 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst ptr2 - operand - stringLength: 5 - if_stmt test29.cpp 73:9 - statement - eq_expr test29.cpp 73:14 - condition + if_stmt test29.cpp 79:9 - statement + eq_expr test29.cpp 79:14 - condition - isUsed: 1 - parm_decl ptr2 test29.cpp 66:25 - operand + parm_decl ptr2 test29.cpp 72:25 - operand pointer_type - decl type record_type - nested type type_decl Data1 test29.cpp 3:8 - type name @@ -1189,9 +1270,9 @@ function_decl func3 test29.cpp 66:12 - isAutogenerated: 1 integer_cst 64 - parm size integer_cst 0 - operand - return_expr test29.cpp 74:20 - then + return_expr test29.cpp 80:20 - then init_expr - operand - result_decl test29.cpp 67:5 - operand + result_decl test29.cpp 73:5 - operand - isAutogenerated: 1 pointer_type - result type record_type - nested type @@ -1210,9 +1291,9 @@ function_decl func3 test29.cpp 66:12 - isAutogenerated: 1 integer_cst 64 - decl size integer_cst 0 - operand - cleanup_point_expr test29.cpp 75:57 - statement - expr_stmt test29.cpp 75:57 - operand - call_expr test29.cpp 75:31 - expresssion + cleanup_point_expr test29.cpp 81:57 - statement + expr_stmt test29.cpp 81:57 - operand + call_expr test29.cpp 81:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1230,9 +1311,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst ptr2 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 76:64 - statement - expr_stmt test29.cpp 76:64 - operand - call_expr test29.cpp 76:31 - expresssion + cleanup_point_expr test29.cpp 82:64 - statement + expr_stmt test29.cpp 82:64 - operand + call_expr test29.cpp 82:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1250,9 +1331,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst ptr2 - operand - stringLength: 5 - cleanup_point_expr test29.cpp 77:57 - statement - expr_stmt test29.cpp 77:57 - operand - call_expr test29.cpp 77:31 - expresssion + cleanup_point_expr test29.cpp 83:57 - statement + expr_stmt test29.cpp 83:57 - operand + call_expr test29.cpp 83:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1270,9 +1351,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 78:61 - statement - expr_stmt test29.cpp 78:61 - operand - call_expr test29.cpp 78:31 - expresssion + cleanup_point_expr test29.cpp 84:61 - statement + expr_stmt test29.cpp 84:61 - operand + call_expr test29.cpp 84:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1290,14 +1371,14 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 79:20 - statement - expr_stmt test29.cpp 79:20 - operand + cleanup_point_expr test29.cpp 85:20 - statement + expr_stmt test29.cpp 85:20 - operand convert_expr - expresssion modify_expr - operand - var_decl ptr1 test29.cpp 68:16 - operand + var_decl ptr1 test29.cpp 74:16 - operand - isUsed: 1 - isUsed: 1 - parm_decl ptr2 test29.cpp 66:25 - operand + parm_decl ptr2 test29.cpp 72:25 - operand pointer_type - decl type record_type - nested type type_decl Data1 test29.cpp 3:8 - type name @@ -1314,9 +1395,9 @@ function_decl func3 test29.cpp 66:12 type_decl Data1 test29.cpp 4:1 - field - isAutogenerated: 1 integer_cst 64 - parm size - cleanup_point_expr test29.cpp 80:62 - statement - expr_stmt test29.cpp 80:62 - operand - call_expr test29.cpp 80:31 - expresssion + cleanup_point_expr test29.cpp 86:62 - statement + expr_stmt test29.cpp 86:62 - operand + call_expr test29.cpp 86:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1334,9 +1415,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 81:69 - statement - expr_stmt test29.cpp 81:69 - operand - call_expr test29.cpp 81:31 - expresssion + cleanup_point_expr test29.cpp 87:69 - statement + expr_stmt test29.cpp 87:69 - operand + call_expr test29.cpp 87:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1354,9 +1435,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst ptr1 ptr2 - operand - stringLength: 10 - cleanup_point_expr test29.cpp 82:57 - statement - expr_stmt test29.cpp 82:57 - operand - call_expr test29.cpp 82:31 - expresssion + cleanup_point_expr test29.cpp 88:57 - statement + expr_stmt test29.cpp 88:57 - operand + call_expr test29.cpp 88:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1374,9 +1455,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst - operand - stringLength: 1 - cleanup_point_expr test29.cpp 83:61 - statement - expr_stmt test29.cpp 83:61 - operand - call_expr test29.cpp 83:31 - expresssion + cleanup_point_expr test29.cpp 89:61 - statement + expr_stmt test29.cpp 89:61 - operand + call_expr test29.cpp 89:31 - expresssion addr_expr - function function_decl paranuckerInternalTest test29.cpp 16:6 - operand - isExternal: 1 @@ -1394,9 +1475,9 @@ function_decl func3 test29.cpp 66:12 addr_expr - operand string_cst - operand - stringLength: 1 - return_expr test29.cpp 84:16 - statement + return_expr test29.cpp 90:16 - statement init_expr - operand - result_decl test29.cpp 67:5 - operand + result_decl test29.cpp 73:5 - operand - isAutogenerated: 1 pointer_type - result type record_type - nested type @@ -1414,8 +1495,4640 @@ function_decl func3 test29.cpp 66:12 type_decl Data1 test29.cpp 4:1 - field - isAutogenerated: 1 integer_cst 64 - decl size - var_decl ptr1 test29.cpp 68:16 - operand + var_decl ptr1 test29.cpp 74:16 - operand - isUsed: 1 block - operand - var_decl ptr1 test29.cpp 68:16 - block vars + var_decl ptr1 test29.cpp 74:16 - block vars - isUsed: 1 +function_decl func4 test29.cpp 93:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 94:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 93:40 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 93:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 93:36 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test29.cpp 95:62 - statement + expr_stmt test29.cpp 95:62 - operand + call_expr test29.cpp 95:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 96:60 - statement + expr_stmt test29.cpp 96:60 - operand + call_expr test29.cpp 96:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 97:57 - statement + expr_stmt test29.cpp 97:57 - operand + call_expr test29.cpp 97:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 98:70 - statement + expr_stmt test29.cpp 98:70 - operand + call_expr test29.cpp 98:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + if_stmt test29.cpp 99:9 - statement + ne_expr - condition + - isUsed: 1 + parm_decl ptr2 test29.cpp 93:36 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + statement_list - then + cleanup_point_expr test29.cpp 101:66 - statement + expr_stmt test29.cpp 101:66 - operand + call_expr test29.cpp 101:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 102:68 - statement + expr_stmt test29.cpp 102:68 - operand + call_expr test29.cpp 102:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 103:61 - statement + expr_stmt test29.cpp 103:61 - operand + call_expr test29.cpp 103:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 104:69 - statement + expr_stmt test29.cpp 104:69 - operand + call_expr test29.cpp 104:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + return_expr test29.cpp 105:13 - statement + cleanup_point_expr test29.cpp 107:62 - statement + expr_stmt test29.cpp 107:62 - operand + call_expr test29.cpp 107:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 108:60 - statement + expr_stmt test29.cpp 108:60 - operand + call_expr test29.cpp 108:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 109:61 - statement + expr_stmt test29.cpp 109:61 - operand + call_expr test29.cpp 109:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 110:70 - statement + expr_stmt test29.cpp 110:70 - operand + call_expr test29.cpp 110:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 111:20 - statement + expr_stmt test29.cpp 111:20 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 93:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 93:36 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test29.cpp 112:62 - statement + expr_stmt test29.cpp 112:62 - operand + call_expr test29.cpp 112:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 113:60 - statement + expr_stmt test29.cpp 113:60 - operand + call_expr test29.cpp 113:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 114:66 - statement + expr_stmt test29.cpp 114:66 - operand + call_expr test29.cpp 114:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 115:70 - statement + expr_stmt test29.cpp 115:70 - operand + call_expr test29.cpp 115:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 +function_decl func5 test29.cpp 118:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data2 test29.cpp 10:8 - type name + - isAutogenerated: 1 + field_decl test29.cpp 10:8 - field + - signed + - isAutogenerated: 1 + integer_cst 256 - decl size + type_decl Data2 test29.cpp 11:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 119:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 118:40 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 118:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 118:36 - argument + pointer_type - decl type + record_type - nested type + type_decl Data2 test29.cpp 10:8 - type name + - isAutogenerated: 1 + field_decl test29.cpp 10:8 - field + - signed + - isAutogenerated: 1 + integer_cst 256 - decl size + type_decl Data2 test29.cpp 11:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test29.cpp 120:62 - statement + expr_stmt test29.cpp 120:62 - operand + call_expr test29.cpp 120:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 121:60 - statement + expr_stmt test29.cpp 121:60 - operand + call_expr test29.cpp 121:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 122:57 - statement + expr_stmt test29.cpp 122:57 - operand + call_expr test29.cpp 122:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 123:70 - statement + expr_stmt test29.cpp 123:70 - operand + call_expr test29.cpp 123:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + if_stmt test29.cpp 124:9 - statement + ne_expr - condition + - isUsed: 1 + parm_decl ptr2 test29.cpp 118:36 - operand + pointer_type - decl type + record_type - nested type + type_decl Data2 test29.cpp 10:8 - type name + - isAutogenerated: 1 + field_decl test29.cpp 10:8 - field + - signed + - isAutogenerated: 1 + integer_cst 256 - decl size + type_decl Data2 test29.cpp 11:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + return_expr test29.cpp 125:13 - then + cleanup_point_expr test29.cpp 126:62 - statement + expr_stmt test29.cpp 126:62 - operand + call_expr test29.cpp 126:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 127:60 - statement + expr_stmt test29.cpp 127:60 - operand + call_expr test29.cpp 127:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 128:61 - statement + expr_stmt test29.cpp 128:61 - operand + call_expr test29.cpp 128:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 129:70 - statement + expr_stmt test29.cpp 129:70 - operand + call_expr test29.cpp 129:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 130:42 - statement + expr_stmt test29.cpp 130:42 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 118:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + nop_expr - operand + nop_expr - operand + - isUsed: 1 + parm_decl ptr2 test29.cpp 118:36 - operand + pointer_type - decl type + record_type - nested type + type_decl Data2 test29.cpp 10:8 - type name + - isAutogenerated: 1 + field_decl test29.cpp 10:8 - field + - signed + - isAutogenerated: 1 + integer_cst 256 - decl size + type_decl Data2 test29.cpp 11:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test29.cpp 131:62 - statement + expr_stmt test29.cpp 131:62 - operand + call_expr test29.cpp 131:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 132:60 - statement + expr_stmt test29.cpp 132:60 - operand + call_expr test29.cpp 132:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 133:66 - statement + expr_stmt test29.cpp 133:66 - operand + call_expr test29.cpp 133:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 134:70 - statement + expr_stmt test29.cpp 134:70 - operand + call_expr test29.cpp 134:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 +function_decl func6 test29.cpp 137:12 +- isPublic: 1 + method_type - function type + pointer_type - method return type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 138:5 - function result + - isAutogenerated: 1 + pointer_type - result type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - decl size + parm_decl this test29.cpp 137:29 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 137:25 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + bind_expr test29.cpp 155:20 - code + var_decl ptr1 test29.cpp 139:16 - operand + - isUsed: 1 + integer_cst 64 - decl size + pointer_type - var type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + statement_list - operand + decl_expr test29.cpp 139:16 - statement + var_decl ptr1 test29.cpp 139:16 - operand + - isUsed: 1 + cleanup_point_expr test29.cpp 140:57 - statement + expr_stmt test29.cpp 140:57 - operand + call_expr test29.cpp 140:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 141:60 - statement + expr_stmt test29.cpp 141:60 - operand + call_expr test29.cpp 141:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 142:57 - statement + expr_stmt test29.cpp 142:57 - operand + call_expr test29.cpp 142:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 143:65 - statement + expr_stmt test29.cpp 143:65 - operand + call_expr test29.cpp 143:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + if_stmt test29.cpp 144:9 - statement + ne_expr - condition + - isUsed: 1 + parm_decl ptr2 test29.cpp 137:25 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + return_expr test29.cpp 145:20 - then + init_expr - operand + result_decl test29.cpp 138:5 - operand + - isAutogenerated: 1 + pointer_type - result type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - decl size + integer_cst 0 - operand + cleanup_point_expr test29.cpp 146:57 - statement + expr_stmt test29.cpp 146:57 - operand + call_expr test29.cpp 146:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 147:60 - statement + expr_stmt test29.cpp 147:60 - operand + call_expr test29.cpp 147:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 148:61 - statement + expr_stmt test29.cpp 148:61 - operand + call_expr test29.cpp 148:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 149:65 - statement + expr_stmt test29.cpp 149:65 - operand + call_expr test29.cpp 149:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 150:20 - statement + expr_stmt test29.cpp 150:20 - operand + convert_expr - expresssion + modify_expr - operand + var_decl ptr1 test29.cpp 139:16 - operand + - isUsed: 1 + - isUsed: 1 + parm_decl ptr2 test29.cpp 137:25 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test29.cpp 151:62 - statement + expr_stmt test29.cpp 151:62 - operand + call_expr test29.cpp 151:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 152:60 - statement + expr_stmt test29.cpp 152:60 - operand + call_expr test29.cpp 152:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 153:66 - statement + expr_stmt test29.cpp 153:66 - operand + call_expr test29.cpp 153:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 154:70 - statement + expr_stmt test29.cpp 154:70 - operand + call_expr test29.cpp 154:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + return_expr test29.cpp 155:16 - statement + init_expr - operand + result_decl test29.cpp 138:5 - operand + - isAutogenerated: 1 + pointer_type - result type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - decl size + var_decl ptr1 test29.cpp 139:16 - operand + - isUsed: 1 + block - operand + var_decl ptr1 test29.cpp 139:16 - block vars + - isUsed: 1 +function_decl func7 test29.cpp 158:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 159:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 158:27 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 158:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test29.cpp 160:57 - statement + expr_stmt test29.cpp 160:57 - operand + call_expr test29.cpp 160:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 161:60 - statement + expr_stmt test29.cpp 161:60 - operand + call_expr test29.cpp 161:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 162:57 - statement + expr_stmt test29.cpp 162:57 - operand + call_expr test29.cpp 162:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 163:65 - statement + expr_stmt test29.cpp 163:65 - operand + call_expr test29.cpp 163:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + if_stmt test29.cpp 169:9 - statement + truth_orif_expr test29.cpp 169:19 - condition + eq_expr test29.cpp 169:14 - operand + - isUsed: 1 + parm_decl ptr2 test29.cpp 158:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test29.cpp 169:24 - operand + var_decl k test29.cpp 14:5 - operand + - isUsed: 1 + integer_cst 32 - decl size + integer_type - var type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 10 - operand + statement_list - then + cleanup_point_expr test29.cpp 171:61 - statement + expr_stmt test29.cpp 171:61 - operand + call_expr test29.cpp 171:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 172:64 - statement + expr_stmt test29.cpp 172:64 - operand + call_expr test29.cpp 172:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 173:61 - statement + expr_stmt test29.cpp 173:61 - operand + call_expr test29.cpp 173:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 174:69 - statement + expr_stmt test29.cpp 174:69 - operand + call_expr test29.cpp 174:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + return_expr test29.cpp 175:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 179:61 - statement + expr_stmt test29.cpp 179:61 - operand + call_expr test29.cpp 179:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 180:68 - statement + expr_stmt test29.cpp 180:68 - operand + call_expr test29.cpp 180:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 181:61 - statement + expr_stmt test29.cpp 181:61 - operand + call_expr test29.cpp 181:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 182:65 - statement + expr_stmt test29.cpp 182:65 - operand + call_expr test29.cpp 182:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 184:57 - statement + expr_stmt test29.cpp 184:57 - operand + call_expr test29.cpp 184:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 185:64 - statement + expr_stmt test29.cpp 185:64 - operand + call_expr test29.cpp 185:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 186:57 - statement + expr_stmt test29.cpp 186:57 - operand + call_expr test29.cpp 186:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 187:61 - statement + expr_stmt test29.cpp 187:61 - operand + call_expr test29.cpp 187:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 +function_decl func8 test29.cpp 190:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 191:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 190:27 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 190:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test29.cpp 192:57 - statement + expr_stmt test29.cpp 192:57 - operand + call_expr test29.cpp 192:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 193:60 - statement + expr_stmt test29.cpp 193:60 - operand + call_expr test29.cpp 193:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 194:57 - statement + expr_stmt test29.cpp 194:57 - operand + call_expr test29.cpp 194:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 195:65 - statement + expr_stmt test29.cpp 195:65 - operand + call_expr test29.cpp 195:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + if_stmt test29.cpp 201:9 - statement + truth_andif_expr test29.cpp 201:19 - condition + eq_expr test29.cpp 201:14 - operand + - isUsed: 1 + parm_decl ptr2 test29.cpp 190:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test29.cpp 201:24 - operand + var_decl k test29.cpp 14:5 - operand + - isUsed: 1 + integer_cst 32 - decl size + integer_type - var type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 10 - operand + statement_list - then + cleanup_point_expr test29.cpp 203:61 - statement + expr_stmt test29.cpp 203:61 - operand + call_expr test29.cpp 203:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 204:64 - statement + expr_stmt test29.cpp 204:64 - operand + call_expr test29.cpp 204:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 205:65 - statement + expr_stmt test29.cpp 205:65 - operand + call_expr test29.cpp 205:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 206:69 - statement + expr_stmt test29.cpp 206:69 - operand + call_expr test29.cpp 206:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + return_expr test29.cpp 207:13 - statement + cleanup_point_expr test29.cpp 209:57 - statement + expr_stmt test29.cpp 209:57 - operand + call_expr test29.cpp 209:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 210:60 - statement + expr_stmt test29.cpp 210:60 - operand + call_expr test29.cpp 210:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 211:57 - statement + expr_stmt test29.cpp 211:57 - operand + call_expr test29.cpp 211:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 212:65 - statement + expr_stmt test29.cpp 212:65 - operand + call_expr test29.cpp 212:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 +function_decl func9 test29.cpp 215:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 216:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 215:27 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 215:23 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test29.cpp 217:57 - statement + expr_stmt test29.cpp 217:57 - operand + call_expr test29.cpp 217:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 218:60 - statement + expr_stmt test29.cpp 218:60 - operand + call_expr test29.cpp 218:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 219:57 - statement + expr_stmt test29.cpp 219:57 - operand + call_expr test29.cpp 219:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 220:65 - statement + expr_stmt test29.cpp 220:65 - operand + call_expr test29.cpp 220:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + if_stmt test29.cpp 226:9 - statement + truth_orif_expr test29.cpp 226:18 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr2 test29.cpp 215:23 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test29.cpp 226:23 - operand + var_decl k test29.cpp 14:5 - operand + - isUsed: 1 + integer_cst 32 - decl size + integer_type - var type + - precisionBits: 32 + - signed + type_decl int 0:0 - type name + - isAutogenerated: 1 + integer_cst 32 - type size + integer_cst -2147483648 - min value + integer_cst 2147483647 - max value + integer_cst 10 - operand + statement_list - then + cleanup_point_expr test29.cpp 228:61 - statement + expr_stmt test29.cpp 228:61 - operand + call_expr test29.cpp 228:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 229:64 - statement + expr_stmt test29.cpp 229:64 - operand + call_expr test29.cpp 229:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 230:61 - statement + expr_stmt test29.cpp 230:61 - operand + call_expr test29.cpp 230:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 231:69 - statement + expr_stmt test29.cpp 231:69 - operand + call_expr test29.cpp 231:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + return_expr test29.cpp 232:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 236:61 - statement + expr_stmt test29.cpp 236:61 - operand + call_expr test29.cpp 236:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 237:64 - statement + expr_stmt test29.cpp 237:64 - operand + call_expr test29.cpp 237:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 238:65 - statement + expr_stmt test29.cpp 238:65 - operand + call_expr test29.cpp 238:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 239:69 - statement + expr_stmt test29.cpp 239:69 - operand + call_expr test29.cpp 239:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 241:57 - statement + expr_stmt test29.cpp 241:57 - operand + call_expr test29.cpp 241:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 242:60 - statement + expr_stmt test29.cpp 242:60 - operand + call_expr test29.cpp 242:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 243:61 - statement + expr_stmt test29.cpp 243:61 - operand + call_expr test29.cpp 243:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 244:65 - statement + expr_stmt test29.cpp 244:65 - operand + call_expr test29.cpp 244:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 +function_decl func10 test29.cpp 247:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 248:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 247:41 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 247:24 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr2 test29.cpp 247:37 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test29.cpp 249:62 - statement + expr_stmt test29.cpp 249:62 - operand + call_expr test29.cpp 249:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 250:60 - statement + expr_stmt test29.cpp 250:60 - operand + call_expr test29.cpp 250:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 251:57 - statement + expr_stmt test29.cpp 251:57 - operand + call_expr test29.cpp 251:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 252:70 - statement + expr_stmt test29.cpp 252:70 - operand + call_expr test29.cpp 252:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + if_stmt test29.cpp 258:9 - statement + truth_orif_expr test29.cpp 258:18 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr2 test29.cpp 247:37 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 247:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test29.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test29.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test29.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test29.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test29.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + statement_list - then + cleanup_point_expr test29.cpp 260:66 - statement + expr_stmt test29.cpp 260:66 - operand + call_expr test29.cpp 260:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 261:64 - statement + expr_stmt test29.cpp 261:64 - operand + call_expr test29.cpp 261:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 262:61 - statement + expr_stmt test29.cpp 262:61 - operand + call_expr test29.cpp 262:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 263:74 - statement + expr_stmt test29.cpp 263:74 - operand + call_expr test29.cpp 263:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + return_expr test29.cpp 264:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 268:66 - statement + expr_stmt test29.cpp 268:66 - operand + call_expr test29.cpp 268:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 269:64 - statement + expr_stmt test29.cpp 269:64 - operand + call_expr test29.cpp 269:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 270:70 - statement + expr_stmt test29.cpp 270:70 - operand + call_expr test29.cpp 270:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 271:74 - statement + expr_stmt test29.cpp 271:74 - operand + call_expr test29.cpp 271:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 273:62 - statement + expr_stmt test29.cpp 273:62 - operand + call_expr test29.cpp 273:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 274:60 - statement + expr_stmt test29.cpp 274:60 - operand + call_expr test29.cpp 274:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 275:66 - statement + expr_stmt test29.cpp 275:66 - operand + call_expr test29.cpp 275:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 276:70 - statement + expr_stmt test29.cpp 276:70 - operand + call_expr test29.cpp 276:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 +function_decl func11 test29.cpp 279:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 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 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 280:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 279:37 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 279:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 279:33 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 286:9 - statement + truth_orif_expr test29.cpp 286:28 - condition + truth_andif_expr test29.cpp 286:19 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 279:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 279:33 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 279:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 288:66 - statement + expr_stmt test29.cpp 288:66 - operand + call_expr test29.cpp 288:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 289:68 - statement + expr_stmt test29.cpp 289:68 - operand + call_expr test29.cpp 289:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 290:61 - statement + expr_stmt test29.cpp 290:61 - operand + call_expr test29.cpp 290:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 291:69 - statement + expr_stmt test29.cpp 291:69 - operand + call_expr test29.cpp 291:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + return_expr test29.cpp 292:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 296:66 - statement + expr_stmt test29.cpp 296:66 - operand + call_expr test29.cpp 296:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 297:64 - statement + expr_stmt test29.cpp 297:64 - operand + call_expr test29.cpp 297:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 298:65 - statement + expr_stmt test29.cpp 298:65 - operand + call_expr test29.cpp 298:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 299:74 - statement + expr_stmt test29.cpp 299:74 - operand + call_expr test29.cpp 299:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 301:62 - statement + expr_stmt test29.cpp 301:62 - operand + call_expr test29.cpp 301:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 302:60 - statement + expr_stmt test29.cpp 302:60 - operand + call_expr test29.cpp 302:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 303:61 - statement + expr_stmt test29.cpp 303:61 - operand + call_expr test29.cpp 303:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 304:70 - statement + expr_stmt test29.cpp 304:70 - operand + call_expr test29.cpp 304:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 +function_decl func12 test29.cpp 307:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 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 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 308:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 307:37 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 307:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 307:33 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 313:9 - statement + truth_andif_expr test29.cpp 313:28 - condition + truth_orif_expr test29.cpp 313:19 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 307:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 307:33 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 307:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 315:66 - statement + expr_stmt test29.cpp 315:66 - operand + call_expr test29.cpp 315:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 316:68 - statement + expr_stmt test29.cpp 316:68 - operand + call_expr test29.cpp 316:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 317:61 - statement + expr_stmt test29.cpp 317:61 - operand + call_expr test29.cpp 317:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 318:69 - statement + expr_stmt test29.cpp 318:69 - operand + call_expr test29.cpp 318:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr2 - operand + - stringLength: 5 + return_expr test29.cpp 319:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 323:66 - statement + expr_stmt test29.cpp 323:66 - operand + call_expr test29.cpp 323:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 324:64 - statement + expr_stmt test29.cpp 324:64 - operand + call_expr test29.cpp 324:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 325:65 - statement + expr_stmt test29.cpp 325:65 - operand + call_expr test29.cpp 325:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 326:74 - statement + expr_stmt test29.cpp 326:74 - operand + call_expr test29.cpp 326:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 328:62 - statement + expr_stmt test29.cpp 328:62 - operand + call_expr test29.cpp 328:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 + cleanup_point_expr test29.cpp 329:60 - statement + expr_stmt test29.cpp 329:60 - operand + call_expr test29.cpp 329:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 330:61 - statement + expr_stmt test29.cpp 330:61 - operand + call_expr test29.cpp 330:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 331:70 - statement + expr_stmt test29.cpp 331:70 - operand + call_expr test29.cpp 331:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 ptr2 - operand + - stringLength: 10 +function_decl func13 test29.cpp 334:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 335:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 334:26 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 334:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 338:9 - statement + truth_andif_expr test29.cpp 338:28 - condition + truth_orif_expr test29.cpp 338:19 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 334:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 334:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 334:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 340:61 - statement + expr_stmt test29.cpp 340:61 - operand + call_expr test29.cpp 340:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 341:68 - statement + expr_stmt test29.cpp 341:68 - operand + call_expr test29.cpp 341:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 342:61 - statement + expr_stmt test29.cpp 342:61 - operand + call_expr test29.cpp 342:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 343:65 - statement + expr_stmt test29.cpp 343:65 - operand + call_expr test29.cpp 343:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + return_expr test29.cpp 344:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 348:61 - statement + expr_stmt test29.cpp 348:61 - operand + call_expr test29.cpp 348:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 349:64 - statement + expr_stmt test29.cpp 349:64 - operand + call_expr test29.cpp 349:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 350:65 - statement + expr_stmt test29.cpp 350:65 - operand + call_expr test29.cpp 350:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 351:69 - statement + expr_stmt test29.cpp 351:69 - operand + call_expr test29.cpp 351:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 353:57 - statement + expr_stmt test29.cpp 353:57 - operand + call_expr test29.cpp 353:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 354:60 - statement + expr_stmt test29.cpp 354:60 - operand + call_expr test29.cpp 354:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 355:61 - statement + expr_stmt test29.cpp 355:61 - operand + call_expr test29.cpp 355:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 356:65 - statement + expr_stmt test29.cpp 356:65 - operand + call_expr test29.cpp 356:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 +function_decl func14 test29.cpp 359:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 0:0 - type name + - isAutogenerated: 1 + result_decl test29.cpp 360:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void 0:0 - type name + - isAutogenerated: 1 + parm_decl this test29.cpp 359:26 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test29.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test29.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test29.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test29.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test29.cpp 359:22 - argument + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 363:9 - statement + truth_orif_expr test29.cpp 363:28 - condition + truth_andif_expr test29.cpp 363:19 - operand + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test29.cpp 359:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 359:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 359:22 - operand + pointer_type - decl type + integer_type - nested type + - precisionBits: 32 + - signed + type_decl int 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 test29.cpp 365:61 - statement + expr_stmt test29.cpp 365:61 - operand + call_expr test29.cpp 365:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 366:68 - statement + expr_stmt test29.cpp 366:68 - operand + call_expr test29.cpp 366:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 367:61 - statement + expr_stmt test29.cpp 367:61 - operand + call_expr test29.cpp 367:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 368:65 - statement + expr_stmt test29.cpp 368:65 - operand + call_expr test29.cpp 368:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + return_expr test29.cpp 369:13 - statement + statement_list - else + cleanup_point_expr test29.cpp 373:61 - statement + expr_stmt test29.cpp 373:61 - operand + call_expr test29.cpp 373:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 374:64 - statement + expr_stmt test29.cpp 374:64 - operand + call_expr test29.cpp 374:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 375:65 - statement + expr_stmt test29.cpp 375:65 - operand + call_expr test29.cpp 375:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 376:69 - statement + expr_stmt test29.cpp 376:69 - operand + call_expr test29.cpp 376:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 378:57 - statement + expr_stmt test29.cpp 378:57 - operand + call_expr test29.cpp 378:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownVars - operand + - stringLength: 10 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 379:60 - statement + expr_stmt test29.cpp 379:60 - operand + call_expr test29.cpp 379:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNonNullVars - operand + - stringLength: 17 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test29.cpp 380:61 - statement + expr_stmt test29.cpp 380:61 - operand + call_expr test29.cpp 380:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst knownNullVars - operand + - stringLength: 14 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test29.cpp 381:65 - statement + expr_stmt test29.cpp 381:65 - operand + call_expr test29.cpp 381:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test29.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst needCheckNullVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 diff --git a/test/test29-02.txt b/test/test29-02.txt index 1a4bf26..90073d6 100644 --- a/test/test29-02.txt +++ b/test/test29-02.txt @@ -2,3 +2,14 @@ getData: func1: pointer_type ptr1, pointer_type ptr2, func2: pointer_type ptr1, pointer_type ptr2, func3: pointer_type ptr2, +func4: pointer_type ptr1, pointer_type ptr2, +func5: pointer_type ptr1, pointer_type ptr2, +func6: pointer_type ptr2, +func7: pointer_type ptr2, +func8: pointer_type ptr2, +func9: pointer_type ptr2, +func10: pointer_type ptr1, pointer_type ptr2, +func11: pointer_type ptr1, pointer_type ptr2, +func12: pointer_type ptr1, pointer_type ptr2, +func13: pointer_type ptr1, +func14: pointer_type ptr1, diff --git a/test/test29-03.txt b/test/test29-03.txt index a065e47..484ac0f 100644 --- a/test/test29-03.txt +++ b/test/test29-03.txt @@ -64,6 +64,27 @@ integer_cst 96: 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, return_expr : ptr1, ptr2, cleanup_point_expr : ptr1, ptr2, expr_stmt : ptr1, @@ -372,3 +393,1203 @@ integer_cst 96: type_decl Data1: block : ptr2, var_decl ptr1: +function_decl func4: +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, +if_stmt : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +statement_list : 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, +return_expr : ptr1, +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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: 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, +function_decl func5: +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, +if_stmt : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data2: ptr1, ptr2, +field_decl : ptr1, ptr2, +integer_cst 256: ptr1, ptr2, +type_decl Data2: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +integer_cst 0: ptr1, ptr2, +return_expr : ptr1, +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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data2: ptr1, ptr2, +field_decl : ptr1, ptr2, +integer_cst 256: ptr1, ptr2, +type_decl Data2: ptr1, ptr2, +integer_cst 64: 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, +function_decl func6: +bind_expr : ptr2, +statement_list : ptr2, +decl_expr : ptr2, +var_decl ptr1: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +if_stmt : ptr2, +ne_expr : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +integer_cst 0: ptr2, +return_expr : +init_expr : +result_decl : +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +integer_cst 0: +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +convert_expr : ptr2, +modify_expr : ptr2, +var_decl ptr1: ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: 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, +return_expr : ptr1, ptr2, +init_expr : ptr1, ptr2, +result_decl : 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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +var_decl ptr1: ptr1, ptr2, +var_decl 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, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +block : ptr1, ptr2, +var_decl ptr1: ptr1, ptr2, +function_decl func7: +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +if_stmt : ptr2, +truth_orif_expr : ptr2, +eq_expr : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +integer_cst 0: ptr2, +eq_expr : +var_decl k: +integer_cst 32: +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 10: +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +return_expr : ptr2, +statement_list : +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr2, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr2, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr2, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr2, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +function_decl func8: +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +if_stmt : ptr2, +truth_andif_expr : ptr2, +eq_expr : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +integer_cst 0: ptr2, +eq_expr : ptr2, +var_decl k: 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 10: ptr2, +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +return_expr : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +function_decl func9: +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +if_stmt : ptr2, +truth_orif_expr : ptr2, +ne_expr : ptr2, +parm_decl ptr2: ptr2, +pointer_type : ptr2, +record_type : ptr2, +type_decl Data1: ptr2, +field_decl val: ptr2, +integer_cst 32: ptr2, +field_decl ptrval: ptr2, +integer_cst 64: ptr2, +field_decl arr: ptr2, +integer_cst 96: ptr2, +type_decl Data1: ptr2, +integer_cst 64: ptr2, +integer_cst 0: ptr2, +eq_expr : ptr2, +var_decl k: 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 10: ptr2, +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +return_expr : ptr2, +statement_list : ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +function_decl func10: +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, +if_stmt : ptr1, ptr2, +truth_orif_expr : ptr1, ptr2, +ne_expr : ptr1, ptr2, +parm_decl ptr2: ptr1, ptr2, +pointer_type : ptr1, ptr2, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: ptr1, ptr2, +type_decl Data1: 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, +record_type : ptr1, ptr2, +type_decl Data1: ptr1, ptr2, +field_decl val: ptr1, ptr2, +integer_cst 32: ptr1, ptr2, +field_decl ptrval: ptr1, ptr2, +integer_cst 64: ptr1, ptr2, +field_decl arr: ptr1, ptr2, +integer_cst 96: 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, +return_expr : 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, +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 : 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 0: 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, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +return_expr : 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, +function_decl func12: +statement_list : ptr1, ptr2, +if_stmt : ptr1, ptr2, +truth_andif_expr : 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, +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, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +cleanup_point_expr : ptr2, +expr_stmt : ptr2, +call_expr : ptr2, +addr_expr : ptr2, +function_decl paranuckerInternalTest: ptr2, +return_expr : 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, +function_decl func13: +statement_list : ptr1, +if_stmt : ptr1, +truth_andif_expr : ptr1, +truth_orif_expr : ptr1, +ne_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +ne_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +ne_expr : +test29.cpp: In member function 'void Object1::func13(int*)': +test29.cpp:338:28: warning: Useless variable check 'ptr1'. It already was checked before + if ((ptr1 || ptr1) && ptr1) + ^ +parm_decl ptr1: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 0: +statement_list : +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +return_expr : +statement_list : 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, +test29.cpp:350:35: warning: internal collections 'knownNullVars' is different. +want: ptr1, + get: + paranuckerInternalTest("=", "knownNullVars", "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, +test29.cpp:355:31: warning: internal collections 'knownNullVars' is different. +want: ptr1, + get: + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + ^ +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +function_decl func14: +statement_list : ptr1, +if_stmt : ptr1, +truth_orif_expr : ptr1, +truth_andif_expr : ptr1, +ne_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +ne_expr : +test29.cpp: In member function 'void Object1::func14(int*)': +test29.cpp:363:19: warning: Useless variable check 'ptr1'. It already was checked before + if ((ptr1 && ptr1) || ptr1) + ^ +parm_decl ptr1: +pointer_type : +integer_type : +type_decl int: +integer_cst 32: +integer_cst -2147483648: +integer_cst 2147483647: +integer_cst 64: +integer_cst 0: +ne_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +integer_type : ptr1, +type_decl int: ptr1, +integer_cst 32: ptr1, +integer_cst -2147483648: ptr1, +integer_cst 2147483647: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +statement_list : +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +return_expr : +statement_list : 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, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, diff --git a/test/test29-04.txt b/test/test29-04.txt index e69de29..b3f2f2e 100644 --- a/test/test29-04.txt +++ b/test/test29-04.txt @@ -0,0 +1,18 @@ +test29.cpp: In member function 'void Object1::func13(int*)': +test29.cpp:338:28: warning: Useless variable check 'ptr1'. It already was checked before + if ((ptr1 || ptr1) && ptr1) + ^ +test29.cpp:350:35: warning: internal collections 'knownNullVars' is different. +want: ptr1, + get: + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + ^ +test29.cpp:355:31: warning: internal collections 'knownNullVars' is different. +want: ptr1, + get: + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + ^ +test29.cpp: In member function 'void Object1::func14(int*)': +test29.cpp:363:19: warning: Useless variable check 'ptr1'. It already was checked before + if ((ptr1 && ptr1) || ptr1) + ^ diff --git a/test/test29.cpp b/test/test29.cpp index 472f242..0af523e 100644 --- a/test/test29.cpp +++ b/test/test29.cpp @@ -32,7 +32,13 @@ class Object1 paranuckerInternalTest("=", "knownNullVars", ""); paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); if (!ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); return; + } paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); paranuckerInternalTest("=", "knownNonNullVars", "ptr2"); paranuckerInternalTest("=", "knownNullVars", ""); @@ -83,4 +89,296 @@ class Object1 paranuckerInternalTest("=", "needCheckNullVars", ""); return ptr1; } + + void func4(Data1 *ptr1, Data1 *ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + if (ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr2"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + return; + } + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + ptr1 = ptr2; + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + + void func5(Data1 *ptr1, Data2 *ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + if (ptr2) + return; + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + ptr1 = dynamic_cast(ptr2); + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + + Data1 *func6(Data1 *ptr2) + { + Data1 *ptr1; + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + if (ptr2) + return 0; + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + ptr1 = ptr2; + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + return ptr1; + } + + void func7(Data1 *ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + // null || 10 -> return + // null || 9 -> return + // 123 || 10 -> return + // 123 || 9 -> continue + // wco if_stmt clean checkedElseNonNullVars:ptr2, needCheckNullVars:ptr2, knownVars:ptr2, + if (!ptr2 || k == 10) + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr2"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + } + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr2"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + } + + void func8(Data1 *ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + // null && 10 -> return + // null && 9 -> continue + // 123 && 10 -> continue + // 123 && 9 -> continue + // wco if_stmt needCheckNullVars:ptr2, knownVars:ptr2, knownNullVars:ptr2, + if (!ptr2 && k == 10) + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + return; + } + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + } + + void func9(Data1 *ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + // null || 10 -> return + // null || 9 -> contine + // 123 || 10 -> return + // 123 || 9 -> return + // wco if_stmt clean needCheckNullVars:ptr2, knownVars:ptr2, + if (ptr2 || k == 10) + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + } + paranuckerInternalTest("=", "knownVars", "ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + } + + void func10(Data1 *ptr1, Data1 *ptr2) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + // null || null -> continue + // null || 123 -> return + // 123 || null -> return + // 123 || 123 -> return + // wco if_stmt clean checkedElseNullVars:ptr1, ptr2, needCheckNullVars:ptr1, ptr2, knownVars:ptr1, ptr2, + if (ptr2 || ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + + void func11(int *ptr1, int *ptr2) + { + // null && null || null -> continue + // null && 123 || null -> continue + // 123 && null || 123 -> return + // 123 && 123 || 123 -> return + // wco if_stmt clean checkedThenNonNullVars:ptr1, checkedElseNullVars:ptr1, needCheckNullVars:ptr1, ptr2, knownVars:ptr1, ptr2, + if ((ptr1 && ptr2) || ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + + void func12(int *ptr1, int *ptr2) + { + // null || null && null -> continue + // null || 123 && null -> continue + // 123 || null && 123 -> return + // 123 || 123 && 123 -> return + if ((ptr1 || ptr2) && ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr2"); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + paranuckerInternalTest("=", "knownVars", "ptr1 ptr2"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 ptr2"); + } + + void func13(int *ptr1) + { + // null -> continue + // 123 -> return + if ((ptr1 || ptr1) && ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + } + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + } + + void func14(int *ptr1) + { + // null -> continue + // 123 -> return + if ((ptr1 && ptr1) || ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + return; + } + else + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + } + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", "ptr1"); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + } + }; -- cgit v1.2.3-70-g09d2