function_decl getData test29.cpp 23: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 void_type - value type_decl void 0:0 - type name - isAutogenerated: 1 result_decl test29.cpp 24: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 - isUsed: 1 parm_decl this test29.cpp 23:20 - 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 return_expr test29.cpp 25:16 - code init_expr - operand result_decl test29.cpp 24: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 component_ref test29.cpp 25:16 - operand indirect_ref - object nop_expr - ref - isUsed: 1 parm_decl this test29.cpp 23:20 - operand - 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 field_decl tmp1 test29.cpp 20:12 - field - unsigned integer_cst 64 - decl size function_decl func1 test29.cpp 28: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 29:5 - function result - isAutogenerated: 1 void_type - result type type_decl void 0:0 - type name - isAutogenerated: 1 parm_decl this test29.cpp 28: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 28: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 28: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 30:62 - statement expr_stmt test29.cpp 30:62 - operand call_expr test29.cpp 30: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 31:60 - statement expr_stmt test29.cpp 31:60 - operand call_expr test29.cpp 31: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 32:57 - statement expr_stmt test29.cpp 32:57 - operand call_expr test29.cpp 32: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 33:70 - statement expr_stmt test29.cpp 33:70 - operand call_expr test29.cpp 33: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 34:9 - statement eq_expr test29.cpp 34:14 - condition - isUsed: 1 parm_decl ptr2 test29.cpp 28: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 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 - 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 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 - 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 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 - 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 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 - 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 46:20 - statement expr_stmt test29.cpp 46:20 - operand convert_expr - expresssion modify_expr - operand - isUsed: 1 parm_decl ptr1 test29.cpp 28: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 28: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 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 - 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 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 - 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 ptr2 - operand - stringLength: 10 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 - 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 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 - 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 func2 test29.cpp 53: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 54:5 - function result - isAutogenerated: 1 void_type - result type type_decl void 0:0 - type name - isAutogenerated: 1 parm_decl this test29.cpp 53: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 53: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 53: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 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 - 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 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 - 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 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 - 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 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 - 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 59:9 - statement eq_expr test29.cpp 59:14 - condition - isUsed: 1 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 - 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 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 - 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 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 - 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 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 - 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 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 - 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 65:42 - statement expr_stmt test29.cpp 65:42 - operand convert_expr - expresssion modify_expr - operand - isUsed: 1 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 - 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 53: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 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 - 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 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 - 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 ptr2 - operand - stringLength: 10 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 - 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 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 - 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 func3 test29.cpp 72: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 73: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 72: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 72: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 90:20 - code var_decl ptr1 test29.cpp 74: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 74:16 - statement var_decl ptr1 test29.cpp 74:16 - operand - isUsed: 1 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 - 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 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 - 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 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 - 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 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 - 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 79:9 - statement eq_expr test29.cpp 79:14 - condition - isUsed: 1 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 - 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 80:20 - then init_expr - operand result_decl test29.cpp 73: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 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 - 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 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 - 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 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 - 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 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 - 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 85:20 - statement expr_stmt test29.cpp 85:20 - operand convert_expr - expresssion modify_expr - operand var_decl ptr1 test29.cpp 74:16 - operand - isUsed: 1 - isUsed: 1 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 - 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 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 - 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 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 - 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 ptr2 - operand - stringLength: 10 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 - 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 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 - 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 90:16 - statement init_expr - operand result_decl test29.cpp 73: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 74:16 - operand - isUsed: 1 block - operand 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 function_decl func15 test29.cpp 384: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 385:5 - function result - isAutogenerated: 1 void_type - result type type_decl void 0:0 - type name - isAutogenerated: 1 parm_decl this test29.cpp 384:28 - 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 384: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 statement_list - code cleanup_point_expr test29.cpp 386:57 - statement expr_stmt test29.cpp 386:57 - operand call_expr test29.cpp 386: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 387:60 - statement expr_stmt test29.cpp 387:60 - operand call_expr test29.cpp 387: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 388:57 - statement expr_stmt test29.cpp 388:57 - operand call_expr test29.cpp 388: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 389:65 - statement expr_stmt test29.cpp 389:65 - operand call_expr test29.cpp 389: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 395:9 - statement truth_orif_expr test29.cpp 395:19 - condition eq_expr test29.cpp 395:14 - operand - isUsed: 1 parm_decl ptr2 test29.cpp 384: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 eq_expr test29.cpp 395: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 397:61 - statement expr_stmt test29.cpp 397:61 - operand call_expr test29.cpp 397: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 398:64 - statement expr_stmt test29.cpp 398:64 - operand call_expr test29.cpp 398: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 399:61 - statement expr_stmt test29.cpp 399:61 - operand call_expr test29.cpp 399: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 400:69 - statement expr_stmt test29.cpp 400:69 - operand call_expr test29.cpp 400: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 statement_list - else cleanup_point_expr test29.cpp 404:61 - statement expr_stmt test29.cpp 404:61 - operand call_expr test29.cpp 404: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 405:68 - statement expr_stmt test29.cpp 405:68 - operand call_expr test29.cpp 405: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 406:61 - statement expr_stmt test29.cpp 406:61 - operand call_expr test29.cpp 406: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 407:65 - statement expr_stmt test29.cpp 407:65 - operand call_expr test29.cpp 407: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 408:13 - statement cleanup_point_expr test29.cpp 410:57 - statement expr_stmt test29.cpp 410:57 - operand call_expr test29.cpp 410: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 411:60 - statement expr_stmt test29.cpp 411:60 - operand call_expr test29.cpp 411: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 412:57 - statement expr_stmt test29.cpp 412:57 - operand call_expr test29.cpp 412: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 413:65 - statement expr_stmt test29.cpp 413:65 - operand call_expr test29.cpp 413: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 func16 test29.cpp 416: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 417:5 - function result - isAutogenerated: 1 void_type - result type type_decl void 0:0 - type name - isAutogenerated: 1 parm_decl this test29.cpp 416:28 - 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 416: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 statement_list - code cleanup_point_expr test29.cpp 418:57 - statement expr_stmt test29.cpp 418:57 - operand call_expr test29.cpp 418: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 419:60 - statement expr_stmt test29.cpp 419:60 - operand call_expr test29.cpp 419: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 420:57 - statement expr_stmt test29.cpp 420:57 - operand call_expr test29.cpp 420: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 421:65 - statement expr_stmt test29.cpp 421:65 - operand call_expr test29.cpp 421: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 423:9 - statement truth_orif_expr test29.cpp 423:19 - condition eq_expr test29.cpp 423:14 - operand - isUsed: 1 parm_decl ptr2 test29.cpp 416: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 eq_expr test29.cpp 423: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 425:61 - statement expr_stmt test29.cpp 425:61 - operand call_expr test29.cpp 425: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 426:64 - statement expr_stmt test29.cpp 426:64 - operand call_expr test29.cpp 426: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 427:61 - statement expr_stmt test29.cpp 427:61 - operand call_expr test29.cpp 427: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 428:69 - statement expr_stmt test29.cpp 428:69 - operand call_expr test29.cpp 428: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 429:13 - statement statement_list - else cleanup_point_expr test29.cpp 433:61 - statement expr_stmt test29.cpp 433:61 - operand call_expr test29.cpp 433: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 434:68 - statement expr_stmt test29.cpp 434:68 - operand call_expr test29.cpp 434: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 435:61 - statement expr_stmt test29.cpp 435:61 - operand call_expr test29.cpp 435: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 436:65 - statement expr_stmt test29.cpp 436:65 - operand call_expr test29.cpp 436: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 437:13 - statement cleanup_point_expr test29.cpp 439:57 - statement expr_stmt test29.cpp 439:57 - operand call_expr test29.cpp 439: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 440:60 - statement expr_stmt test29.cpp 440:60 - operand call_expr test29.cpp 440: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 441:57 - statement expr_stmt test29.cpp 441:57 - operand call_expr test29.cpp 441: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 442:61 - statement expr_stmt test29.cpp 442:61 - operand call_expr test29.cpp 442: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