diff options
| -rw-r--r-- | test/test34-01.txt | 3102 | ||||
| -rw-r--r-- | test/test34-02.txt | 2 | ||||
| -rw-r--r-- | test/test34-03.txt | 910 | ||||
| -rw-r--r-- | test/test34.cpp | 146 |
4 files changed, 4160 insertions, 0 deletions
diff --git a/test/test34-01.txt b/test/test34-01.txt index c76b4a4..477a647 100644 --- a/test/test34-01.txt +++ b/test/test34-01.txt @@ -8589,3 +8589,3105 @@ function_decl func10 test34.cpp 371:10 addr_expr - operand string_cst this->tmp1 - operand - stringLength: 11 +function_decl func11 test34.cpp 432:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test34.cpp 433:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + - isUsed: 1 + parm_decl this test34.cpp 432:28 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test34.cpp 432:24 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test34.cpp 434:57 - statement + expr_stmt test34.cpp 434:57 - operand + call_expr test34.cpp 434:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 435:60 - statement + expr_stmt test34.cpp 435:60 - operand + call_expr test34.cpp 435:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 436:57 - statement + expr_stmt test34.cpp 436:57 - operand + call_expr test34.cpp 436:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 437:65 - statement + expr_stmt test34.cpp 437:65 - operand + call_expr test34.cpp 437:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 438:55 - statement + expr_stmt test34.cpp 438:55 - operand + call_expr test34.cpp 438:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 439:58 - statement + expr_stmt test34.cpp 439:58 - operand + call_expr test34.cpp 439:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 440:61 - statement + expr_stmt test34.cpp 440:61 - operand + call_expr test34.cpp 440:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 441:58 - statement + expr_stmt test34.cpp 441:58 - operand + call_expr test34.cpp 441:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 442:64 - statement + expr_stmt test34.cpp 442:64 - operand + call_expr test34.cpp 442:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 443:65 - statement + expr_stmt test34.cpp 443:65 - operand + call_expr test34.cpp 443:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 444:71 - statement + expr_stmt test34.cpp 444:71 - operand + call_expr test34.cpp 444:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 445:20 - statement + expr_stmt test34.cpp 445:20 - operand + convert_expr - expresssion + modify_expr - operand + component_ref test34.cpp 445:9 - operand + indirect_ref - object + nop_expr - ref + - isUsed: 1 + parm_decl this test34.cpp 432:28 - operand + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + - isUsed: 1 + parm_decl ptr1 test34.cpp 432:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test34.cpp 446:68 - statement + expr_stmt test34.cpp 446:68 - operand + call_expr test34.cpp 446:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 447:60 - statement + expr_stmt test34.cpp 447:60 - operand + call_expr test34.cpp 447:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 448:57 - statement + expr_stmt test34.cpp 448:57 - operand + call_expr test34.cpp 448:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 449:76 - statement + expr_stmt test34.cpp 449:76 - operand + call_expr test34.cpp 449:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 450:65 - statement + expr_stmt test34.cpp 450:65 - operand + call_expr test34.cpp 450:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 451:61 - statement + expr_stmt test34.cpp 451:61 - operand + call_expr test34.cpp 451:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 452:69 - statement + expr_stmt test34.cpp 452:69 - operand + call_expr test34.cpp 452:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 453:64 - statement + expr_stmt test34.cpp 453:64 - operand + call_expr test34.cpp 453:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 454:65 - statement + expr_stmt test34.cpp 454:65 - operand + call_expr test34.cpp 454:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 455:76 - statement + expr_stmt test34.cpp 455:76 - operand + call_expr test34.cpp 455:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 ptr1 - operand + - stringLength: 16 + while_stmt test34.cpp 456:9 - statement + truth_andif_expr test34.cpp 456:21 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 432:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test34.cpp 456:34 - operand + component_ref test34.cpp 456:30 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test34.cpp 432:24 - ref + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_cst 100 - operand + statement_list - body + cleanup_point_expr test34.cpp 458:72 - statement + expr_stmt test34.cpp 458:72 - operand + call_expr test34.cpp 458:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 459:79 - statement + expr_stmt test34.cpp 459:79 - operand + call_expr test34.cpp 459:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 460:61 - statement + expr_stmt test34.cpp 460:61 - operand + call_expr test34.cpp 460:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 461:65 - statement + expr_stmt test34.cpp 461:65 - operand + call_expr test34.cpp 461:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 462:59 - statement + expr_stmt test34.cpp 462:59 - operand + call_expr test34.cpp 462:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 463:65 - statement + expr_stmt test34.cpp 463:65 - operand + call_expr test34.cpp 463:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 464:73 - statement + expr_stmt test34.cpp 464:73 - operand + call_expr test34.cpp 464:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 465:68 - statement + expr_stmt test34.cpp 465:68 - operand + call_expr test34.cpp 465:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 466:69 - statement + expr_stmt test34.cpp 466:69 - operand + call_expr test34.cpp 466:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 467:80 - statement + expr_stmt test34.cpp 467:80 - operand + call_expr test34.cpp 467:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 ptr1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 468:30 - statement + expr_stmt test34.cpp 468:30 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 432:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + call_expr test34.cpp 468:28 - operand + addr_expr - function + function_decl getData1 test34.cpp 23:12 - operand + - isExternal: 1 + - isPublic: 1 + method_type - function type + pointer_type - method return type + - isUsed: 1 + parm_decl this test34.cpp 432:28 - arg + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test34.cpp 469:72 - statement + expr_stmt test34.cpp 469:72 - operand + call_expr test34.cpp 469:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 470:74 - statement + expr_stmt test34.cpp 470:74 - operand + call_expr test34.cpp 470:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 471:61 - statement + expr_stmt test34.cpp 471:61 - operand + call_expr test34.cpp 471:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 472:69 - statement + expr_stmt test34.cpp 472:69 - operand + call_expr test34.cpp 472:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 473:63 - statement + expr_stmt test34.cpp 473:63 - operand + call_expr test34.cpp 473:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 474:65 - statement + expr_stmt test34.cpp 474:65 - operand + call_expr test34.cpp 474:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 475:62 - statement + expr_stmt test34.cpp 475:62 - operand + call_expr test34.cpp 475:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 476:68 - statement + expr_stmt test34.cpp 476:68 - operand + call_expr test34.cpp 476:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 477:69 - statement + expr_stmt test34.cpp 477:69 - operand + call_expr test34.cpp 477:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 478:75 - statement + expr_stmt test34.cpp 478:75 - operand + call_expr test34.cpp 478:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + if_stmt test34.cpp 479:13 - statement + eq_expr test34.cpp 479:18 - condition + - isUsed: 1 + parm_decl ptr1 test34.cpp 432:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + return_expr test34.cpp 480:17 - then + cleanup_point_expr test34.cpp 481:72 - statement + expr_stmt test34.cpp 481:72 - operand + call_expr test34.cpp 481:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 482:79 - statement + expr_stmt test34.cpp 482:79 - operand + call_expr test34.cpp 482:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 483:61 - statement + expr_stmt test34.cpp 483:61 - operand + call_expr test34.cpp 483:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 484:65 - statement + expr_stmt test34.cpp 484:65 - operand + call_expr test34.cpp 484:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 485:59 - statement + expr_stmt test34.cpp 485:59 - operand + call_expr test34.cpp 485:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 486:69 - statement + expr_stmt test34.cpp 486:69 - operand + call_expr test34.cpp 486:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 487:62 - statement + expr_stmt test34.cpp 487:62 - operand + call_expr test34.cpp 487:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 488:68 - statement + expr_stmt test34.cpp 488:68 - operand + call_expr test34.cpp 488:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 489:69 - statement + expr_stmt test34.cpp 489:69 - operand + call_expr test34.cpp 489:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 490:75 - statement + expr_stmt test34.cpp 490:75 - operand + call_expr test34.cpp 490:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 492:68 - statement + expr_stmt test34.cpp 492:68 - operand + call_expr test34.cpp 492:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 493:60 - statement + expr_stmt test34.cpp 493:60 - operand + call_expr test34.cpp 493:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 494:57 - statement + expr_stmt test34.cpp 494:57 - operand + call_expr test34.cpp 494:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 495:76 - statement + expr_stmt test34.cpp 495:76 - operand + call_expr test34.cpp 495:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 496:65 - statement + expr_stmt test34.cpp 496:65 - operand + call_expr test34.cpp 496:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 497:58 - statement + expr_stmt test34.cpp 497:58 - operand + call_expr test34.cpp 497:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 498:61 - statement + expr_stmt test34.cpp 498:61 - operand + call_expr test34.cpp 498:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 499:69 - statement + expr_stmt test34.cpp 499:69 - operand + call_expr test34.cpp 499:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 500:64 - statement + expr_stmt test34.cpp 500:64 - operand + call_expr test34.cpp 500:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 501:65 - statement + expr_stmt test34.cpp 501:65 - operand + call_expr test34.cpp 501:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 502:76 - statement + expr_stmt test34.cpp 502:76 - operand + call_expr test34.cpp 502:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 ptr1 - operand + - stringLength: 16 +function_decl func12 test34.cpp 505:10 +- isPublic: 1 + method_type - function type + void_type - method return type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + record_type - method base type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - arg types + pointer_type - value + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + tree_list - chain + pointer_type - value + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + tree_list - chain + void_type - value + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + result_decl test34.cpp 506:5 - function result + - isAutogenerated: 1 + void_type - result type + type_decl void <built-in> 0:0 - type name + - isAutogenerated: 1 + - isUsed: 1 + parm_decl this test34.cpp 505:28 - argument + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + - isUsed: 1 + parm_decl ptr1 test34.cpp 505:24 - argument + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + statement_list - code + cleanup_point_expr test34.cpp 507:57 - statement + expr_stmt test34.cpp 507:57 - operand + call_expr test34.cpp 507:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 508:60 - statement + expr_stmt test34.cpp 508:60 - operand + call_expr test34.cpp 508:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 509:57 - statement + expr_stmt test34.cpp 509:57 - operand + call_expr test34.cpp 509:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 510:65 - statement + expr_stmt test34.cpp 510:65 - operand + call_expr test34.cpp 510:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 511:55 - statement + expr_stmt test34.cpp 511:55 - operand + call_expr test34.cpp 511:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 512:58 - statement + expr_stmt test34.cpp 512:58 - operand + call_expr test34.cpp 512:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 513:61 - statement + expr_stmt test34.cpp 513:61 - operand + call_expr test34.cpp 513:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 514:58 - statement + expr_stmt test34.cpp 514:58 - operand + call_expr test34.cpp 514:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 515:64 - statement + expr_stmt test34.cpp 515:64 - operand + call_expr test34.cpp 515:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 516:65 - statement + expr_stmt test34.cpp 516:65 - operand + call_expr test34.cpp 516:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 517:71 - statement + expr_stmt test34.cpp 517:71 - operand + call_expr test34.cpp 517:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 518:20 - statement + expr_stmt test34.cpp 518:20 - operand + convert_expr - expresssion + modify_expr - operand + component_ref test34.cpp 518:9 - operand + indirect_ref - object + nop_expr - ref + - isUsed: 1 + parm_decl this test34.cpp 505:28 - operand + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + - isUsed: 1 + parm_decl ptr1 test34.cpp 505:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test34.cpp 519:68 - statement + expr_stmt test34.cpp 519:68 - operand + call_expr test34.cpp 519:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 520:60 - statement + expr_stmt test34.cpp 520:60 - operand + call_expr test34.cpp 520:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 521:57 - statement + expr_stmt test34.cpp 521:57 - operand + call_expr test34.cpp 521:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 522:76 - statement + expr_stmt test34.cpp 522:76 - operand + call_expr test34.cpp 522:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 523:65 - statement + expr_stmt test34.cpp 523:65 - operand + call_expr test34.cpp 523:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 524:61 - statement + expr_stmt test34.cpp 524:61 - operand + call_expr test34.cpp 524:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 525:69 - statement + expr_stmt test34.cpp 525:69 - operand + call_expr test34.cpp 525:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 526:64 - statement + expr_stmt test34.cpp 526:64 - operand + call_expr test34.cpp 526:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 527:65 - statement + expr_stmt test34.cpp 527:65 - operand + call_expr test34.cpp 527:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 528:76 - statement + expr_stmt test34.cpp 528:76 - operand + call_expr test34.cpp 528:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 ptr1 - operand + - stringLength: 16 + while_stmt test34.cpp 529:9 - statement + truth_andif_expr test34.cpp 529:21 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 505:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + eq_expr test34.cpp 529:34 - operand + component_ref test34.cpp 529:30 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test34.cpp 505:24 - ref + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + integer_cst 100 - operand + statement_list - body + cleanup_point_expr test34.cpp 531:72 - statement + expr_stmt test34.cpp 531:72 - operand + call_expr test34.cpp 531:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 532:79 - statement + expr_stmt test34.cpp 532:79 - operand + call_expr test34.cpp 532:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 533:61 - statement + expr_stmt test34.cpp 533:61 - operand + call_expr test34.cpp 533:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 534:65 - statement + expr_stmt test34.cpp 534:65 - operand + call_expr test34.cpp 534:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 535:59 - statement + expr_stmt test34.cpp 535:59 - operand + call_expr test34.cpp 535:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 536:65 - statement + expr_stmt test34.cpp 536:65 - operand + call_expr test34.cpp 536:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 537:73 - statement + expr_stmt test34.cpp 537:73 - operand + call_expr test34.cpp 537:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 538:68 - statement + expr_stmt test34.cpp 538:68 - operand + call_expr test34.cpp 538:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 539:69 - statement + expr_stmt test34.cpp 539:69 - operand + call_expr test34.cpp 539:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 540:80 - statement + expr_stmt test34.cpp 540:80 - operand + call_expr test34.cpp 540:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 ptr1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 541:30 - statement + expr_stmt test34.cpp 541:30 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 505:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + call_expr test34.cpp 541:28 - operand + addr_expr - function + function_decl getData1 test34.cpp 23:12 - operand + - isExternal: 1 + - isPublic: 1 + method_type - function type + pointer_type - method return type + - isUsed: 1 + parm_decl this test34.cpp 505:28 - arg + - isAutogenerated: 1 + pointer_type - decl type + record_type - nested type + type_decl Object1 test34.cpp 18:7 - type name + - isAutogenerated: 1 + field_decl tmp1 test34.cpp 20:12 - field + - unsigned + integer_cst 64 - decl size + field_decl tmp2 test34.cpp 21:12 - field + - unsigned + integer_cst 64 - decl size + type_decl Object1 test34.cpp 19:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + cleanup_point_expr test34.cpp 542:72 - statement + expr_stmt test34.cpp 542:72 - operand + call_expr test34.cpp 542:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 543:74 - statement + expr_stmt test34.cpp 543:74 - operand + call_expr test34.cpp 543:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 544:61 - statement + expr_stmt test34.cpp 544:61 - operand + call_expr test34.cpp 544:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 545:69 - statement + expr_stmt test34.cpp 545:69 - operand + call_expr test34.cpp 545:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 546:63 - statement + expr_stmt test34.cpp 546:63 - operand + call_expr test34.cpp 546:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 547:65 - statement + expr_stmt test34.cpp 547:65 - operand + call_expr test34.cpp 547:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 548:62 - statement + expr_stmt test34.cpp 548:62 - operand + call_expr test34.cpp 548:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 549:68 - statement + expr_stmt test34.cpp 549:68 - operand + call_expr test34.cpp 549:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 550:69 - statement + expr_stmt test34.cpp 550:69 - operand + call_expr test34.cpp 550:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 551:75 - statement + expr_stmt test34.cpp 551:75 - operand + call_expr test34.cpp 551:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + if_stmt test34.cpp 552:13 - statement + eq_expr test34.cpp 552:18 - condition + - isUsed: 1 + parm_decl ptr1 test34.cpp 505:24 - operand + pointer_type - decl type + record_type - nested type + type_decl Data1 test34.cpp 3:8 - type name + - isAutogenerated: 1 + field_decl val test34.cpp 5:9 - field + - signed + integer_cst 32 - decl size + field_decl ptrval test34.cpp 6:12 - field + - unsigned + integer_cst 64 - decl size + field_decl arr test34.cpp 7:14 - field + - signed + integer_cst 96 - decl size + type_decl Data1 test34.cpp 4:1 - field + - isAutogenerated: 1 + integer_cst 64 - parm size + integer_cst 0 - operand + continue_stmt test34.cpp 553:17 - then + cleanup_point_expr test34.cpp 554:72 - statement + expr_stmt test34.cpp 554:72 - operand + call_expr test34.cpp 554:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 555:79 - statement + expr_stmt test34.cpp 555:79 - operand + call_expr test34.cpp 555:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 556:61 - statement + expr_stmt test34.cpp 556:61 - operand + call_expr test34.cpp 556:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 557:65 - statement + expr_stmt test34.cpp 557:65 - operand + call_expr test34.cpp 557:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 558:59 - statement + expr_stmt test34.cpp 558:59 - operand + call_expr test34.cpp 558:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 559:69 - statement + expr_stmt test34.cpp 559:69 - operand + call_expr test34.cpp 559:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 560:62 - statement + expr_stmt test34.cpp 560:62 - operand + call_expr test34.cpp 560:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 561:68 - statement + expr_stmt test34.cpp 561:68 - operand + call_expr test34.cpp 561:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 562:69 - statement + expr_stmt test34.cpp 562:69 - operand + call_expr test34.cpp 562:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 563:75 - statement + expr_stmt test34.cpp 563:75 - operand + call_expr test34.cpp 563:35 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 565:68 - statement + expr_stmt test34.cpp 565:68 - operand + call_expr test34.cpp 565:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 566:60 - statement + expr_stmt test34.cpp 566:60 - operand + call_expr test34.cpp 566:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 567:57 - statement + expr_stmt test34.cpp 567:57 - operand + call_expr test34.cpp 567:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 test34.cpp 568:76 - statement + expr_stmt test34.cpp 568:76 - operand + call_expr test34.cpp 568:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return 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 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 569:65 - statement + expr_stmt test34.cpp 569:65 - operand + call_expr test34.cpp 569:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst addNullVars - operand + - stringLength: 12 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 570:58 - statement + expr_stmt test34.cpp 570:58 - operand + call_expr test34.cpp 570:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVars - operand + - stringLength: 15 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 571:61 - statement + expr_stmt test34.cpp 571:61 - operand + call_expr test34.cpp 571:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst removeNullVarsAll - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst - operand + - stringLength: 1 + cleanup_point_expr test34.cpp 572:69 - statement + expr_stmt test34.cpp 572:69 - operand + call_expr test34.cpp 572:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 573:64 - statement + expr_stmt test34.cpp 573:64 - operand + call_expr test34.cpp 573:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedVars - operand + - stringLength: 11 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 - operand + - stringLength: 11 + cleanup_point_expr test34.cpp 574:65 - statement + expr_stmt test34.cpp 574:65 - operand + call_expr test34.cpp 574:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst ptr1 - operand + - stringLength: 5 + cleanup_point_expr test34.cpp 575:76 - statement + expr_stmt test34.cpp 575:76 - operand + call_expr test34.cpp 575:31 - expresssion + addr_expr - function + function_decl paranuckerInternalTest test34.cpp 16:6 - operand + - isExternal: 1 + - isPublic: 1 + function_type - function type + void_type - function return type + nop_expr - arg + addr_expr - operand + string_cst = - operand + - stringLength: 2 + nop_expr - arg + addr_expr - operand + string_cst linkedReverseVars - operand + - stringLength: 18 + nop_expr - arg + addr_expr - operand + string_cst this->tmp1 ptr1 - operand + - stringLength: 16 diff --git a/test/test34-02.txt b/test/test34-02.txt index cbcab99..0f80efd 100644 --- a/test/test34-02.txt +++ b/test/test34-02.txt @@ -10,3 +10,5 @@ func7: pointer_type ptr1, func8: pointer_type ptr1, func9: pointer_type ptr1, func10: pointer_type ptr1, +func11: pointer_type ptr1, +func12: pointer_type ptr1, diff --git a/test/test34-03.txt b/test/test34-03.txt index 6b5271c..2c9c814 100644 --- a/test/test34-03.txt +++ b/test/test34-03.txt @@ -2470,3 +2470,913 @@ expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, +function_decl func11: +statement_list : ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +convert_expr : ptr1, +modify_expr : ptr1, +component_ref : ptr1, this->tmp1, +indirect_ref : ptr1, this->tmp1, +parm_decl this: ptr1, this->tmp1, +pointer_type : ptr1, this->tmp1, +record_type : ptr1, this->tmp1, +type_decl Object1: ptr1, this->tmp1, +field_decl tmp1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl tmp2: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +type_decl Object1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl tmp1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +parm_decl ptr1: ptr1, this->tmp1, +pointer_type : ptr1, this->tmp1, +record_type : ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +field_decl val: ptr1, this->tmp1, +integer_cst 32: ptr1, this->tmp1, +field_decl ptrval: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl arr: ptr1, this->tmp1, +integer_cst 96: ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +while_stmt : ptr1, this->tmp1, +truth_andif_expr : ptr1, this->tmp1, +ne_expr : ptr1, this->tmp1, +parm_decl ptr1: ptr1, this->tmp1, +pointer_type : ptr1, this->tmp1, +record_type : ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +field_decl val: ptr1, this->tmp1, +integer_cst 32: ptr1, this->tmp1, +field_decl ptrval: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl arr: ptr1, this->tmp1, +integer_cst 96: ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +integer_cst 0: ptr1, this->tmp1, +eq_expr : +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: +statement_list : +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl getData1: ptr1, +parm_decl this: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Object1: ptr1, +field_decl tmp1: ptr1, +integer_cst 64: ptr1, +field_decl tmp2: ptr1, +integer_cst 64: ptr1, +type_decl Object1: ptr1, +integer_cst 64: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +if_stmt : ptr1, +eq_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +return_expr : ptr1, +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +truth_andif_expr : +ne_expr : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +integer_cst 0: +eq_expr : +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +function_decl func12: +statement_list : ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +convert_expr : ptr1, +modify_expr : ptr1, +component_ref : ptr1, this->tmp1, +indirect_ref : ptr1, this->tmp1, +parm_decl this: ptr1, this->tmp1, +pointer_type : ptr1, this->tmp1, +record_type : ptr1, this->tmp1, +type_decl Object1: ptr1, this->tmp1, +field_decl tmp1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl tmp2: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +type_decl Object1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl tmp1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +parm_decl ptr1: ptr1, this->tmp1, +pointer_type : ptr1, this->tmp1, +record_type : ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +field_decl val: ptr1, this->tmp1, +integer_cst 32: ptr1, this->tmp1, +field_decl ptrval: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl arr: ptr1, this->tmp1, +integer_cst 96: ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +while_stmt : ptr1, this->tmp1, +truth_andif_expr : ptr1, this->tmp1, +ne_expr : ptr1, this->tmp1, +parm_decl ptr1: ptr1, this->tmp1, +pointer_type : ptr1, this->tmp1, +record_type : ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +field_decl val: ptr1, this->tmp1, +integer_cst 32: ptr1, this->tmp1, +field_decl ptrval: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +field_decl arr: ptr1, this->tmp1, +integer_cst 96: ptr1, this->tmp1, +type_decl Data1: ptr1, this->tmp1, +integer_cst 64: ptr1, this->tmp1, +integer_cst 0: ptr1, this->tmp1, +eq_expr : +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: +statement_list : +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : +expr_stmt : +convert_expr : +modify_expr : +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl getData1: ptr1, +parm_decl this: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Object1: ptr1, +field_decl tmp1: ptr1, +integer_cst 64: ptr1, +field_decl tmp2: ptr1, +integer_cst 64: ptr1, +type_decl Object1: ptr1, +integer_cst 64: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +cleanup_point_expr : ptr1, +expr_stmt : ptr1, +call_expr : ptr1, +addr_expr : ptr1, +function_decl paranuckerInternalTest: ptr1, +if_stmt : ptr1, +eq_expr : ptr1, +parm_decl ptr1: ptr1, +pointer_type : ptr1, +record_type : ptr1, +type_decl Data1: ptr1, +field_decl val: ptr1, +integer_cst 32: ptr1, +field_decl ptrval: ptr1, +integer_cst 64: ptr1, +field_decl arr: ptr1, +integer_cst 96: ptr1, +type_decl Data1: ptr1, +integer_cst 64: ptr1, +integer_cst 0: ptr1, +continue_stmt : ptr1, +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +cleanup_point_expr : ptr1, +expr_stmt : +call_expr : +addr_expr : +function_decl paranuckerInternalTest: +truth_andif_expr : +ne_expr : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +integer_cst 0: +eq_expr : +component_ref : +indirect_ref : +parm_decl ptr1: +pointer_type : +record_type : +type_decl Data1: +field_decl val: +integer_cst 32: +field_decl ptrval: +integer_cst 64: +field_decl arr: +integer_cst 96: +type_decl Data1: +integer_cst 64: +field_decl val: +integer_cst 32: +integer_cst 100: +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, +cleanup_point_expr : ptr1, this->tmp1, +expr_stmt : ptr1, this->tmp1, +call_expr : ptr1, this->tmp1, +addr_expr : ptr1, this->tmp1, +function_decl paranuckerInternalTest: ptr1, this->tmp1, diff --git a/test/test34.cpp b/test/test34.cpp index 9368ab3..dfc0c64 100644 --- a/test/test34.cpp +++ b/test/test34.cpp @@ -428,4 +428,150 @@ class Object1 paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); } + + void func11(Data1 *ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + tmp1 = ptr1; + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "addNullVars", "this->tmp1"); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); + while (ptr1 && ptr1->val == 100) + { + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); + ptr1 = getData1(); + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", "ptr1"); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + if (!ptr1) + return; + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + } + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "addNullVars", "this->tmp1"); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); + } + + void func12(Data1 *ptr1) + { + paranuckerInternalTest("=", "knownVars", "ptr1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + tmp1 = ptr1; + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "addNullVars", "this->tmp1"); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); + while (ptr1 && ptr1->val == 100) + { + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); + ptr1 = getData1(); + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1"); + paranuckerInternalTest("=", "addNullVars", "ptr1"); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + if (!ptr1) + continue; + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", ""); + paranuckerInternalTest("=", "addNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + } + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "addNullVars", "this->tmp1"); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); + } }; |