diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-07-10 16:34:15 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-07-10 16:34:15 +0300 |
commit | 2c66820bd689662170447158ef5a8cf66f760e0d (patch) | |
tree | 0c3d674d313ebc547985b1340a27bb4c085a46d1 | |
parent | 8d71522916ba1e1058f362ecd69316b1a2a702cc (diff) | |
download | paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.tar.gz paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.tar.bz2 paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.tar.xz paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.zip |
Update test 34.
-rw-r--r-- | test/test34-01.txt | 1319 | ||||
-rw-r--r-- | test/test34-02.txt | 1 | ||||
-rw-r--r-- | test/test34-03.txt | 389 | ||||
-rw-r--r-- | test/test34.cpp | 60 |
4 files changed, 1769 insertions, 0 deletions
diff --git a/test/test34-01.txt b/test/test34-01.txt index c3a9093..c76b4a4 100644 --- a/test/test34-01.txt +++ b/test/test34-01.txt @@ -7270,3 +7270,1322 @@ function_decl func9 test34.cpp 329:10 addr_expr - operand string_cst - operand - stringLength: 1 +function_decl func10 test34.cpp 371: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 372: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 371: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 371: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 373:57 - statement + expr_stmt test34.cpp 373:57 - operand + call_expr test34.cpp 373: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 374:60 - statement + expr_stmt test34.cpp 374:60 - operand + call_expr test34.cpp 374: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 375:57 - statement + expr_stmt test34.cpp 375:57 - operand + call_expr test34.cpp 375: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 376:65 - statement + expr_stmt test34.cpp 376:65 - operand + call_expr test34.cpp 376: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 377:55 - statement + expr_stmt test34.cpp 377:55 - operand + call_expr test34.cpp 377: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 378:58 - statement + expr_stmt test34.cpp 378:58 - operand + call_expr test34.cpp 378: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 379:61 - statement + expr_stmt test34.cpp 379:61 - operand + call_expr test34.cpp 379: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 380:58 - statement + expr_stmt test34.cpp 380:58 - operand + call_expr test34.cpp 380: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 381:64 - statement + expr_stmt test34.cpp 381:64 - operand + call_expr test34.cpp 381: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 382:65 - statement + expr_stmt test34.cpp 382:65 - operand + call_expr test34.cpp 382: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 383:71 - statement + expr_stmt test34.cpp 383:71 - operand + call_expr test34.cpp 383: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 384:20 - statement + expr_stmt test34.cpp 384:20 - operand + convert_expr - expresssion + modify_expr - operand + component_ref test34.cpp 384:9 - operand + indirect_ref - object + nop_expr - ref + - isUsed: 1 + parm_decl this test34.cpp 371: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 371: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 385:68 - statement + expr_stmt test34.cpp 385:68 - operand + call_expr test34.cpp 385: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 386:60 - statement + expr_stmt test34.cpp 386:60 - operand + call_expr test34.cpp 386: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 387:57 - statement + expr_stmt test34.cpp 387:57 - operand + call_expr test34.cpp 387: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 388:76 - statement + expr_stmt test34.cpp 388:76 - operand + call_expr test34.cpp 388: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 389:65 - statement + expr_stmt test34.cpp 389:65 - operand + call_expr test34.cpp 389: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 390:61 - statement + expr_stmt test34.cpp 390:61 - operand + call_expr test34.cpp 390: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 391:69 - statement + expr_stmt test34.cpp 391:69 - operand + call_expr test34.cpp 391: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 392:64 - statement + expr_stmt test34.cpp 392:64 - operand + call_expr test34.cpp 392: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 393:65 - statement + expr_stmt test34.cpp 393:65 - operand + call_expr test34.cpp 393: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 394:76 - statement + expr_stmt test34.cpp 394:76 - operand + call_expr test34.cpp 394: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 395:9 - statement + truth_andif_expr test34.cpp 395:21 - condition + ne_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 371: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 395:34 - operand + component_ref test34.cpp 395:30 - operand + indirect_ref - object + - isUsed: 1 + parm_decl ptr1 test34.cpp 371: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 397:72 - statement + expr_stmt test34.cpp 397:72 - operand + call_expr test34.cpp 397: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 398:79 - statement + expr_stmt test34.cpp 398:79 - operand + call_expr test34.cpp 398: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 399:61 - statement + expr_stmt test34.cpp 399:61 - operand + call_expr test34.cpp 399: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 400:65 - statement + expr_stmt test34.cpp 400:65 - operand + call_expr test34.cpp 400: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 401:59 - statement + expr_stmt test34.cpp 401:59 - operand + call_expr test34.cpp 401: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 402:65 - statement + expr_stmt test34.cpp 402:65 - operand + call_expr test34.cpp 402: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 403:73 - statement + expr_stmt test34.cpp 403:73 - operand + call_expr test34.cpp 403: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 404:68 - statement + expr_stmt test34.cpp 404:68 - operand + call_expr test34.cpp 404: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 405:69 - statement + expr_stmt test34.cpp 405:69 - operand + call_expr test34.cpp 405: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 406:80 - statement + expr_stmt test34.cpp 406:80 - operand + call_expr test34.cpp 406: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 407:30 - statement + expr_stmt test34.cpp 407:30 - operand + convert_expr - expresssion + modify_expr - operand + - isUsed: 1 + parm_decl ptr1 test34.cpp 371: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 407: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 371: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 408:72 - statement + expr_stmt test34.cpp 408:72 - operand + call_expr test34.cpp 408: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 409:74 - statement + expr_stmt test34.cpp 409:74 - operand + call_expr test34.cpp 409: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 410:61 - statement + expr_stmt test34.cpp 410:61 - operand + call_expr test34.cpp 410: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 411:69 - statement + expr_stmt test34.cpp 411:69 - operand + call_expr test34.cpp 411: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 412:63 - statement + expr_stmt test34.cpp 412:63 - operand + call_expr test34.cpp 412: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 413:65 - statement + expr_stmt test34.cpp 413:65 - operand + call_expr test34.cpp 413: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 414:62 - statement + expr_stmt test34.cpp 414:62 - operand + call_expr test34.cpp 414: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 415:68 - statement + expr_stmt test34.cpp 415:68 - operand + call_expr test34.cpp 415: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 416:69 - statement + expr_stmt test34.cpp 416:69 - operand + call_expr test34.cpp 416: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 417:75 - statement + expr_stmt test34.cpp 417:75 - operand + call_expr test34.cpp 417: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 419:68 - statement + expr_stmt test34.cpp 419:68 - operand + call_expr test34.cpp 419: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 420:60 - statement + expr_stmt test34.cpp 420:60 - operand + call_expr test34.cpp 420: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 421:57 - statement + expr_stmt test34.cpp 421:57 - operand + call_expr test34.cpp 421: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 422:76 - statement + expr_stmt test34.cpp 422:76 - operand + call_expr test34.cpp 422: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 423:70 - statement + expr_stmt test34.cpp 423:70 - operand + call_expr test34.cpp 423: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 ptr1 this->tmp1 - operand + - stringLength: 16 + cleanup_point_expr test34.cpp 424:58 - statement + expr_stmt test34.cpp 424:58 - operand + call_expr test34.cpp 424: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 425:61 - statement + expr_stmt test34.cpp 425:61 - operand + call_expr test34.cpp 425: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 426:58 - statement + expr_stmt test34.cpp 426:58 - operand + call_expr test34.cpp 426: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 427:64 - statement + expr_stmt test34.cpp 427:64 - operand + call_expr test34.cpp 427: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 428:65 - statement + expr_stmt test34.cpp 428:65 - operand + call_expr test34.cpp 428: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 429:71 - statement + expr_stmt test34.cpp 429:71 - operand + call_expr test34.cpp 429: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 diff --git a/test/test34-02.txt b/test/test34-02.txt index a1dd47a..cbcab99 100644 --- a/test/test34-02.txt +++ b/test/test34-02.txt @@ -9,3 +9,4 @@ func6: pointer_type ptr1, func7: pointer_type ptr1, func8: pointer_type ptr1, func9: pointer_type ptr1, +func10: pointer_type ptr1, diff --git a/test/test34-03.txt b/test/test34-03.txt index b82713d..6b5271c 100644 --- a/test/test34-03.txt +++ b/test/test34-03.txt @@ -2081,3 +2081,392 @@ expr_stmt : ptr1, call_expr : ptr1, addr_expr : ptr1, function_decl paranuckerInternalTest: ptr1, +function_decl func10: +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, +truth_andif_expr : ptr1, +ne_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, +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 1363de6..9368ab3 100644 --- a/test/test34.cpp +++ b/test/test34.cpp @@ -368,4 +368,64 @@ class Object1 paranuckerInternalTest("=", "removeNullVarsAll", ""); } + void func10(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"); + } + paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "knownNonNullVars", ""); + paranuckerInternalTest("=", "knownNullVars", ""); + paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "addNullVars", "ptr1 this->tmp1"); + paranuckerInternalTest("=", "removeNullVars", ""); + paranuckerInternalTest("=", "removeNullVarsAll", ""); + paranuckerInternalTest("=", "linkedVars", "ptr1"); + paranuckerInternalTest("=", "linkedVars", "this->tmp1"); + paranuckerInternalTest("=", "linkedReverseVars", "ptr1"); + paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1"); + } }; |