summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2015-07-10 16:34:15 +0300
committerAndrei Karas <akaras@inbox.ru>2015-07-10 16:34:15 +0300
commit2c66820bd689662170447158ef5a8cf66f760e0d (patch)
tree0c3d674d313ebc547985b1340a27bb4c085a46d1
parent8d71522916ba1e1058f362ecd69316b1a2a702cc (diff)
downloadparanucker-2c66820bd689662170447158ef5a8cf66f760e0d.tar.gz
paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.tar.bz2
paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.tar.xz
paranucker-2c66820bd689662170447158ef5a8cf66f760e0d.zip
Update test 34.
-rw-r--r--test/test34-01.txt1319
-rw-r--r--test/test34-02.txt1
-rw-r--r--test/test34-03.txt389
-rw-r--r--test/test34.cpp60
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");
+ }
};