summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/test34-01.txt1551
-rw-r--r--test/test34-02.txt1
-rw-r--r--test/test34-03.txt455
-rw-r--r--test/test34.cpp73
4 files changed, 2080 insertions, 0 deletions
diff --git a/test/test34-01.txt b/test/test34-01.txt
index 477a647..5ac60a2 100644
--- a/test/test34-01.txt
+++ b/test/test34-01.txt
@@ -11691,3 +11691,1554 @@ function_decl func12 test34.cpp 505:10
addr_expr - operand
string_cst this->tmp1 ptr1 - operand
- stringLength: 16
+function_decl func13 test34.cpp 578:10
+- isPublic: 1
+ method_type - function type
+ void_type - method return type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ record_type - method base type
+ type_decl Object1 test34.cpp 18:7 - type name
+ - isAutogenerated: 1
+ field_decl tmp1 test34.cpp 20:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl tmp2 test34.cpp 21:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ type_decl Object1 test34.cpp 19:1 - field
+ - isAutogenerated: 1
+ tree_list - arg types
+ pointer_type - value
+ record_type - nested type
+ type_decl Object1 test34.cpp 18:7 - type name
+ - isAutogenerated: 1
+ field_decl tmp1 test34.cpp 20:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl tmp2 test34.cpp 21:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ type_decl Object1 test34.cpp 19:1 - field
+ - isAutogenerated: 1
+ tree_list - chain
+ pointer_type - value
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ tree_list - chain
+ void_type - value
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ result_decl test34.cpp 579:5 - function result
+ - isAutogenerated: 1
+ void_type - result type
+ type_decl void <built-in> 0:0 - type name
+ - isAutogenerated: 1
+ - isUsed: 1
+ parm_decl this test34.cpp 578:28 - argument
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test34.cpp 18:7 - type name
+ - isAutogenerated: 1
+ field_decl tmp1 test34.cpp 20:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl tmp2 test34.cpp 21:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ type_decl Object1 test34.cpp 19:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ - isUsed: 1
+ parm_decl ptr1 test34.cpp 578:24 - argument
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ statement_list - code
+ cleanup_point_expr test34.cpp 580:57 - statement
+ expr_stmt test34.cpp 580:57 - operand
+ call_expr test34.cpp 580:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownVars - operand
+ - stringLength: 10
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 581:60 - statement
+ expr_stmt test34.cpp 581:60 - operand
+ call_expr test34.cpp 581:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNonNullVars - operand
+ - stringLength: 17
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 582:57 - statement
+ expr_stmt test34.cpp 582:57 - operand
+ call_expr test34.cpp 582:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNullVars - operand
+ - stringLength: 14
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 583:65 - statement
+ expr_stmt test34.cpp 583:65 - operand
+ call_expr test34.cpp 583:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst needCheckNullVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 584:55 - statement
+ expr_stmt test34.cpp 584:55 - operand
+ call_expr test34.cpp 584:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst addNullVars - operand
+ - stringLength: 12
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 585:58 - statement
+ expr_stmt test34.cpp 585:58 - operand
+ call_expr test34.cpp 585:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVars - operand
+ - stringLength: 15
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 586:61 - statement
+ expr_stmt test34.cpp 586:61 - operand
+ call_expr test34.cpp 586:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVarsAll - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 587:58 - statement
+ expr_stmt test34.cpp 587:58 - operand
+ call_expr test34.cpp 587:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 588:64 - statement
+ expr_stmt test34.cpp 588:64 - operand
+ call_expr test34.cpp 588:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 589:65 - statement
+ expr_stmt test34.cpp 589:65 - operand
+ call_expr test34.cpp 589:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 590:71 - statement
+ expr_stmt test34.cpp 590:71 - operand
+ call_expr test34.cpp 590:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 591:20 - statement
+ expr_stmt test34.cpp 591:20 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ component_ref test34.cpp 591:9 - operand
+ indirect_ref - object
+ nop_expr - ref
+ - isUsed: 1
+ parm_decl this test34.cpp 578:28 - operand
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test34.cpp 18:7 - type name
+ - isAutogenerated: 1
+ field_decl tmp1 test34.cpp 20:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl tmp2 test34.cpp 21:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ type_decl Object1 test34.cpp 19:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ field_decl tmp1 test34.cpp 20:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ - isUsed: 1
+ parm_decl ptr1 test34.cpp 578:24 - operand
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ cleanup_point_expr test34.cpp 592:68 - statement
+ expr_stmt test34.cpp 592:68 - operand
+ call_expr test34.cpp 592:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownVars - operand
+ - stringLength: 10
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 593:60 - statement
+ expr_stmt test34.cpp 593:60 - operand
+ call_expr test34.cpp 593:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNonNullVars - operand
+ - stringLength: 17
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 594:57 - statement
+ expr_stmt test34.cpp 594:57 - operand
+ call_expr test34.cpp 594:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNullVars - operand
+ - stringLength: 14
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 595:76 - statement
+ expr_stmt test34.cpp 595:76 - operand
+ call_expr test34.cpp 595:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst needCheckNullVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 596:65 - statement
+ expr_stmt test34.cpp 596:65 - operand
+ call_expr test34.cpp 596:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst addNullVars - operand
+ - stringLength: 12
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 597:61 - statement
+ expr_stmt test34.cpp 597:61 - operand
+ call_expr test34.cpp 597:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVarsAll - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 598:69 - statement
+ expr_stmt test34.cpp 598:69 - operand
+ call_expr test34.cpp 598:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 599:64 - statement
+ expr_stmt test34.cpp 599:64 - operand
+ call_expr test34.cpp 599:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 600:65 - statement
+ expr_stmt test34.cpp 600:65 - operand
+ call_expr test34.cpp 600:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 601:76 - statement
+ expr_stmt test34.cpp 601:76 - operand
+ call_expr test34.cpp 601:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 ptr1 - operand
+ - stringLength: 16
+ while_stmt test34.cpp 602:9 - statement
+ truth_andif_expr test34.cpp 602:21 - condition
+ ne_expr - operand
+ - isUsed: 1
+ parm_decl ptr1 test34.cpp 578:24 - operand
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ integer_cst 0 - operand
+ eq_expr test34.cpp 602:34 - operand
+ component_ref test34.cpp 602:30 - operand
+ indirect_ref - object
+ - isUsed: 1
+ parm_decl ptr1 test34.cpp 578:24 - ref
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ integer_cst 100 - operand
+ statement_list - body
+ cleanup_point_expr test34.cpp 604:72 - statement
+ expr_stmt test34.cpp 604:72 - operand
+ call_expr test34.cpp 604:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownVars - operand
+ - stringLength: 10
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 605:79 - statement
+ expr_stmt test34.cpp 605:79 - operand
+ call_expr test34.cpp 605:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNonNullVars - operand
+ - stringLength: 17
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 606:61 - statement
+ expr_stmt test34.cpp 606:61 - operand
+ call_expr test34.cpp 606:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNullVars - operand
+ - stringLength: 14
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 607:65 - statement
+ expr_stmt test34.cpp 607:65 - operand
+ call_expr test34.cpp 607:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst needCheckNullVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 608:59 - statement
+ expr_stmt test34.cpp 608:59 - operand
+ call_expr test34.cpp 608:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst addNullVars - operand
+ - stringLength: 12
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 609:65 - statement
+ expr_stmt test34.cpp 609:65 - operand
+ call_expr test34.cpp 609:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVarsAll - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 610:73 - statement
+ expr_stmt test34.cpp 610:73 - operand
+ call_expr test34.cpp 610:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 611:68 - statement
+ expr_stmt test34.cpp 611:68 - operand
+ call_expr test34.cpp 611:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 612:69 - statement
+ expr_stmt test34.cpp 612:69 - operand
+ call_expr test34.cpp 612:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 613:80 - statement
+ expr_stmt test34.cpp 613:80 - operand
+ call_expr test34.cpp 613:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 ptr1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 614:30 - statement
+ expr_stmt test34.cpp 614:30 - operand
+ convert_expr - expresssion
+ modify_expr - operand
+ - isUsed: 1
+ parm_decl ptr1 test34.cpp 578:24 - operand
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ call_expr test34.cpp 614:28 - operand
+ addr_expr - function
+ function_decl getData1 test34.cpp 23:12 - operand
+ - isExternal: 1
+ - isPublic: 1
+ method_type - function type
+ pointer_type - method return type
+ - isUsed: 1
+ parm_decl this test34.cpp 578:28 - arg
+ - isAutogenerated: 1
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Object1 test34.cpp 18:7 - type name
+ - isAutogenerated: 1
+ field_decl tmp1 test34.cpp 20:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl tmp2 test34.cpp 21:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ type_decl Object1 test34.cpp 19:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ cleanup_point_expr test34.cpp 615:72 - statement
+ expr_stmt test34.cpp 615:72 - operand
+ call_expr test34.cpp 615:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownVars - operand
+ - stringLength: 10
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 616:74 - statement
+ expr_stmt test34.cpp 616:74 - operand
+ call_expr test34.cpp 616:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNonNullVars - operand
+ - stringLength: 17
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 617:61 - statement
+ expr_stmt test34.cpp 617:61 - operand
+ call_expr test34.cpp 617:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNullVars - operand
+ - stringLength: 14
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 618:69 - statement
+ expr_stmt test34.cpp 618:69 - operand
+ call_expr test34.cpp 618:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst needCheckNullVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 619:63 - statement
+ expr_stmt test34.cpp 619:63 - operand
+ call_expr test34.cpp 619:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst addNullVars - operand
+ - stringLength: 12
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 620:65 - statement
+ expr_stmt test34.cpp 620:65 - operand
+ call_expr test34.cpp 620:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVarsAll - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 621:62 - statement
+ expr_stmt test34.cpp 621:62 - operand
+ call_expr test34.cpp 621:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 622:68 - statement
+ expr_stmt test34.cpp 622:68 - operand
+ call_expr test34.cpp 622:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 623:69 - statement
+ expr_stmt test34.cpp 623:69 - operand
+ call_expr test34.cpp 623:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 624:75 - statement
+ expr_stmt test34.cpp 624:75 - operand
+ call_expr test34.cpp 624:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ if_stmt test34.cpp 625:13 - statement
+ eq_expr test34.cpp 625:18 - condition
+ - isUsed: 1
+ parm_decl ptr1 test34.cpp 578:24 - operand
+ pointer_type - decl type
+ record_type - nested type
+ type_decl Data1 test34.cpp 3:8 - type name
+ - isAutogenerated: 1
+ field_decl val test34.cpp 5:9 - field
+ - signed
+ integer_cst 32 - decl size
+ field_decl ptrval test34.cpp 6:12 - field
+ - unsigned
+ integer_cst 64 - decl size
+ field_decl arr test34.cpp 7:14 - field
+ - signed
+ integer_cst 96 - decl size
+ type_decl Data1 test34.cpp 4:1 - field
+ - isAutogenerated: 1
+ integer_cst 64 - parm size
+ integer_cst 0 - operand
+ break_stmt test34.cpp 626:17 - then
+ cleanup_point_expr test34.cpp 627:72 - statement
+ expr_stmt test34.cpp 627:72 - operand
+ call_expr test34.cpp 627:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownVars - operand
+ - stringLength: 10
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 628:79 - statement
+ expr_stmt test34.cpp 628:79 - operand
+ call_expr test34.cpp 628:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNonNullVars - operand
+ - stringLength: 17
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 629:61 - statement
+ expr_stmt test34.cpp 629:61 - operand
+ call_expr test34.cpp 629:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNullVars - operand
+ - stringLength: 14
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 630:65 - statement
+ expr_stmt test34.cpp 630:65 - operand
+ call_expr test34.cpp 630:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst needCheckNullVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 631:59 - statement
+ expr_stmt test34.cpp 631:59 - operand
+ call_expr test34.cpp 631:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst addNullVars - operand
+ - stringLength: 12
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 632:69 - statement
+ expr_stmt test34.cpp 632:69 - operand
+ call_expr test34.cpp 632:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVarsAll - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 633:62 - statement
+ expr_stmt test34.cpp 633:62 - operand
+ call_expr test34.cpp 633:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 634:68 - statement
+ expr_stmt test34.cpp 634:68 - operand
+ call_expr test34.cpp 634:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 635:69 - statement
+ expr_stmt test34.cpp 635:69 - operand
+ call_expr test34.cpp 635:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 636:75 - statement
+ expr_stmt test34.cpp 636:75 - operand
+ call_expr test34.cpp 636:35 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 638:68 - statement
+ expr_stmt test34.cpp 638:68 - operand
+ call_expr test34.cpp 638:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownVars - operand
+ - stringLength: 10
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 639:60 - statement
+ expr_stmt test34.cpp 639:60 - operand
+ call_expr test34.cpp 639:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNonNullVars - operand
+ - stringLength: 17
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 640:57 - statement
+ expr_stmt test34.cpp 640:57 - operand
+ call_expr test34.cpp 640:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst knownNullVars - operand
+ - stringLength: 14
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 641:76 - statement
+ expr_stmt test34.cpp 641:76 - operand
+ call_expr test34.cpp 641:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst needCheckNullVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 642:65 - statement
+ expr_stmt test34.cpp 642:65 - operand
+ call_expr test34.cpp 642:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst addNullVars - operand
+ - stringLength: 12
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 643:58 - statement
+ expr_stmt test34.cpp 643:58 - operand
+ call_expr test34.cpp 643:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVars - operand
+ - stringLength: 15
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 644:61 - statement
+ expr_stmt test34.cpp 644:61 - operand
+ call_expr test34.cpp 644:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst removeNullVarsAll - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst - operand
+ - stringLength: 1
+ cleanup_point_expr test34.cpp 645:69 - statement
+ expr_stmt test34.cpp 645:69 - operand
+ call_expr test34.cpp 645:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 this->tmp1 - operand
+ - stringLength: 16
+ cleanup_point_expr test34.cpp 646:64 - statement
+ expr_stmt test34.cpp 646:64 - operand
+ call_expr test34.cpp 646:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedVars - operand
+ - stringLength: 11
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 - operand
+ - stringLength: 11
+ cleanup_point_expr test34.cpp 647:65 - statement
+ expr_stmt test34.cpp 647:65 - operand
+ call_expr test34.cpp 647:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst ptr1 - operand
+ - stringLength: 5
+ cleanup_point_expr test34.cpp 648:76 - statement
+ expr_stmt test34.cpp 648:76 - operand
+ call_expr test34.cpp 648:31 - expresssion
+ addr_expr - function
+ function_decl paranuckerInternalTest test34.cpp 16:6 - operand
+ - isExternal: 1
+ - isPublic: 1
+ function_type - function type
+ void_type - function return type
+ nop_expr - arg
+ addr_expr - operand
+ string_cst = - operand
+ - stringLength: 2
+ nop_expr - arg
+ addr_expr - operand
+ string_cst linkedReverseVars - operand
+ - stringLength: 18
+ nop_expr - arg
+ addr_expr - operand
+ string_cst this->tmp1 ptr1 - operand
+ - stringLength: 16
diff --git a/test/test34-02.txt b/test/test34-02.txt
index 0f80efd..e535528 100644
--- a/test/test34-02.txt
+++ b/test/test34-02.txt
@@ -12,3 +12,4 @@ func9: pointer_type ptr1,
func10: pointer_type ptr1,
func11: pointer_type ptr1,
func12: pointer_type ptr1,
+func13: pointer_type ptr1,
diff --git a/test/test34-03.txt b/test/test34-03.txt
index 8f0af21..94847da 100644
--- a/test/test34-03.txt
+++ b/test/test34-03.txt
@@ -3380,3 +3380,458 @@ expr_stmt : ptr1, this->tmp1,
call_expr : ptr1, this->tmp1,
addr_expr : ptr1, this->tmp1,
function_decl paranuckerInternalTest: ptr1, this->tmp1,
+function_decl func13:
+statement_list : ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+convert_expr : ptr1,
+modify_expr : ptr1,
+component_ref : ptr1, this->tmp1,
+indirect_ref : ptr1, this->tmp1,
+parm_decl this: ptr1, this->tmp1,
+pointer_type : ptr1, this->tmp1,
+record_type : ptr1, this->tmp1,
+type_decl Object1: ptr1, this->tmp1,
+field_decl tmp1: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+field_decl tmp2: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+type_decl Object1: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+field_decl tmp1: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+parm_decl ptr1: ptr1, this->tmp1,
+pointer_type : ptr1, this->tmp1,
+record_type : ptr1, this->tmp1,
+type_decl Data1: ptr1, this->tmp1,
+field_decl val: ptr1, this->tmp1,
+integer_cst 32: ptr1, this->tmp1,
+field_decl ptrval: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+field_decl arr: ptr1, this->tmp1,
+integer_cst 96: ptr1, this->tmp1,
+type_decl Data1: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+while_stmt : ptr1, this->tmp1,
+truth_andif_expr : ptr1, this->tmp1,
+ne_expr : ptr1, this->tmp1,
+parm_decl ptr1: ptr1, this->tmp1,
+pointer_type : ptr1, this->tmp1,
+record_type : ptr1, this->tmp1,
+type_decl Data1: ptr1, this->tmp1,
+field_decl val: ptr1, this->tmp1,
+integer_cst 32: ptr1, this->tmp1,
+field_decl ptrval: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+field_decl arr: ptr1, this->tmp1,
+integer_cst 96: ptr1, this->tmp1,
+type_decl Data1: ptr1, this->tmp1,
+integer_cst 64: ptr1, this->tmp1,
+integer_cst 0: ptr1, this->tmp1,
+eq_expr :
+component_ref :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+field_decl ptrval:
+integer_cst 64:
+field_decl arr:
+integer_cst 96:
+type_decl Data1:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 100:
+statement_list :
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr :
+expr_stmt :
+convert_expr :
+modify_expr :
+parm_decl ptr1:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+field_decl ptrval:
+integer_cst 64:
+field_decl arr:
+integer_cst 96:
+type_decl Data1:
+integer_cst 64:
+call_expr :
+addr_expr :
+function_decl getData1:
+parm_decl this:
+pointer_type :
+record_type :
+type_decl Object1:
+field_decl tmp1:
+integer_cst 64:
+field_decl tmp2:
+integer_cst 64:
+type_decl Object1:
+integer_cst 64:
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt : ptr1,
+call_expr : ptr1,
+addr_expr : ptr1,
+function_decl paranuckerInternalTest: ptr1,
+if_stmt : ptr1,
+eq_expr : ptr1,
+parm_decl ptr1: ptr1,
+pointer_type : ptr1,
+record_type : ptr1,
+type_decl Data1: ptr1,
+field_decl val: ptr1,
+integer_cst 32: ptr1,
+field_decl ptrval: ptr1,
+integer_cst 64: ptr1,
+field_decl arr: ptr1,
+integer_cst 96: ptr1,
+type_decl Data1: ptr1,
+integer_cst 64: ptr1,
+integer_cst 0: ptr1,
+break_stmt : ptr1,
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+cleanup_point_expr : ptr1,
+expr_stmt :
+call_expr :
+addr_expr :
+function_decl paranuckerInternalTest:
+truth_andif_expr :
+ne_expr :
+parm_decl ptr1:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+field_decl ptrval:
+integer_cst 64:
+field_decl arr:
+integer_cst 96:
+type_decl Data1:
+integer_cst 64:
+integer_cst 0:
+eq_expr :
+component_ref :
+indirect_ref :
+parm_decl ptr1:
+pointer_type :
+record_type :
+type_decl Data1:
+field_decl val:
+integer_cst 32:
+field_decl ptrval:
+integer_cst 64:
+field_decl arr:
+integer_cst 96:
+type_decl Data1:
+integer_cst 64:
+field_decl val:
+integer_cst 32:
+integer_cst 100:
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
+cleanup_point_expr : ptr1, this->tmp1,
+expr_stmt : ptr1, this->tmp1,
+call_expr : ptr1, this->tmp1,
+addr_expr : ptr1, this->tmp1,
+function_decl paranuckerInternalTest: ptr1, this->tmp1,
diff --git a/test/test34.cpp b/test/test34.cpp
index dfc0c64..ce73070 100644
--- a/test/test34.cpp
+++ b/test/test34.cpp
@@ -574,4 +574,77 @@ class Object1
paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1");
}
+
+ void func13(Data1 *ptr1)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ tmp1 = ptr1;
+ paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "addNullVars", "this->tmp1");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1");
+ while (ptr1 && ptr1->val == 100)
+ {
+ paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNonNullVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1");
+ ptr1 = getData1();
+ paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNonNullVars", "this->tmp1");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1");
+ paranuckerInternalTest("=", "addNullVars", "ptr1");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ if (!ptr1)
+ break;
+ paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNonNullVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "");
+ paranuckerInternalTest("=", "addNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "ptr1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1");
+ }
+ paranuckerInternalTest("=", "knownVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "knownNonNullVars", "");
+ paranuckerInternalTest("=", "knownNullVars", "");
+ paranuckerInternalTest("=", "needCheckNullVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "addNullVars", "this->tmp1");
+ paranuckerInternalTest("=", "removeNullVars", "");
+ paranuckerInternalTest("=", "removeNullVarsAll", "");
+ paranuckerInternalTest("=", "linkedVars", "ptr1 this->tmp1");
+ paranuckerInternalTest("=", "linkedVars", "this->tmp1");
+ paranuckerInternalTest("=", "linkedReverseVars", "ptr1");
+ paranuckerInternalTest("=", "linkedReverseVars", "this->tmp1 ptr1");
+ }
};