diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-20 22:46:47 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-20 22:46:47 +0300 |
commit | cfdf4361c7d0d8983d407c3a791207f16901683e (patch) | |
tree | e04caad66164faedd3ab8ca7fa55f7d9b80faa65 | |
parent | ed8886187ea569953380a8d3424a3a41147eceaa (diff) | |
download | paranucker-cfdf4361c7d0d8983d407c3a791207f16901683e.tar.gz paranucker-cfdf4361c7d0d8983d407c3a791207f16901683e.tar.bz2 paranucker-cfdf4361c7d0d8983d407c3a791207f16901683e.tar.xz paranucker-cfdf4361c7d0d8983d407c3a791207f16901683e.zip |
Update test 34.
-rw-r--r-- | test/test34-01.txt | 1551 | ||||
-rw-r--r-- | test/test34-02.txt | 1 | ||||
-rw-r--r-- | test/test34-03.txt | 455 | ||||
-rw-r--r-- | test/test34.cpp | 73 |
4 files changed, 2080 insertions, 0 deletions
diff --git a/test/test34-01.txt b/test/test34-01.txt index 477a647..5ac60a2 100644 --- a/test/test34-01.txt +++ b/test/test34-01.txt @@ -11691,3 +11691,1554 @@ function_decl func12 test34.cpp 505:10 addr_expr - operand string_cst this->tmp1 ptr1 - operand - stringLength: 16 +function_decl func13 test34.cpp 578: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 579: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 578: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 578: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 580:57 - statement + expr_stmt test34.cpp 580:57 - operand + call_expr test34.cpp 580: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 581:60 - statement + expr_stmt test34.cpp 581:60 - operand + call_expr test34.cpp 581: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 582:57 - statement + expr_stmt test34.cpp 582:57 - operand + call_expr test34.cpp 582: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 583:65 - statement + expr_stmt test34.cpp 583:65 - operand + call_expr test34.cpp 583: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 584:55 - statement + expr_stmt test34.cpp 584:55 - operand + call_expr test34.cpp 584: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 585:58 - statement + expr_stmt test34.cpp 585:58 - operand + call_expr test34.cpp 585: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 586:61 - statement + expr_stmt test34.cpp 586:61 - operand + call_expr test34.cpp 586: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 587:58 - statement + expr_stmt test34.cpp 587:58 - operand + call_expr test34.cpp 587: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 588:64 - statement + expr_stmt test34.cpp 588:64 - operand + call_expr test34.cpp 588: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 589:65 - statement + expr_stmt test34.cpp 589:65 - operand + call_expr test34.cpp 589: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 590:71 - statement + expr_stmt test34.cpp 590:71 - operand + call_expr test34.cpp 590: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 591:20 - statement + expr_stmt test34.cpp 591:20 - operand + convert_expr - expresssion + modify_expr - operand + component_ref test34.cpp 591:9 - operand + indirect_ref - object + nop_expr - ref + - isUsed: 1 + parm_decl this test34.cpp 578: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 578: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 592:68 - statement + expr_stmt test34.cpp 592:68 - operand + call_expr test34.cpp 592: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 593:60 - statement + expr_stmt test34.cpp 593:60 - operand + call_expr test34.cpp 593: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 594:57 - statement + expr_stmt test34.cpp 594:57 - operand + call_expr test34.cpp 594: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 595:76 - statement + expr_stmt test34.cpp 595:76 - operand + call_expr test34.cpp 595: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 596:65 - statement + expr_stmt test34.cpp 596:65 - operand + call_expr test34.cpp 596: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 597:61 - statement + expr_stmt test34.cpp 597:61 - operand + call_expr test34.cpp 597: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 598:69 - statement + expr_stmt test34.cpp 598:69 - operand + call_expr test34.cpp 598: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 599:64 - statement + expr_stmt test34.cpp 599:64 - operand + call_expr test34.cpp 599: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 600:65 - statement + expr_stmt test34.cpp 600:65 - operand + call_expr test34.cpp 600: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 601:76 - statement + expr_stmt test34.cpp 601:76 - operand + call_expr test34.cpp 601: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 602:9 - statement + truth_andif_expr test34.cpp 602:21 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 578: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 602:34 - operand + component_ref test34.cpp 602:30 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test34.cpp 578: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 604:72 - statement + expr_stmt test34.cpp 604:72 - operand + call_expr test34.cpp 604: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 605:79 - statement + expr_stmt test34.cpp 605:79 - operand + call_expr test34.cpp 605: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 606:61 - statement + expr_stmt test34.cpp 606:61 - operand + call_expr test34.cpp 606: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 607:65 - statement + expr_stmt test34.cpp 607:65 - operand + call_expr test34.cpp 607: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 608:59 - statement + expr_stmt test34.cpp 608:59 - operand + call_expr test34.cpp 608: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 609:65 - statement + expr_stmt test34.cpp 609:65 - operand + call_expr test34.cpp 609: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 610:73 - statement + expr_stmt test34.cpp 610:73 - operand + call_expr test34.cpp 610: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 611:68 - statement + expr_stmt test34.cpp 611:68 - operand + call_expr test34.cpp 611: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 612:69 - statement + expr_stmt test34.cpp 612:69 - operand + call_expr test34.cpp 612: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 613:80 - statement + expr_stmt test34.cpp 613:80 - operand + call_expr test34.cpp 613: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 614:30 - statement + expr_stmt test34.cpp 614:30 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 578: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 614: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 578: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 615:72 - statement + expr_stmt test34.cpp 615:72 - operand + call_expr test34.cpp 615: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 616:74 - statement + expr_stmt test34.cpp 616:74 - operand + call_expr test34.cpp 616: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 617:61 - statement + expr_stmt test34.cpp 617:61 - operand + call_expr test34.cpp 617: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 618:69 - statement + expr_stmt test34.cpp 618:69 - operand + call_expr test34.cpp 618: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 619:63 - statement + expr_stmt test34.cpp 619:63 - operand + call_expr test34.cpp 619: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 620:65 - statement + expr_stmt test34.cpp 620:65 - operand + call_expr test34.cpp 620: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 621:62 - statement + expr_stmt test34.cpp 621:62 - operand + call_expr test34.cpp 621: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 622:68 - statement + expr_stmt test34.cpp 622:68 - operand + call_expr test34.cpp 622: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 623:69 - statement + expr_stmt test34.cpp 623:69 - operand + call_expr test34.cpp 623: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 624:75 - statement + expr_stmt test34.cpp 624:75 - operand + call_expr test34.cpp 624: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 625:13 - statement + eq_expr test34.cpp 625:18 - condition + - isUsed: 1 + parm_decl ptr1 test34.cpp 578: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 + break_stmt test34.cpp 626:17 - then + cleanup_point_expr test34.cpp 627:72 - statement + expr_stmt test34.cpp 627:72 - operand + call_expr test34.cpp 627: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 628:79 - statement + expr_stmt test34.cpp 628:79 - operand + call_expr test34.cpp 628: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 629:61 - statement + expr_stmt test34.cpp 629:61 - operand + call_expr test34.cpp 629: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 630:65 - statement + expr_stmt test34.cpp 630:65 - operand + call_expr test34.cpp 630: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 631:59 - statement + expr_stmt test34.cpp 631:59 - operand + call_expr test34.cpp 631: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 632:69 - statement + expr_stmt test34.cpp 632:69 - operand + call_expr test34.cpp 632: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 633:62 - statement + expr_stmt test34.cpp 633:62 - operand + call_expr test34.cpp 633: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 634:68 - statement + expr_stmt test34.cpp 634:68 - operand + call_expr test34.cpp 634: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 635:69 - statement + expr_stmt test34.cpp 635:69 - operand + call_expr test34.cpp 635: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 636:75 - statement + expr_stmt test34.cpp 636:75 - operand + call_expr test34.cpp 636: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 638:68 - statement + expr_stmt test34.cpp 638:68 - operand + call_expr test34.cpp 638: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 639:60 - statement + expr_stmt test34.cpp 639:60 - operand + call_expr test34.cpp 639: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 640:57 - statement + expr_stmt test34.cpp 640:57 - operand + call_expr test34.cpp 640: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 641:76 - statement + expr_stmt test34.cpp 641:76 - operand + call_expr test34.cpp 641: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 642:65 - statement + expr_stmt test34.cpp 642:65 - operand + call_expr test34.cpp 642: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 643:58 - statement + expr_stmt test34.cpp 643:58 - operand + call_expr test34.cpp 643: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 644:61 - statement + expr_stmt test34.cpp 644:61 - operand + call_expr test34.cpp 644: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 645:69 - statement + expr_stmt test34.cpp 645:69 - operand + call_expr test34.cpp 645: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 646:64 - statement + expr_stmt test34.cpp 646:64 - operand + call_expr test34.cpp 646: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 647:65 - statement + expr_stmt test34.cpp 647:65 - operand + call_expr test34.cpp 647: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 648:76 - statement + expr_stmt test34.cpp 648:76 - operand + call_expr test34.cpp 648: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 0f80efd..e535528 100644 --- a/test/test34-02.txt +++ b/test/test34-02.txt @@ -12,3 +12,4 @@ func9: pointer_type ptr1, func10: pointer_type ptr1, func11: pointer_type ptr1, func12: pointer_type ptr1, +func13: pointer_type ptr1, diff --git a/test/test34-03.txt b/test/test34-03.txt index 8f0af21..94847da 100644 --- a/test/test34-03.txt +++ b/test/test34-03.txt @@ -3380,3 +3380,458 @@ expr_stmt : ptr1, this->tmp1, call_expr : ptr1, this->tmp1, addr_expr : ptr1, this->tmp1, function_decl paranuckerInternalTest: ptr1, this->tmp1, +function_decl func13: +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: +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: +call_expr : +addr_expr : +function_decl getData1: +parm_decl this: +pointer_type : +record_type : +type_decl Object1: +field_decl tmp1: +integer_cst 64: +field_decl tmp2: +integer_cst 64: +type_decl Object1: +integer_cst 64: +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, +break_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 dfc0c64..ce73070 100644 --- a/test/test34.cpp +++ b/test/test34.cpp @@ -574,4 +574,77 @@ class Object1 paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1"); } + + void func13(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) + break; + 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"); + } }; |